| 2015 | Tableau-Based Revision over | Thinh Dong, Chan Le Duc, Philippe Bonnot, Myriam Lamolle |
| 2015 | Reasoning in the presence of inconsistency through Preferential ALC. | Graham Deane, Krysia Broda, Alessandra Russo |
| 2015 | Using Program Synthesis for Program Analysis. | Cristina David, Daniel Kroening, Matt Lewis |
| 2015 | Symbolic WS1S. | Loris D'Antoni, Margus Veanes |
| 2015 | Abstract Domains and Solvers for Sets Reasoning. | Arlen Cox, Bor-Yuh Evan Chang, Huisong Li, Xavier Rival |
| 2015 | SAT Modulo Intuitionistic Implications. | Koen Claessen, Dan Rosn |
| 2015 | Skolemization for Substructural Logics. | Petr Cintula, Denisa Diaconescu, George Metcalfe |
| 2015 | An Adequate Compositional Encoding of Bigraph Structure in Linear Logic with Subexponentials. | Kaustuv Chaudhuri, Giselle Reis |
| 2015 | A Method to Simplify Expressions: Intuition and Preliminary Experimental Results. | Baudouin Le Charlier, Mton Mton Atindehou |
| 2015 | Modular Multiset Rewriting. | Iliano Cervesato, Edmund S. L. Lam |
| 2015 | Verification of Concurrent Programs Using Trace Abstraction Refinement. | Franck Cassez, Frowin Ziegler |
| 2015 | Automated Deduction in the B Set Theory using Typed Proof Search and Deduction Modulo. | Guillaume Bury, David Delahaye, Damien Doligez, Pierre Halmagrand, Olivier Hermant |
| 2015 | Implementing Polymorphism in Zenon. | Guillaume Bury, Raphal Cauderlier, Pierre Halmagrand |
| 2015 | A Contextual Logical Framework. | Peter Brottveit Bock, Carsten Schrmann |
| 2015 | Defining the meaning of TPTP formatted proofs. | Roberto Blanco, Tomer Libal, Dale Miller |
| 2015 | On Conflicts and Strategies in QBF. | Nikolaj S. Bjrner, Mikols Janota, William Klieber |
| 2015 | Playing with Quantified Satisfaction. | Nikolaj S. Bjrner, Mikols Janota |
| 2015 | Modelling Moral Reasoning and Ethical Responsibility with Logic Programming. | Fiona Berreby, Gauvain Bourgne, Jean-Gabriel Ganascia |
| 2015 | Value Sensitivity and Observable Abstract Values for Information Flow Control. | Luciano Bello, Daniel Hedin, Andrei Sabelfeld |
| 2015 | Relational Reasoning via Probabilistic Coupling. | Gilles Barthe, Thomas Espitau, Benjamin Grgoire, Justin Hsu, Lo Stefanesco, Pierre-Yves Strub |
| 2015 | Implicit Computational Complexity of Subrecursive Definitions and Applications to Cryptographic Proofs. | Patrick Baillot, Gilles Barthe, Ugo Dal Lago |
| 2015 | SAT-Based Minimization of Deterministic \omega -Automata. | Souheib Baarir, Alexandre Duret-Lutz |
| 2015 | Automated Theorem Proving by Translation to Description Logic. | Negin Arhami, Geoff Sutcliffe |
| 2015 | On the Expressive Power of Communication Primitives in Parameterised Systems. | Benjamin Aminof, Sasha Rubin, Florian Zuleger |
| 2015 | On CTL* with Graded Path Modalities. | Benjamin Aminof, Aniello Murano, Sasha Rubin |