Excelente, Elaine, parabéns! Vivek Nigam <[email protected]> writes:
> 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 > . > > > > -- > 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 > . -- Haniel Barbosa https://hanielbarbosa.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/874iki9f78.fsf%40gmail.com.
