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

[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!

--
LOGICA-L
Lista acadêmica brasileira dos profissionais e estudantes da área de Lógica <logi...@dimap.ufrn.br>
---
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+u...@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.

[Elaine Pimentel]

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

Forte abraço!

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

-----------------------------------

[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
<petruci...@id.uff.br> escreveu:
>

[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 <petruci...@id.uff.br> escreveu:

--

LOGICA-L
Lista acadêmica brasileira dos profissionais e estudantes da área de Lógica <logi...@dimap.ufrn.br>
---
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+u...@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/0000-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

[Alfredo Roque Freire]

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

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

[Evandro L. Gomes]

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

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.

[Cassiano Terra Rodrigues]

Parabéns, camaradas! 

E reiterando as palavras do Bruno, parabéns à Comissão e à Diretoria da SBL pelo trabalho!

Saudações,

cass. 

[Henrique Antunes]

Caras e caros,

Gostaria de agradecer, em meu nome e em nome do Abílio, às
parabenizações na lista.

Aproveito para deixar aqui nossos parabéns ao Ciro e o agradecimento ao
Petrucio, à Diretoria da SBL e à comissão avaliadora pelo trabalho
esplêndido.

Forte abraço,

--
Henrique
(em nome do Abílio)

> --
> LOGICA-L
> Lista acadêmica brasileira dos profissionais e estudantes da área de Lógica
> <logi...@dimap.ufrn.br>
> ---
> 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 [1]logica-l+u...@dimap.ufrn.br.
> Para ver essa discussão na Web, acesse [2]https://groups.google.com/a/
> dimap.ufrn.br/d/msgid/logica-l/
> ba3f9076-66d4-4b41-8ffc-2614cc250ebfn%40dimap.ufrn.br.
>
> References:
>
> [1] mailto:logica-l+u...@dimap.ufrn.br
> [2] https://groups.google.com/a/dimap.ufrn.br/d/msgid/logica-l/ba3f9076-66d4-4b41-8ffc-2614cc250ebfn%40dimap.ufrn.br?utm_medium=email&utm_source=footer

[Abilio Rodrigues Filho]

Olá para todxs.

Reitero os agradecimentos as parabenizações feitas aqui na lista.

Parabéns tb ao Ciro, Petrucio, Elaine e todos da SBL.

Grande abraço!!!

Abílio

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+u...@dimap.ufrn.br.
Para ver esta discussão na web, acesse https://groups.google.com/a/dimap.ufrn.br/d/msgid/logica-l/BY5PR19MB403622E5691AA2AEE69AE7489D269%40BY5PR19MB4036.namprd19.prod.outlook.com.

[Ciro Russo]

Car@s,

Me junto a Abílio e Henrique nos agradecimentos ao carinho da lista e quero por minha vez parabenizar eles.

Um grande abraço,

Ciro

[Ciro Russo]

Ah, e obviamente agradeço imensamente à SBL, Jean-Yves Béziau e à comissão, que fez um trabalho enorme.

Abraços,

Ciro