---------- 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 > <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> > . > -- 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/CANSQ7QhXQ%2BLW14roK4pzFxfL_bJF_E%3DPFC4WjsmsnyZc3du4tw%40mail.gmail.com.
