Parabéns, JM, the second of his name! Bruno Lopes Associate Professor Instituto de Computação Universidade Federal Fluminense http://www.ic.uff.br/~bruno
***Please do not feel any pressure to respond outside of your own regular working hours. Remember that this is supposed to be an asynchronous tool*** Em qua., 24 de jun. de 2026, 10:35, Gisele Dalva <[email protected]> escreveu: > Viva!!! > > Parabéns e muito obrigada por tão importante trabalho! > > Abraços, > G. > > > Gisele D. Secco <https://philpeople.org/profiles/gisele-d-secco> > > On Wed, 24 Jun 2026 at 06:06 Elaine Pimentel <[email protected]> > wrote: > >> Querido João Mendes, >> >> Parabéns pelo excelente trabalho e pelo prêmio, nada mais merecido! >> >> Abraços, >> >> >> On Tue, 23 Jun 2026 at 18:17, Joao Marcos <[email protected]> wrote: >> >>> Com muito orgulho, divulgo a notícia de que o trabalho de João Mendes, >>> "Uma Análise do Aprendizado de Lógica em um Curso de Computação >>> Baseada em Evidências Coletadas de uma Plataforma de Ensino", foi >>> escolhido como um dos Trabalhos de Destaque durante o VI Simpósio >>> Brasileiro de Educação em Computação (EduComp 2026): >>> >>> https://ufrn.br/imprensa/noticias/102656/curso-de-ciencia-da-computacao-tem-tcc-agraciado-com-mencao-honrosa >>> >>> Parabéns!! >>> >>> %%% >>> >>> Colegas interessados no tema do uso de ferramentas computacionais para >>> o ensino de Lógica podem querer conferir também este outro artigo de >>> João Mendes: >>> A method for the automated generation of proof exercises with >>> comparable levels of proving complexity >>> https://arxiv.org/abs/2603.07322 >>> >>> %%% >>> >>> João Marcos >>> >>> -- >>> https://sites.google.com/site/sequiturquodlibet/ >>> >>> -- >>> LOGICA-L >>> Lista acadêmica brasileira dos profissionais e estudantes da área de >>> Lógica <[email protected]> >>> --- >>> 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 [email protected]. >>> Para ver esta conversa, acesse >>> https://groups.google.com/a/dimap.ufrn.br/d/msgid/logica-l/CAO6j_Li_zczBUVRZQy-QyWBfL2SVjp%2BJgWCxBUwfNi5FoRAM4w%40mail.gmail.com >>> . >>> >> >> >> -- >> Elaine. >> ----------------------------------- >> Elaine Pimentel >> Schools Outreach Lead >> Professor of Logic and Computation >> Deputy Director of the Computer Science and Philosophy programme >> Programming Principles, Logic, and Verification >> Department of Computer Science, Office: Room 3.11, 66-72 Gower Street >> <https://www.google.com/maps/search/66-72+Gower+Street?entry=gmail&source=g> >> University College London >> URL: https://sites.google.com/site/elainepimentel/ >> >> UCL Computer Science is an *Athena Swan Gold award winner for gender >> equality >> <https://www.ucl.ac.uk/computer-science/about/equity-diversity-and-inclusion/gender-equality-athena-swan>* >> UCL is ranked among the *top ten in the QS World University Rankings >> 2024 >> <https://www.ucl.ac.uk/news/2023/jun/ucl-ranked-top-10-universities-world-12-years-running>* >> and >> is winner of *The Times and Sunday Times University of the Year 2024 >> <https://www.ucl.ac.uk/news/2023/sep/ucl-named-university-year>* >> ----------------------------------- >> >> -- >> LOGICA-L >> Lista acadêmica brasileira dos profissionais e estudantes da área de >> Lógica <[email protected]> >> --- >> 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 [email protected]. >> Para ver esta conversa, acesse >> https://groups.google.com/a/dimap.ufrn.br/d/msgid/logica-l/CAHQVs%2BVxX-wbE3Q4Wh66-sQ0g2o-2gOx%2BeBdGO06MVwV62fLDg%40mail.gmail.com >> <https://groups.google.com/a/dimap.ufrn.br/d/msgid/logica-l/CAHQVs%2BVxX-wbE3Q4Wh66-sQ0g2o-2gOx%2BeBdGO06MVwV62fLDg%40mail.gmail.com?utm_medium=email&utm_source=footer> >> . >> > -- > LOGICA-L > Lista acadêmica brasileira dos profissionais e estudantes da área de > Lógica <[email protected]> > --- > 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 [email protected]. > Para ver esta conversa, acesse > https://groups.google.com/a/dimap.ufrn.br/d/msgid/logica-l/CAOmQKJcnNMb7eqRnSy3SXKa9EV5cQAm%2B2Mh_eW6T4DcRjSQTZA%40mail.gmail.com > <https://groups.google.com/a/dimap.ufrn.br/d/msgid/logica-l/CAOmQKJcnNMb7eqRnSy3SXKa9EV5cQAm%2B2Mh_eW6T4DcRjSQTZA%40mail.gmail.com?utm_medium=email&utm_source=footer> > . > -- LOGICA-L Lista acadêmica brasileira dos profissionais e estudantes da área de Lógica <[email protected]> --- 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 [email protected]. Para ver esta conversa, acesse https://groups.google.com/a/dimap.ufrn.br/d/msgid/logica-l/CAD-Wq0-TC9%3D13oGzDiuYQ23qDkK57%2BBtScS6yWuLDvQD3WA%3DGw%40mail.gmail.com.
