Embedded Files
Ongoing research projects: MOSAIC, PROSA and PROGEO (Past: STIC AmSud EPIC, GetFun, Musical, SELL, Pier, GeVe, CAPES-FAPERN)
Project POTIMÁTICAS: Meninas Potiguares na Matemática: inspiring young girls to pursue Mathematics and Computer Science.
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.
Steering committees: TABLEAUX (chair), LFMTP (chair), EACSL (member), WoLLIC (member).
Invited speaker at: FSCD2021, Logic Colloquium 2021, LFMTP 2020 (video), IJCAR 2020 (video), II Workshop de Mulheres na Matemática – WMM (video -- in Portuguese), XVIII SLALM, LSFA2019, EBL2019, WoLLIC 2018, SYSMICS 2018, Filomena 2017, LL 2016, WoF 2015, Linearity 2014.
PC member of: NCL'24, XX SLALM, AiML2024, FSCD2024, IJCAR2024, FoSSACS2024, IJCAR2024, FoSSACS2024, Dali2023, TABLEAUX2023, RADICAL2023, LSFA2023, ICLP 2023, CiE2023, IJCAR 2022, FoSSaCS 2022, LICS2022, Logic4Peace, CALCO 2021, LSFA 2022, WiL 2022, TABLEAUX 2021, WoLLIC 2021, ICTAC 2021, CSL2021, LPAR-23, TLLA-LINEARITY-2020, TYPES 2020, FSCD 2020, CSL 2020, LICS 2020, RADICAL 2019, TABLEAUX 2019, WiL 2019, SD 2019, LFMTP 2019, TYPES 2019, I Encontro Brasileiro de Mulheres Matemáticas 2019.
Co-chair of STACS 2025, Philosophical Logic session SLALM 2024, BETH2024, CiE2024, WiL2024, CSL 2023, WoLLIC 2022, TLLA 2021, LFMTP 2021, WBL 2022.
Organizer of the 2020 North American ASL meeting (proof theory track - check the wonderful program here!), the Mathematical Logic Session at the 1st Brazil-France Meeting, CADE-27 and Nat@Logic.
Editorial boards: Logics and IfCoLog Journal of Logics and their Applications.
Emílias podcast, an initiative of Emíli@s: Armação em bits
Some videos: 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), a short video about myself (in Portuguese).
Talks in seminars: Online Logic Seminar (Southern Illinois University) June 18 2020; Lógicos em quarentena (SBL) April 23 2020; GTC/UnB+EFFA/UFG Seminar November 20 2020.
My Erdös number is 3.
Contact:
elaine dot pimentel at gmail dot com (general) and e dot pimentel at ucl dot ac dot uk (work)
Google Sites
Report abuse