Re: [Logica-l] Resultado do Prêmio de Lógica "Newton da Costa" 2021

[Evandro L. Gomes]

Parabéns ao Ciro, Abílio e Henrique!



On Mon, Jan 31, 2022 at 10:07 AM Alfredo Roque Freire 
wrote:

> Parabéns ao Ciro, Abílio e Henrique!
>
>
> On Mon, Jan 31, 2022 at 11:47 AM Marcelo Finger 
> wrote:
>
>> Parabéns , Ciro, Abílio e Henrique por partilharem o prêmio.
>>
>> Parabéns Petrúcio e demais envolvidos por tocarem o processo todo!
>>
>> []s
>>
>> Marcelo
>>
>>
>> Em sáb., 29 de jan. de 2022 às 18:42, Petrucio Viana <
>> petrucio_vi...@id.uff.br> escreveu:
>>
>>> A SBL tem a honra e o prazer de informar que os artigos intitulados
>>>
>>> *Coproduct and amalgamation of deductive systems by means of ordered
>>> algebras *do Prof. Ciro Russo
>>>
>>>
>>> e
>>>
>>>
>>> *First-order logics of evidence and truth with constant and variable
>>> domains *dos Profs Abílio Rodrigues e Henrique Antunes.
>>>
>>>
>>> foram conjuntamente contemplados com o *Prêmio de Lógica "Newton da
>>> Costa",* edição de 2021.
>>>
>>>
>>> É importante frisar que, nesta edição, recebemos cinco trabalhos de
>>> altíssima qualidade. E que a escolha dos contemplados foi uma difícil
>>> decisão.
>>>
>>>
>>> O Prêmio foi conferido, baseado nos pareceres enviados pela banca,
>>> composta por
>>>
>>>- Manuela Busaniche (CCT-Santa Fe)
>>>- Rodolfo C. Ertola-Biraben (CLE-Unicamp)
>>>- María Martínez-Ordaz (IFCS-UFRJ)
>>>- Sheila R. M. Veloso (PPCG-UERJ & COPPE-UFRJ)
>>>- Petrucio Viana (GAN-UFF) (Presidente e representante da SBL)
>>>
>>> A SBL gostaria de tornar publico o agradecimento a banca, que nos
>>> presenteou com um trabalho de altíssima qualidade.
>>>
>>>
>>> Petrucio Viana
>>>
>>> em nome da SBL
>>>
>>> --
>>> LOGICA-L
>>> Lista acadêmica brasileira dos profissionais e estudantes da área de
>>> Lógica 
>>> ---
>>> Você recebeu essa mensagem porque está inscrito no grupo "LOGICA-L" dos
>>> Grupos do Google.
>>> Para cancelar inscrição nesse grupo e parar de receber e-mails dele,
>>> envie um e-mail para logica-l+unsubscr...@dimap.ufrn.br.
>>> Para ver essa discussão na Web, acesse
>>> https://groups.google.com/a/dimap.ufrn.br/d/msgid/logica-l/CACRvmVToFp8GGqxiEJyHj2t12JLj_sjUHT%3DeRGGR%3DxkvnTr4OQ%40mail.gmail.com
>>> 
>>> .
>>>
>>
>>
>> --
>> Marcelo Finger
>>  Departament of Computer Science, IME-USP
>>  http://www.ime.usp.br/~mfinger
>>  ORCID: https://orcid.org/-0002-1391-1175
>>  ResearcherID: A-4670-2009
>>
>> Instituto de Matemática e Estatística,
>>
>> Universidade de São Paulo
>>
>> Rua do Matão, 1010 - CEP 05508-090 - São Paulo, SP
>>
>> --
>> LOGICA-L
>> Lista acadêmica brasileira dos profissionais e estudantes da área de
>> Lógica 
>> ---
>> Você recebeu essa mensagem porque está inscrito no grupo "LOGICA-L" dos
>> Grupos do Google.
>> Para cancelar inscrição nesse grupo e parar de receber e-mails dele,
>> envie um e-mail para logica-l+unsubscr...@dimap.ufrn.br.
>> Para ver essa discussão na Web, acesse
>> https://groups.google.com/a/dimap.ufrn.br/d/msgid/logica-l/CAGG7Aw2RF3Sw9wnEpa3HqTu_EpOmKPjHeP1bhmpFx%3DkPzDJ96A%40mail.gmail.com
>> 
>> .
>>
>
>
> --
> Alfredo Roque Freire
>
> --
> LOGICA-L
> Lista acadêmica brasileira dos profissionais e estudantes da área de
> Lógica 
> ---
> Você recebeu essa mensagem porque está inscrito no grupo "LOGICA-L" dos
> Grupos do Google.
> Para cancelar inscrição nesse grupo e parar de receber e-mails dele, envie
> um e-mail para logica-l+unsubscr...@dimap.ufrn.br.
> Para ver essa discussão na Web, acesse
> https://groups.google.com/a/dimap.ufrn.br/d/msgid/logica-l/CAHk6N6av2uOee%2Bo489jRtStKPURe0OSUu%2BtHq%2BR8c6x72DKR-g%40mail.gmail.com
> 
> .
>

-- 
LOGICA-L
Lista acadêmica brasileira dos profissionais e estudantes da área de Lógica 

--- 
Você está recebendo esta mensagem porque se inscreveu no grupo "LOGICA-L" dos 
Grupos do Google.
Para cancelar inscrição nesse grupo e parar de receber e-mails dele, envie um 
e-mail para logica-l+unsubscr...@dimap.ufrn.br.
Para ver esta discussão na web, acesse 
https://groups.google.com/a/dimap.ufrn.br/d/msgid/logica-l/CANa0U%3DpUWqD2QY5Lz0zqxCJU-8thyZ%3Dcvm_iwQQRA-88NZp42w%40mail.gmail.com.

Re: [Logica-l] Resultado do Prêmio de Lógica "Newton da Costa" 2021

[Alfredo Roque Freire]

Parabéns ao Ciro, Abílio e Henrique!


On Mon, Jan 31, 2022 at 11:47 AM Marcelo Finger  wrote:

> Parabéns , Ciro, Abílio e Henrique por partilharem o prêmio.
>
> Parabéns Petrúcio e demais envolvidos por tocarem o processo todo!
>
> []s
>
> Marcelo
>
>
> Em sáb., 29 de jan. de 2022 às 18:42, Petrucio Viana <
> petrucio_vi...@id.uff.br> escreveu:
>
>> A SBL tem a honra e o prazer de informar que os artigos intitulados
>>
>> *Coproduct and amalgamation of deductive systems by means of ordered
>> algebras *do Prof. Ciro Russo
>>
>>
>> e
>>
>>
>> *First-order logics of evidence and truth with constant and variable
>> domains *dos Profs Abílio Rodrigues e Henrique Antunes.
>>
>>
>> foram conjuntamente contemplados com o *Prêmio de Lógica "Newton da
>> Costa",* edição de 2021.
>>
>>
>> É importante frisar que, nesta edição, recebemos cinco trabalhos de
>> altíssima qualidade. E que a escolha dos contemplados foi uma difícil
>> decisão.
>>
>>
>> O Prêmio foi conferido, baseado nos pareceres enviados pela banca,
>> composta por
>>
>>- Manuela Busaniche (CCT-Santa Fe)
>>- Rodolfo C. Ertola-Biraben (CLE-Unicamp)
>>- María Martínez-Ordaz (IFCS-UFRJ)
>>- Sheila R. M. Veloso (PPCG-UERJ & COPPE-UFRJ)
>>- Petrucio Viana (GAN-UFF) (Presidente e representante da SBL)
>>
>> A SBL gostaria de tornar publico o agradecimento a banca, que nos
>> presenteou com um trabalho de altíssima qualidade.
>>
>>
>> Petrucio Viana
>>
>> em nome da SBL
>>
>> --
>> LOGICA-L
>> Lista acadêmica brasileira dos profissionais e estudantes da área de
>> Lógica 
>> ---
>> Você recebeu essa mensagem porque está inscrito no grupo "LOGICA-L" dos
>> Grupos do Google.
>> Para cancelar inscrição nesse grupo e parar de receber e-mails dele,
>> envie um e-mail para logica-l+unsubscr...@dimap.ufrn.br.
>> Para ver essa discussão na Web, acesse
>> https://groups.google.com/a/dimap.ufrn.br/d/msgid/logica-l/CACRvmVToFp8GGqxiEJyHj2t12JLj_sjUHT%3DeRGGR%3DxkvnTr4OQ%40mail.gmail.com
>> 
>> .
>>
>
>
> --
> Marcelo Finger
>  Departament of Computer Science, IME-USP
>  http://www.ime.usp.br/~mfinger
>  ORCID: https://orcid.org/-0002-1391-1175
>  ResearcherID: A-4670-2009
>
> Instituto de Matemática e Estatística,
>
> Universidade de São Paulo
>
> Rua do Matão, 1010 - CEP 05508-090 - São Paulo, SP
>
> --
> LOGICA-L
> Lista acadêmica brasileira dos profissionais e estudantes da área de
> Lógica 
> ---
> Você recebeu essa mensagem porque está inscrito no grupo "LOGICA-L" dos
> Grupos do Google.
> Para cancelar inscrição nesse grupo e parar de receber e-mails dele, envie
> um e-mail para logica-l+unsubscr...@dimap.ufrn.br.
> Para ver essa discussão na Web, acesse
> https://groups.google.com/a/dimap.ufrn.br/d/msgid/logica-l/CAGG7Aw2RF3Sw9wnEpa3HqTu_EpOmKPjHeP1bhmpFx%3DkPzDJ96A%40mail.gmail.com
> 
> .
>


-- 
Alfredo Roque Freire

-- 
LOGICA-L
Lista acadêmica brasileira dos profissionais e estudantes da área de Lógica 

--- 
Você está recebendo esta mensagem porque se inscreveu no grupo "LOGICA-L" dos 
Grupos do Google.
Para cancelar inscrição nesse grupo e parar de receber e-mails dele, envie um 
e-mail para logica-l+unsubscr...@dimap.ufrn.br.
Para ver esta discussão na web, acesse 
https://groups.google.com/a/dimap.ufrn.br/d/msgid/logica-l/CAHk6N6av2uOee%2Bo489jRtStKPURe0OSUu%2BtHq%2BR8c6x72DKR-g%40mail.gmail.com.

Re: [Logica-l] Resultado do Prêmio de Lógica "Newton da Costa" 2021

[Marcelo Finger]

Parabéns , Ciro, Abílio e Henrique por partilharem o prêmio.

Parabéns Petrúcio e demais envolvidos por tocarem o processo todo!

[]s

Marcelo


Em sáb., 29 de jan. de 2022 às 18:42, Petrucio Viana <
petrucio_vi...@id.uff.br> escreveu:

> A SBL tem a honra e o prazer de informar que os artigos intitulados
>
> *Coproduct and amalgamation of deductive systems by means of ordered
> algebras *do Prof. Ciro Russo
>
>
> e
>
>
> *First-order logics of evidence and truth with constant and variable
> domains *dos Profs Abílio Rodrigues e Henrique Antunes.
>
>
> foram conjuntamente contemplados com o *Prêmio de Lógica "Newton da
> Costa",* edição de 2021.
>
>
> É importante frisar que, nesta edição, recebemos cinco trabalhos de
> altíssima qualidade. E que a escolha dos contemplados foi uma difícil
> decisão.
>
>
> O Prêmio foi conferido, baseado nos pareceres enviados pela banca,
> composta por
>
>- Manuela Busaniche (CCT-Santa Fe)
>- Rodolfo C. Ertola-Biraben (CLE-Unicamp)
>- María Martínez-Ordaz (IFCS-UFRJ)
>- Sheila R. M. Veloso (PPCG-UERJ & COPPE-UFRJ)
>- Petrucio Viana (GAN-UFF) (Presidente e representante da SBL)
>
> A SBL gostaria de tornar publico o agradecimento a banca, que nos
> presenteou com um trabalho de altíssima qualidade.
>
>
> Petrucio Viana
>
> em nome da SBL
>
> --
> LOGICA-L
> Lista acadêmica brasileira dos profissionais e estudantes da área de
> Lógica 
> ---
> Você recebeu essa mensagem porque está inscrito no grupo "LOGICA-L" dos
> Grupos do Google.
> Para cancelar inscrição nesse grupo e parar de receber e-mails dele, envie
> um e-mail para logica-l+unsubscr...@dimap.ufrn.br.
> Para ver essa discussão na Web, acesse
> https://groups.google.com/a/dimap.ufrn.br/d/msgid/logica-l/CACRvmVToFp8GGqxiEJyHj2t12JLj_sjUHT%3DeRGGR%3DxkvnTr4OQ%40mail.gmail.com
> 
> .
>


-- 
Marcelo Finger
 Departament of Computer Science, IME-USP
 http://www.ime.usp.br/~mfinger
 ORCID: https://orcid.org/-0002-1391-1175
 ResearcherID: A-4670-2009

Instituto de Matemática e Estatística,

Universidade de São Paulo

Rua do Matão, 1010 - CEP 05508-090 - São Paulo, SP

-- 
LOGICA-L
Lista acadêmica brasileira dos profissionais e estudantes da área de Lógica 

--- 
Você está recebendo esta mensagem porque se inscreveu no grupo "LOGICA-L" dos 
Grupos do Google.
Para cancelar inscrição nesse grupo e parar de receber e-mails dele, envie um 
e-mail para logica-l+unsubscr...@dimap.ufrn.br.
Para ver esta discussão na web, acesse 
https://groups.google.com/a/dimap.ufrn.br/d/msgid/logica-l/CAGG7Aw2RF3Sw9wnEpa3HqTu_EpOmKPjHeP1bhmpFx%3DkPzDJ96A%40mail.gmail.com.

Re: [Logica-l] Resultado do Prêmio de Lógica "Newton da Costa" 2021

[Marcelo Esteban Coniglio]

Meus parabéns ao Ciro, o Abílio e o Henrique pela importante distinção!

Abraços

Marcelo

Em sáb., 29 de jan. de 2022 às 18:42, Petrucio Viana
 escreveu:
>
> A SBL tem a honra e o prazer de informar que os artigos intitulados
>
> Coproduct and amalgamation of deductive systems by means of ordered algebras 
> do Prof. Ciro Russo
>
>
> e
>
>
> First-order logics of evidence and truth with constant and variable domains 
> dos Profs Abílio Rodrigues e Henrique Antunes.
>
>
> foram conjuntamente contemplados com o Prêmio de Lógica "Newton da Costa", 
> edição de 2021.
>
>
> É importante frisar que, nesta edição, recebemos cinco trabalhos de altíssima 
> qualidade. E que a escolha dos contemplados foi uma difícil decisão.
>
>
> O Prêmio foi conferido, baseado nos pareceres enviados pela banca, composta 
> por
>
> Manuela Busaniche (CCT-Santa Fe)
> Rodolfo C. Ertola-Biraben (CLE-Unicamp)
> María Martínez-Ordaz (IFCS-UFRJ)
> Sheila R. M. Veloso (PPCG-UERJ & COPPE-UFRJ)
> Petrucio Viana (GAN-UFF) (Presidente e representante da SBL)
>
> A SBL gostaria de tornar publico o agradecimento a banca, que nos presenteou 
> com um trabalho de altíssima qualidade.
>
>
> Petrucio Viana
>
> em nome da SBL
>
> --
> LOGICA-L
> Lista acadêmica brasileira dos profissionais e estudantes da área de Lógica 
> 
> ---
> Você recebeu essa mensagem porque está inscrito no grupo "LOGICA-L" dos 
> Grupos do Google.
> Para cancelar inscrição nesse grupo e parar de receber e-mails dele, envie um 
> e-mail para logica-l+unsubscr...@dimap.ufrn.br.
> Para ver essa discussão na Web, acesse 
> https://groups.google.com/a/dimap.ufrn.br/d/msgid/logica-l/CACRvmVToFp8GGqxiEJyHj2t12JLj_sjUHT%3DeRGGR%3DxkvnTr4OQ%40mail.gmail.com.

-- 
LOGICA-L
Lista acadêmica brasileira dos profissionais e estudantes da área de Lógica 

--- 
Você está recebendo esta mensagem porque se inscreveu no grupo "LOGICA-L" dos 
Grupos do Google.
Para cancelar inscrição nesse grupo e parar de receber e-mails dele, envie um 
e-mail para logica-l+unsubscr...@dimap.ufrn.br.
Para ver esta discussão na web, acesse 
https://groups.google.com/a/dimap.ufrn.br/d/msgid/logica-l/CAKuKcnJi21Ji4dKgH9mdDbmbCN3UvVOZ0SBbqBGXYb-FApreJA%40mail.gmail.com.

Re: [Logica-l] Resultado do Prêmio de Lógica "Newton da Costa" 2021

[Elaine Pimentel]

Parabéns, Ciro, Abílio, Henrique, Petrucio e colegas!!!

Forte abraço!

On Sat, Jan 29, 2022 at 11:02 PM Bruno Lopes  wrote:

> Parabéns aos agraciados e parabéns à banca avaliadora e aos organizadores.
>
> Sem desmerecer os demais, Petrucio esteve nessa organização, também na do
> special issue do EBL, no Lógicos em Quarentena e no evento da SBL do World
> Logic Day. Haja, disposição!
>
> E viva á lógica e viva à Diretoria da SBL!
>
> Em sáb, 29 de jan de 2022 18:42, Petrucio Viana 
> escreveu:
>
>> A SBL tem a honra e o prazer de informar que os artigos intitulados
>>
>> *Coproduct and amalgamation of deductive systems by means of ordered
>> algebras *do Prof. Ciro Russo
>>
>>
>> e
>>
>>
>> *First-order logics of evidence and truth with constant and variable
>> domains *dos Profs Abílio Rodrigues e Henrique Antunes.
>>
>>
>> foram conjuntamente contemplados com o *Prêmio de Lógica "Newton da
>> Costa",* edição de 2021.
>>
>>
>> É importante frisar que, nesta edição, recebemos cinco trabalhos de
>> altíssima qualidade. E que a escolha dos contemplados foi uma difícil
>> decisão.
>>
>>
>> O Prêmio foi conferido, baseado nos pareceres enviados pela banca,
>> composta por
>>
>>- Manuela Busaniche (CCT-Santa Fe)
>>- Rodolfo C. Ertola-Biraben (CLE-Unicamp)
>>- María Martínez-Ordaz (IFCS-UFRJ)
>>- Sheila R. M. Veloso (PPCG-UERJ & COPPE-UFRJ)
>>- Petrucio Viana (GAN-UFF) (Presidente e representante da SBL)
>>
>> A SBL gostaria de tornar publico o agradecimento a banca, que nos
>> presenteou com um trabalho de altíssima qualidade.
>>
>>
>> Petrucio Viana
>>
>> em nome da SBL
>>
>> --
>> LOGICA-L
>> Lista acadêmica brasileira dos profissionais e estudantes da área de
>> Lógica 
>> ---
>> Você recebeu essa mensagem porque está inscrito no grupo "LOGICA-L" dos
>> Grupos do Google.
>> Para cancelar inscrição nesse grupo e parar de receber e-mails dele,
>> envie um e-mail para logica-l+unsubscr...@dimap.ufrn.br.
>> Para ver essa discussão na Web, acesse
>> https://groups.google.com/a/dimap.ufrn.br/d/msgid/logica-l/CACRvmVToFp8GGqxiEJyHj2t12JLj_sjUHT%3DeRGGR%3DxkvnTr4OQ%40mail.gmail.com
>> 
>> .
>>
> --
> LOGICA-L
> Lista acadêmica brasileira dos profissionais e estudantes da área de
> Lógica 
> ---
> Você recebeu essa mensagem porque está inscrito no grupo "LOGICA-L" dos
> Grupos do Google.
> Para cancelar inscrição nesse grupo e parar de receber e-mails dele, envie
> um e-mail para logica-l+unsubscr...@dimap.ufrn.br.
> Para ver essa discussão na Web, acesse
> https://groups.google.com/a/dimap.ufrn.br/d/msgid/logica-l/CAD-Wq0_y9pj78zM%3DBNScOcH06C_JoBPA9GakEyzmDSrA8WF%3DBg%40mail.gmail.com
> 
> .
>


-- 
Elaine.
---
Elaine Pimentel
Associate Professor in Programming Principles, Logic, and Verification
Department of Computer Science
University College London
---

-- 
LOGICA-L
Lista acadêmica brasileira dos profissionais e estudantes da área de Lógica 

--- 
Você está recebendo esta mensagem porque se inscreveu no grupo "LOGICA-L" dos 
Grupos do Google.
Para cancelar inscrição nesse grupo e parar de receber e-mails dele, envie um 
e-mail para logica-l+unsubscr...@dimap.ufrn.br.
Para ver esta discussão na web, acesse 
https://groups.google.com/a/dimap.ufrn.br/d/msgid/logica-l/CAHQVs%2BVsGsA9nZePEZsiRz6YPJChDJ%3De0%3DyF_wGW1U%2BF2EPypA%40mail.gmail.com.

Re: [Logica-l] Resultado do Prêmio de Lógica "Newton da Costa" 2021

[Bruno Lopes]

Parabéns aos agraciados e parabéns à banca avaliadora e aos organizadores.

Sem desmerecer os demais, Petrucio esteve nessa organização, também na do
special issue do EBL, no Lógicos em Quarentena e no evento da SBL do World
Logic Day. Haja, disposição!

E viva á lógica e viva à Diretoria da SBL!

Em sáb, 29 de jan de 2022 18:42, Petrucio Viana 
escreveu:

> A SBL tem a honra e o prazer de informar que os artigos intitulados
>
> *Coproduct and amalgamation of deductive systems by means of ordered
> algebras *do Prof. Ciro Russo
>
>
> e
>
>
> *First-order logics of evidence and truth with constant and variable
> domains *dos Profs Abílio Rodrigues e Henrique Antunes.
>
>
> foram conjuntamente contemplados com o *Prêmio de Lógica "Newton da
> Costa",* edição de 2021.
>
>
> É importante frisar que, nesta edição, recebemos cinco trabalhos de
> altíssima qualidade. E que a escolha dos contemplados foi uma difícil
> decisão.
>
>
> O Prêmio foi conferido, baseado nos pareceres enviados pela banca,
> composta por
>
>- Manuela Busaniche (CCT-Santa Fe)
>- Rodolfo C. Ertola-Biraben (CLE-Unicamp)
>- María Martínez-Ordaz (IFCS-UFRJ)
>- Sheila R. M. Veloso (PPCG-UERJ & COPPE-UFRJ)
>- Petrucio Viana (GAN-UFF) (Presidente e representante da SBL)
>
> A SBL gostaria de tornar publico o agradecimento a banca, que nos
> presenteou com um trabalho de altíssima qualidade.
>
>
> Petrucio Viana
>
> em nome da SBL
>
> --
> LOGICA-L
> Lista acadêmica brasileira dos profissionais e estudantes da área de
> Lógica 
> ---
> Você recebeu essa mensagem porque está inscrito no grupo "LOGICA-L" dos
> Grupos do Google.
> Para cancelar inscrição nesse grupo e parar de receber e-mails dele, envie
> um e-mail para logica-l+unsubscr...@dimap.ufrn.br.
> Para ver essa discussão na Web, acesse
> https://groups.google.com/a/dimap.ufrn.br/d/msgid/logica-l/CACRvmVToFp8GGqxiEJyHj2t12JLj_sjUHT%3DeRGGR%3DxkvnTr4OQ%40mail.gmail.com
> 
> .
>

-- 
LOGICA-L
Lista acadêmica brasileira dos profissionais e estudantes da área de Lógica 

--- 
Você está recebendo esta mensagem porque se inscreveu no grupo "LOGICA-L" dos 
Grupos do Google.
Para cancelar inscrição nesse grupo e parar de receber e-mails dele, envie um 
e-mail para logica-l+unsubscr...@dimap.ufrn.br.
Para ver esta discussão na web, acesse 
https://groups.google.com/a/dimap.ufrn.br/d/msgid/logica-l/CAD-Wq0_y9pj78zM%3DBNScOcH06C_JoBPA9GakEyzmDSrA8WF%3DBg%40mail.gmail.com.

[Logica-l] Resultado do Prêmio de Lógica "Newton da Costa" 2021

[Petrucio Viana]

A SBL tem a honra e o prazer de informar que os artigos intitulados

*Coproduct and amalgamation of deductive systems by means of ordered
algebras *do Prof. Ciro Russo


e


*First-order logics of evidence and truth with constant and variable
domains *dos Profs Abílio Rodrigues e Henrique Antunes.


foram conjuntamente contemplados com o *Prêmio de Lógica "Newton da
Costa",* edição
de 2021.


É importante frisar que, nesta edição, recebemos cinco trabalhos de
altíssima qualidade. E que a escolha dos contemplados foi uma difícil
decisão.


O Prêmio foi conferido, baseado nos pareceres enviados pela banca, composta
por

   - Manuela Busaniche (CCT-Santa Fe)
   - Rodolfo C. Ertola-Biraben (CLE-Unicamp)
   - María Martínez-Ordaz (IFCS-UFRJ)
   - Sheila R. M. Veloso (PPCG-UERJ & COPPE-UFRJ)
   - Petrucio Viana (GAN-UFF) (Presidente e representante da SBL)

A SBL gostaria de tornar publico o agradecimento a banca, que nos
presenteou com um trabalho de altíssima qualidade.


Petrucio Viana

em nome da SBL

-- 
LOGICA-L
Lista acadêmica brasileira dos profissionais e estudantes da área de Lógica 

--- 
Você está recebendo esta mensagem porque se inscreveu no grupo "LOGICA-L" dos 
Grupos do Google.
Para cancelar inscrição nesse grupo e parar de receber e-mails dele, envie um 
e-mail para logica-l+unsubscr...@dimap.ufrn.br.
Para ver esta discussão na web, acesse 
https://groups.google.com/a/dimap.ufrn.br/d/msgid/logica-l/CACRvmVToFp8GGqxiEJyHj2t12JLj_sjUHT%3DeRGGR%3DxkvnTr4OQ%40mail.gmail.com.