Parabéns, Ciro, Abílio, Henrique, Petrucio e colegas!!! Forte abraço!
On Sat, Jan 29, 2022 at 11:02 PM Bruno Lopes <br...@ic.uff.br> 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 <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> >> . >> > -- > 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/CAD-Wq0_y9pj78zM%3DBNScOcH06C_JoBPA9GakEyzmDSrA8WF%3DBg%40mail.gmail.com > <https://groups.google.com/a/dimap.ufrn.br/d/msgid/logica-l/CAD-Wq0_y9pj78zM%3DBNScOcH06C_JoBPA9GakEyzmDSrA8WF%3DBg%40mail.gmail.com?utm_medium=email&utm_source=footer> > . > -- 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 <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/CAHQVs%2BVsGsA9nZePEZsiRz6YPJChDJ%3De0%3DyF_wGW1U%2BF2EPypA%40mail.gmail.com.