| 2015 | A Contextual Logical Framework. Peter Brottveit Bock, Carsten Schürmann |
| 2015 | A Labelled Sequent Calculus for Intuitionistic Public Announcement Logic. Shoshin Nomura, Katsuhiko Sano, Satoshi Tojo |
| 2015 | Abstract Domains and Solvers for Sets Reasoning. Arlen Cox, Bor-Yuh Evan Chang, Huisong Li, Xavier Rival |
| 2015 | An Adequate Compositional Encoding of Bigraph Structure in Linear Logic with Subexponentials. Kaustuv Chaudhuri, Giselle Reis |
| 2015 | Analyzing Internet Routing Security Using Model Checking. Adi Sosnovich, Orna Grumberg, Gabi Nakibly |
| 2015 | Automated Benchmarking of Incremental SAT and QBF Solvers. Uwe Egly, Florian Lonsing, Johannes Oetsch |
| 2015 | Automated Discovery of Simulation Between Programs. Grigory Fedyukovich, Arie Gurfinkel, Natasha Sharygina |
| 2015 | Boolean Formulas for the Static Identification of Injection Attacks in Java. Michael D. Ernst, Alberto Lovato, Damiano Macedonio, Ciprian Spiridon, Fausto Spoto |
| 2015 | Cobra: A Tool for Solving General Deductive Games. Miroslav Klimos, Antonín Kucera |
| 2015 | Compositional Propositional Proofs. Marijn J. H. Heule, Armin Biere |
| 2015 | Constrained Term Rewriting tooL. Cynthia Kop, Naoki Nishida |
| 2015 | Controller Synthesis for MDPs and Frequency LTL Vojtech Forejt, Jan Krcál, Jan Kretínský |
| 2015 | Decidability, Introduction Rules and Automata. Gilles Dowek, Ying Jiang |
| 2015 | ELPI: Fast, Embeddable, λProlog Interpreter. Cvetan Dunchev, Ferruccio Guidi, Claudio Sacerdoti Coen, Enrico Tassi |
| 2015 | Enhancing Search-Based QBF Solving by Dynamic Blocked Clause Elimination. Florian Lonsing, Fahiem Bacchus, Armin Biere, Uwe Egly, Martina Seidl |
| 2015 | FEMaLeCoP: Fairly Efficient Machine Learning Connection Prover. Cezary Kaliszyk, Josef Urban |
| 2015 | Finding Inconsistencies in Programs with Loops. Temesghen Kahsai, Jorge A. Navas, Dejan Jovanovic, Martin Schäf |
| 2015 | Fine Grained SMT Proofs for the Theory of Fixed-Width Bit-Vectors. Liana Hadarean, Clark W. Barrett, Andrew Reynolds, Cesare Tinelli, Morgan Deters |
| 2015 | Focused Labeled Proof Systems for Modal Logic. Dale Miller, Marco Volpe |
| 2015 | Gamifying Program Analysis. Daniel Fava, Julien Signoles, Matthieu Lemerre, Martin Schäf, Ashish Tiwari |
| 2015 | Implicit Computational Complexity of Subrecursive Definitions and Applications to Cryptographic Proofs. Patrick Baillot, Gilles Barthe, Ugo Dal Lago |
| 2015 | Logic for Programming, Artificial Intelligence, and Reasoning - 20th International Conference, LPAR-20 2015, Suva, Fiji, November 24-28, 2015, Proceedings Martin Davis, Ansgar Fehnker, Annabelle McIver, Andrei Voronkov |
| 2015 | Modelling Moral Reasoning and Ethical Responsibility with Logic Programming. Fiona Berreby, Gauvain Bourgne, Jean-Gabriel Ganascia |
| 2015 | Modular Multiset Rewriting. Iliano Cervesato, Edmund S. L. Lam |
| 2015 | Normalisation by Completeness with Heyting Algebras. Gaëtan Gilbert, Olivier Hermant |
| 2015 | On Anti-subsumptive Knowledge Enforcement. Éric Grégoire, Jean-Marie Lagniez |
| 2015 | On CTL* with Graded Path Modalities. Benjamin Aminof, Aniello Murano, Sasha Rubin |
| 2015 | On Subexponentials, Synthetic Connectives, and Multi-level Delimited Control. Chuck C. Liang, Dale Miller |
| 2015 | On the Expressive Power of Communication Primitives in Parameterised Systems. Benjamin Aminof, Sasha Rubin, Florian Zuleger |
| 2015 | Proof Search in Nested Sequent Calculi. Björn Lellmann, Elaine Pimentel |
| 2015 | Reasoning About Embedded Dependencies Using Inclusion Dependencies. Miika Hannula |
| 2015 | Reasoning About Loops Using Vampire in KeY. Wolfgang Ahrendt, Laura Kovács, Simon Robillard |
| 2015 | Relational Reasoning via Probabilistic Coupling. Gilles Barthe, Thomas Espitau, Benjamin Grégoire, Justin Hsu, Léo Stefanesco, Pierre-Yves Strub |
| 2015 | SAT Modulo Intuitionistic Implications. Koen Claessen, Dan Rosén |
| 2015 | SAT-Based Minimization of Deterministic \omega -Automata. Souheib Baarir, Alexandre Duret-Lutz |
| 2015 | Sharing HOL4 and HOL Light Proof Knowledge. Thibault Gauthier, Cezary Kaliszyk |
| 2015 | Skolemization for Substructural Logics. Petr Cintula, Denisa Diaconescu, George Metcalfe |
| 2015 | Synchronized Recursive Timed Automata. Yuya Uezato, Yasuhiko Minamide |
| 2015 | TIP: Tools for Inductive Provers. Dan Rosén, Nicholas Smallbone |
| 2015 | Tableau-Based Revision over Thinh Dong, Chan Le Duc, Philippe Bonnot, Myriam Lamolle |
| 2015 | There Is No Best \beta -Normalization Strategy for Higher-Order Reasoners. Alexander Steen, Christoph Benzmüller |
| 2015 | Using Program Synthesis for Program Analysis. Cristina David, Daniel Kroening, Matt Lewis |
| 2015 | Value Sensitivity and Observable Abstract Values for Information Flow Control. Luciano Bello, Daniel Hedin, Andrei Sabelfeld |
| 2015 | Verification of Concurrent Programs Using Trace Abstraction Refinement. Franck Cassez, Frowin Ziegler |