| 2013 | Analysing Vote Counting Algorithms via Logic - And Its Application to the CADE Election Scheme. | Bernhard Beckert, Rajeev Gor, Carsten Schrmann |
| 2013 | Dynamic Logic with Trace Semantics. | Bernhard Beckert, Daniel Bruns |
| 2013 | Hierarchic Superposition with Weak Abstraction. | Peter Baumgartner, Uwe Waldmann |
| 2013 | Temporalizing Ontology-Based Data Access. | Franz Baader, Stefan Borgwardt, Marcel Lippmann |
| 2013 | Computing Tiny Clause Normal Forms. | Noran Azmy, Christoph Weidenbach |
| 2012 | Satisfiability Checking and Query Answering for Large Ontologies. | Christoph Weidenbach, Patrick Wischnewski |
| 2012 | Diabelli: A Heterogeneous Proof System. | Matej Urbas, Mateja Jamnik |
| 2012 | Stratification in Logics of Definitions. | Alwen Tiu |
| 2012 | MetTeL | Dmitry Tishkovsky, Renate A. Schmidt, Mohammad Khodadadi |
| 2012 | A PLTL-Prover Based on Labelled Superposition with Partial Model Guidance. | Martin Suda, Christoph Weidenbach |
| 2012 | Introducing StarExec: a Cross-Community Infrastructure for Logic Solving. | Aaron Stump, Geoff Sutcliffe, Cesare Tinelli |
| 2012 | KBCV - Knuth-Bendix Completion Visualizer. | Thomas Sternagel, Harald Zankl |
| 2012 | Extended Caching, Backjumping and Merging for Expressive Description Logics. | Andreas Steigmiller, Thorsten Liebig, Birte Glimm |
| 2012 | Synthesis for Unbounded Bit-Vector Arithmetic. | Andrej Spielmann, Viktor Kuncak |
| 2012 | Theory Exploration: a role for Model Theory? | Alan Smaill |
| 2012 | The Architecture of Inference from SMT to ETB. | Natarajan Shankar |
| 2012 | qbf2epr: A Tool for Generating EPR Formulas from QBF. | Martina Seidl, Florian Lonsing, Armin Biere |
| 2012 | Optimization in SMT with ${\mathcal LA}$ (ℚ) Cost Functions. | Roberto Sebastiani, Silvia Tomasi |
| 2012 | Fingerprint Indexing for Paramodulation and Rewriting. | Stephan Schulz |
| 2012 | Behind the Scene of Solvers Competitions: the "evaluation" Experience. | Olivier Roussel |
| 2012 | Correctness of Program Transformations as a Termination Problem. | Conrad Rau, David Sabel, Manfred Schmidt-Schau |
| 2012 | The QMLTP Problem Library for First-Order Modal Logics. | Thomas Raths, Jens Otten |
| 2012 | Playing Hybrid Games with KeYmaera. | Jan-David Quesel, Andr Platzer |
| 2012 | Anatomy of Alternating Quantifier Satisfiability (Work in progress). | Anh-Dung Phan, Nikolaj S. Bjrner, David Monniaux |
| 2012 | Experiments on the feasibility of using a floating-point simplex in an SMT solver. | Diego Caminha Barbosa De Oliveira, David Monniaux |