Embedded Files
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
Editor of the Bulletin of Symbolic Logic (BSL)
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), STACS (member), WoLLIC (member)
NEWS!!
I am truly honored to be one of the winners of the Rae Harbird Award. This recognition means a lot to me, especially since Rae was such a dear person.
Four-year PhD studentship on the Leverhulme-funded project "ECUMENICAL: Proof-theoretic semantics for non-classical and modal logics", led by Elaine Pimentel, David Pym, and Luiz Carlos Pereira at the Department of Computer Science, University College London (UK). Deadline for application: 03 February 2025 (for a May 2025 start). Link for further information. Email for further inquiries: e.pimentel@ucl.ac.uk.
BANFF Seminar on Proof Representations: From Theory to Applications co-organised with Anupam Das, Lutz Strassburger and Carlos Areces.
OLDER NEWS!!
Check out our successful ECUMENICAL kick-off meeting!
Dagstuhl 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: Women in EuroProofNet 2025, CSL 2025, Women in Plexus, 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, WiL2025.
PC member of: CSL 2026, FoSSaCS 2026, TABLEAUX 2025, FroCoS 2025, MFPS 2025, Dalí 2025, TYPES'25, CADE-30, LSFA 2025
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).
Some slides: Logic Outside the Wall (LMW2025), Inclusive Logic: less talk, more action! (LMW2022)
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)
Google Sites
Report abuse