Parabéns ao Ciro, Abílio e Henrique!
On Mon, Jan 31, 2022 at 10:07 AM Alfredo Roque Freire <alfrfre...@gmail.com> wrote: > Parabéns ao Ciro, Abílio e Henrique! > > > On Mon, Jan 31, 2022 at 11:47 AM Marcelo Finger <mfin...@ime.usp.br> > 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 <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ê 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 >> <https://groups.google.com/a/dimap.ufrn.br/d/msgid/logica-l/CAGG7Aw2RF3Sw9wnEpa3HqTu_EpOmKPjHeP1bhmpFx%3DkPzDJ96A%40mail.gmail.com?utm_medium=email&utm_source=footer> >> . >> > > > -- > Alfredo Roque Freire > > -- > 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/CAHk6N6av2uOee%2Bo489jRtStKPURe0OSUu%2BtHq%2BR8c6x72DKR-g%40mail.gmail.com > <https://groups.google.com/a/dimap.ufrn.br/d/msgid/logica-l/CAHk6N6av2uOee%2Bo489jRtStKPURe0OSUu%2BtHq%2BR8c6x72DKR-g%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ê 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.
