Wow! Fantástico. Parabéns Elaine! Beijos,
------------------------------------------------- Vivek Nigam http://www.nigam.info/ -------------------------------------------------------- On Fri 8. May 2026 at 13:58, Bruno Lopes <[email protected]> wrote: > Parabéns, Elaine! > > Super merecido!!! > > Em qui., 7 de mai. de 2026 às 21:25, Valeria de Paiva < > [email protected]> escreveu: > >> Caros colegas, >> Estou reenviando o convite para a Aula Inaugural da Elaine no UCL. >> Parabens, Elaine! >> Valeria >> >> ----------- >> Dear colleagues >> >> We are pleased to announce the inaugural lecture of Professor Elaine >> Pimentel: >> >> Proofs, Meaning, and Inclusion >> >> Abstract: >> What does it mean to do logic today and why does it matter beyond >> academia? In this lecture, I explore an ecumenical approach to logic and >> how it shapes my work on proofs, meaning, and automated reasoning. >> >> Alongside this, I reflect on how outreach and education have influenced >> my understanding of the field, reinforcing the need for a more inclusive >> and accessible discipline. >> This is a personal account of logic as a living practice, connecting >> ideas, computation, communities, and society. >> >> Date: Thursday, 14 May 2026 >> Time: 17:30 - 20:00 >> Location: Roberts Building (and online) >> >> The lecture will be followed by a reception. It will be live streamed and >> recorded. >> >> Register for the inaugural lecture of Elaine Pimentel: >> https://www.eventbrite.co.uk/e/ucl-engineering-inaugural-lecture-series-professor-elaine-pimentel-tickets-1986367936971?aff=DeptCSStaffStudentEmail >> >> -- >> Valeria de Paiva >> http://vcvpaiva.github.io/ >> https://topos.institute/ >> http://www.cs.bham.ac.uk/~vdp/ >> >> >> -- >> 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/CAESt%3DXtvXc-GLZUYqWrvvkiZzruN5WhcX8TUMG9tEpnX1M%2BnUA%40mail.gmail.com >> <https://groups.google.com/a/dimap.ufrn.br/d/msgid/logica-l/CAESt%3DXtvXc-GLZUYqWrvvkiZzruN5WhcX8TUMG9tEpnX1M%2BnUA%40mail.gmail.com?utm_medium=email&utm_source=footer> >> . >> > > > -- > 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*** > > -- > 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/CAD-Wq0_QLri2vmO%2Bfk4-iZkD1Oaur-BmMhY9zmfP1RJEWZRBnA%40mail.gmail.com > <https://groups.google.com/a/dimap.ufrn.br/d/msgid/logica-l/CAD-Wq0_QLri2vmO%2Bfk4-iZkD1Oaur-BmMhY9zmfP1RJEWZRBnA%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/CAFx3SPKCT0zEF1Qc0m-5NjVxHJ%3DjFpK6Cir_rwKZpaNtUevGww%40mail.gmail.com.
