Parabéns, Elaine, fantástico, não vou perder — pena não poder participar da festinha! :-)
Abraços, Walter Em sex., 8 de mai. de 2026 às 11:34, Ruy Jose Guerra Barretto de Queiroz <[email protected]> escreveu: > > > > ---------- Forwarded message --------- > De: Ruy Jose Guerra Barretto de Queiroz <[email protected]> > Date: sex., 8 de mai. de 2026 às 11:33 > Subject: Re: [Logica-l] Inaugural Lecture of Professor Elaine Pimentel 14 de > Maio > To: Valeria de Paiva <[email protected]> > > > Excelente! Parabéns, Elaine! > > Um abraço, > Ruy > > > 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. > > -- > 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/CANSQ7QhXQ%2BLW14roK4pzFxfL_bJF_E%3DPFC4WjsmsnyZc3du4tw%40mail.gmail.com. -- ======================== Walter Carnielli CLE and Department of Philosophy University of Campinas –UNICAMP, Brazil AI2- Advanced Institute for Artificial Intelligence Blog https://waltercarnielli.com/ -- 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/CAOrCsLeHPv-2_XKF9QKxB6joP8Ss4Cemz7abvFD8Q0NHtR4jcg%40mail.gmail.com.
