Cara Elaine, Parabéns! Muito merecido.
Grande abraço, Chico Miraglia On Fri, 8 May 2026 at 12:47 Walter Carnielli <[email protected]> wrote: > 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 > . > -- 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/CAAPRoxFP%3Dn9kVJ7ozJVyG0PqnhFzuewYYKH4tHf4WOTPOohfSw%40mail.gmail.com.
