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 <logica-l@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+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 > <https://groups.google.com/a/dimap.ufrn.br/d/msgid/logica-l/CACRvmVToFp8GGqxiEJyHj2t12JLj_sjUHT%3DeRGGR%3DxkvnTr4OQ%40mail.gmail.com?utm_medium=email&utm_source=footer> > . > -- 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 -- LOGICA-L Lista acadêmica brasileira dos profissionais e estudantes da área de Lógica <logica-l@dimap.ufrn.br> --- 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.