Elaine Pimentel
Passage Vallet, Paris, France! From where I keep some of my happiest memories and where I have very dear friends! (Image from Google Street, showing Carlos Olarte working hard).
Associate Professor
Programming Principles, Logic, and Verification
Department of Computer Science
Schools Outreach Lead
Treasurer of the Brazilian Logic Society (Former President: 2021-2013)
Member of the Ethics and Conduct Committee of Brazilian Mathematical Society
Chair of the LA committee of the Association for Symbolic Logic and the E. W. Beth Dissertation Prize committee for 2024.
Treasurer of ACM SIGLOG
Steering committees TABLEAUX (chair), LFMTP (chair), EACSL (member), WoLLIC (member)
NEWS!!
Dagstuhl Seminar on Proof Representations: From Theory to Applications co-organised with Anupam Das, Lutz Strassburger and Carlos Areces.
BANFF Seminar on Proof Representations: From Theory to Applications co-organised with Anupam Das, Lutz Strassburger and Carlos Areces.
David Pym's Festschrift celebrating his 60th birthday.
Research Interests
Proof theory, concurrency theory, ecumenical systems, game semantics, logical frameworks, linear logic, modal logics, intersection types, lambda-calculus.
Ongoing research projects: MOSAIC, PROSA and PROGEO.
Ecumenical systems: check it out the 1st Ecumenical meeting @UCL!!!
Proof Theoretic Semantics: check it out the seminar we organized for the WLD2022!!!
Tutorials
Round Tables
World Congress of Philosophy: Forty years of linear logic: what impact on the philosophy of logic?
Other interests
I am also very much interested in all aspects of Diversity and Inclusiveness. Check it out the message from ASL!
Project POTIMÁTICAS: Meninas Potiguares na Matemática: inspiring young girls to pursue Mathematics and Computer Science.
Matemática: s.f. platform for women in Math.
Lógicas Brasileiras: Brazilian women in logic.
World Logic Day: check it out our initiatives!!
Conferences
Invited speaker at: CSL 2025, Proof Theory and Theoretical Computer Science - Special session A25 of the 2nd AMS-UMI International Joint Meeting, Proofs, Rules, and Meanings Workshop 2024, SLALM Non-classical logics special session, PLEXUS conference 2023, British Logic Colloquium 2023, CALCO 2023, CLMPST 2023, PLEXUS2023, MOSAIC2023, V Colóquio de Matemática da Região Nordeste, Dalí 22, XIX SLALM, Logic Mentoring Workshop @ CSL, FSCD2021, Logic Colloquium 2021, LFMTP 2020, IJCAR 2020, II WMM, XVIII SLALM, LSFA2019, EBL2019, WoLLIC 2018, SYSMICS 2018, Filomena 2017, LL 2016, WoF 2015, Linearity 2014
Co-chair of STACS 2025, Philosophical Logic session SLALM, BETH2024, CiE2024, WiL2024
PC member of: NCL'24, XX SLALM, AiML2024, FSCD2024, IJCAR2024, FoSSACS2024
Miscellany
I am very proud to be one of the Ambassadors of Logic at the World Logic Day 2021. Check it out our event: Lógica e Representatividade.
Some videos: LMW@CSL22, SEMAT/UFRN 2021 (in Portuguese), IJCAR 2020, LFMTP 2020, Lógicos em quarentena, Verão UnB (in Portuguese), Live SBM (in Portuguese), IIWMM (in Portuguese).
My Erdös number is 3.
For more info, click here.
Contact:
elaine dot pimentel at gmail dot com (general) and e dot pimentel at ucl dot ac dot uk (work)