| 2023 | FSCD | Labelled Tableaux for Linear Time Bunched Implication Logic. | Didier Galmiche, Daniel Mry |
| 2023 | WoLLIC | A Separation Logic with Histories of Epistemic Actions as Resources. | Hans van Ditmarsch, Didier Galmiche, Marta Gawek |
| 2021 | FSCD | Beth Semantics and Labelled Deduction for Intuitionistic Sentential Calculus with Identity. | Didier Galmiche, Marta Gawek, Daniel Mry |
| 2019 | TABLEAUX | Relating Labelled and Label-Free Bunched Calculi in BI Logic. | Didier Galmiche, Michel Marti, Daniel Mry |
| 2018 | CADE | Labelled Connection-based Proof Search for Multiplicative Intuitionistic. | Didier Galmiche, Daniel Mry |
| 2016 | AiML | About intuitionistic public announcement logic. | Philippe Balbiani, Didier Galmiche |
| 2015 | WoLLIC | An Epistemic Separation Logic. | Jean-Ren Courtault, Hans van Ditmarsch, Didier Galmiche |
| 2014 | CSR | Separation Logic with One Quantified Variable. | Stphane Demri, Didier Galmiche, Dominique Larchey-Wendling, Daniel Mry |
| 2013 | LFCS | A Modal BI Logic for Dynamic Resource Properties. | Jean-Ren Courtault, Didier Galmiche |
| 2011 | CADE | A Connection-Based Characterization of Bi-intuitionistic Validity. | Didier Galmiche, Daniel Mry |
| 2010 | LICS | The Undecidability of Boolean BI through Phase Semantics. | Dominique Larchey-Wendling, Didier Galmiche |
| 2010 | LPAR | Label-Free Proof Systems for Intuitionistic Modal Logic IS5. | Didier Galmiche, Yakoub Salhi |
| 2008 | WoLLIC | Labelled Calculi for Lukasiewicz Logics. | Didier Galmiche, Yakoub Salhi |
| 2005 | LPAR | Characterizing Provability in . | Didier Galmiche, Daniel Mry |
| 2003 | LPAR | Connection-Based Proof Construction in Non-commutative Logic. | Didier Galmiche, J.-M. Notin |
| 2002 | CADE | Connection-Based Proof Search in Propositional BI Logic. | Didier Galmiche, Daniel Mry |
| 2002 | CSL | Resource Tableaux. | Didier Galmiche, Daniel Mry, David J. Pym |
| 2002 | TABLEAUX | LINK: A Proof Environment Based on Proof Nets. | L. Habert, J.-M. Notin, Didier Galmiche |
| 2001 | CADE | STRIP: Structural Sharing for Efficient Proof-Search. | Dominique Larchey-Wendling, Daniel Mry, Didier Galmiche |
| 2000 | CADE | Workshop: Type-Theoretic Languages: Proof-Search and Semantics. | Didier Galmiche |
| 1994 | ICLP | Canonical Proofs for Linear Logic Programming Frameworks. | Didier Galmiche |
| 1994 | LFCS | Foundations of Proof Search Strategies Design in Linear Logic. | Didier Galmiche, Guy Perrier |
| 1993 | LPAR | SKIL: A System for Programming with Proofs. | Didier Galmiche, O. Hermann |
| 1992 | LFCS | Automated Deduction in Additive and Multiplicative Linear Logic. | Didier Galmiche, Guy Perrier |
| 1992 | LPAR | A Procedure for Automatic Proof Nets Construction. | Didier Galmiche, Guy Perrier |