Treasurer of the Brazilian Logic Society (Former President: 2021-2013)
Member of the Ethics and Conduct Committee of Brazilian Mathematical Society
Treasurer of ACM SIGLOG
Dagstuhl Seminar on Proof Representations: From Theory to Applications co-organised with Anupam Das, Lutz Strassburger and Carlos Areces.
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!!!
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!!
Invited speaker at: 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, CiE2024, WiL2024
My Erdös number is 3.
For more info, click here.
elaine dot pimentel at gmail dot com (general) and e dot pimentel at ucl dot ac dot uk (work)