Inaugural Lecture of Professor Elaine Pimentel 14 de Maio

[Valeria de Paiva]

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/

[Itala Maria Loffredo Dottaviano]

Parabéns, querida Elaine!

Itala

--
LOGICA-L
Lista acadêmica brasileira dos profissionais e estudantes da área de Lógica <logi...@dimap.ufrn.br>
---
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 logica-l+u...@dimap.ufrn.br.
Para ver esta conversa, acesse https://groups.google.com/a/dimap.ufrn.br/d/msgid/logica-l/CAESt%3DXtvXc-GLZUYqWrvvkiZzruN5WhcX8TUMG9tEpnX1M%2BnUA%40mail.gmail.com.

--

Prof. Dr. Itala M. Loffredo D'Ottaviano

Full Professor in Logic and the Foundations of Science 

Member and Researcher of the Centre for Logic, Epistemology and the History of Science at the University of Campinas

Research Fellow of the Brazilian National Council for Scientific and Technological Development

Titular Member, Brazilian Academy of Philosophy (Rio de Janeiro)

Emeritus Member, Académie Internationale de Philosophie de Sciences (Bruxelles)

Titular Member, Institut International de Philosophie (Paris-Nancy)

Editor of Coleção CLE, by the Centre for Logic, Epistemology and the History of Science. 

[Bruno Lopes]

Parabéns, Elaine!

Super merecido!!!

Em qui., 7 de mai. de 2026 às 21:25, Valeria de Paiva <valeria...@gmail.com> escreveu:

--
LOGICA-L
Lista acadêmica brasileira dos profissionais e estudantes da área de Lógica <logi...@dimap.ufrn.br>
---
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 logica-l+u...@dimap.ufrn.br.
Para ver esta conversa, acesse https://groups.google.com/a/dimap.ufrn.br/d/msgid/logica-l/CAESt%3DXtvXc-GLZUYqWrvvkiZzruN5WhcX8TUMG9tEpnX1M%2BnUA%40mail.gmail.com.

--

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**

[Vivek Nigam]

Wow! Fantástico. 

Parabéns Elaine!

Beijos,

------------------------------------------------- 

Vivek Nigam

http://www.nigam.info/

-------------------------------------------------------- 

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.

[Haniel Barbosa]

Excelente, Elaine, parabéns!

--
Haniel Barbosa
https://hanielbarbosa.com/

[Ruy Jose Guerra Barretto de Queiroz]

---------- Forwarded message ---------
De: Ruy Jose Guerra Barretto de Queiroz <r...@cin.ufpe.br>
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 <valeria...@gmail.com>

Excelente! Parabéns, Elaine!

Um abraço,

Ruy

Em qui., 7 de mai. de 2026 às 21:25, Valeria de Paiva <valeria...@gmail.com> escreveu:

[Walter Carnielli]

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 <r...@cin.ufpe.br> escreveu:

> 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/

[Francisco Miraglia Neto]

Cara Elaine, 

Parabéns! Muito merecido.

Grande abraço,

Chico Miraglia 

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 logica-l+u...@dimap.ufrn.br.

Para ver esta conversa, acesse https://groups.google.com/a/dimap.ufrn.br/d/msgid/logica-l/CAOrCsLeHPv-2_XKF9QKxB6joP8Ss4Cemz7abvFD8Q0NHtR4jcg%40mail.gmail.com.

[Itala Maria Loffredo Dottaviano]

Elaine:

Muito especial, é sempre uma deferência, uma demonstração de consideração acadêmica,  o convite para ministrar Aula Inaugural.

Mais parabéns!

Itala

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 logica-l+u...@dimap.ufrn.br.

Para ver esta conversa, acesse https://groups.google.com/a/dimap.ufrn.br/d/msgid/logica-l/CAOrCsLeHPv-2_XKF9QKxB6joP8Ss4Cemz7abvFD8Q0NHtR4jcg%40mail.gmail.com.