| 2025 | TABLEAUX | Justification Logic for Intuitionistic Modal Logic. | Sonia Marin, Paaras Padhiar |
| 2024 | CSL | Intuitionistic Gdel-Lb Logic, la Simpson: Labelled Systems and Birelational Semantics. | Anupam Das, Iris van der Giessen, Sonia Marin |
| 2024 | WoLLIC | A Simple Loopcheck for Intuitionistic K. | Marianna Girlando, Roman Kuznets, Sonia Marin, Marianela Morales, Lutz Straburger |
| 2023 | LICS | Intuitionistic S4 is decidable. | Marianna Girlando, Roman Kuznets, Sonia Marin, Marianela Morales, Lutz Straburger |
| 2023 | LOPSTR | A Logical Interpretation of Asynchronous Multiparty Compatibility. | Marco Carbone, Sonia Marin, Carsten Schrmann |
| 2023 | TABLEAUX | On Intuitionistic Diamonds (and Lack Thereof). | Anupam Das, Sonia Marin |
| 2022 | AiML | Modal logic and the polynomial hierarchy: from QBFs to K and back. | Anupam Das, Sonia Marin |
| 2021 | FOSSACS | Focused Proof-search in the Logic of Bunched Implications. | Alexander Gheorghiu, Sonia Marin |
| 2021 | WoLLIC | A Pure View of Ecumenical Modalities. | Sonia Marin, Luiz Carlos Pereira, Elaine Pimentel, Emerson Sales |
| 2017 | TABLEAUX | Proof Theory for Indexed Nested Sequents. | Sonia Marin, Lutz Straburger |
| 2016 | AiML | A focused framework for emulating modal proof systems. | Sonia Marin, Dale Miller, Marco Volpe |
| 2016 | FOSSACS | Focused and Synthetic Nested Sequents. | Kaustuv Chaudhuri, Sonia Marin, Lutz Straburger |
| 2014 | AiML | Label-free Modular Systems for Classical and Intuitionistic Modal Logics. | Sonia Marin, Lutz Straburger |