| 2026 | MFCS | Bilateralism with Incompatible Proofs and Refutations. | Victor Barroso-Nascimento, Maria Osrio, Elaine Pimentel |
| 2025 | CSL | Playing with Modalities (Invited Talk). | Elaine Pimentel, Carlos Olarte, Timo Lang, Robert Freiman, Christian G. Fermller |
| 2025 | TABLEAUX | A Sequent Calculus Perspective on Base-Extension Semantics. | Victor Barroso-Nascimento, Ekaterina Piotrovskaya, Elaine Pimentel |
| 2025 | TABLEAUX | The Modal Cube Revisited: Semantics Without Worlds. | Renato R. Leme, Carlos Olarte, Elaine Pimentel, Marcelo Esteban Coniglio |
| 2024 | LPAR | Reasoning About Group Polarization: From Semantic Games to Sequent Systems. | Robert Freiman, Carlos Olarte, Elaine Pimentel, Christian G. Fermller |
| 2023 | CALCO | A Tour on Ecumenical Systems (Invited Talk). | Elaine Pimentel, Luiz Carlos Pereira |
| 2022 | CADE | Non-associative, Non-commutative Multi-modal Linear Logic. | Eben Blaisdell, Max I. Kanovich, Stepan L. Kuznetsov, Elaine Pimentel, Andre Scedrov |
| 2021 | FSCD | Process-As-Formula Interpretation: A Substructural Multimodal View (Invited Talk). | Elaine Pimentel, Carlos Olarte, Vivek Nigam |
| 2021 | WoLLIC | A Pure View of Ecumenical Modalities. | Sonia Marin, Luiz Carlos Pereira, Elaine Pimentel, Emerson Sales |
| 2020 | LFCS | Countermodel Construction via Optimal Hypersequent Calculi for Non-normal Modal Logics. | Tiziano Dalmonte, Bjrn Lellmann, Nicola Olivetti, Elaine Pimentel |
| 2019 | TABLEAUX | A Game Model for Proofs with Costs. | Timo Lang, Carlos Olarte, Elaine Pimentel, Christian G. Fermller |
| 2019 | TABLEAUX | Sequentialising Nested Systems. | Elaine Pimentel, Revantha Ramanayake, Bjrn Lellmann |
| 2018 | WoLLIC | A Semantical View of Proof Systems. | Elaine Pimentel |
| 2017 | LPAR | A uniform framework for substructural logics with modalities. | Bjrn Lellmann, Carlos Olarte, Elaine Pimentel |
| 2015 | LPAR | Proof Search in Nested Sequent Calculi. | Bjrn Lellmann, Elaine Pimentel |
| 2013 | CONCUR | A General Proof System for Modalities in Concurrent Constraint Programming. | Vivek Nigam, Carlos Olarte, Elaine Pimentel |
| 2012 | PPDP | A linear concurrent constraint approach for the automatic verification of access permissions. | Carlos Olarte, Elaine Pimentel, Camilo Rueda, Nstor Catao |
| 2006 | FOSSACS | An Operational Characterization of Strong Normalization. | Luca Paolini, Elaine Pimentel, Simona Ronchi Della Rocca |
| 2005 | LPAR | On the Specification of Sequent Systems. | Elaine Pimentel, Dale Miller |
| 2002 | TABLEAUX | Using Linear Logic to Reason about Sequent Systems. | Dale Miller, Elaine Pimentel |