| 2010 | Tropical linear programming and parametric mean payoff games. | Stphane Gaubert, Ricardo Katz, Sergei Sergeev |
| 2010 | A Decision Procedure for CTL | Oliver Friedmann, Markus Latte, Martin Lange |
| 2010 | Cocktail II. | Michael Franssen |
| 2010 | Fast Decision Procedure for Propositional Dummett Logic Based on a Multiple Premise Tableau Calculus. | Guido Fiorino |
| 2010 | System Description: The Proof Transformation System CERES. | Tsvetan Dunchev, Alexander Leitsch, Tomer Libal, Daniel Weller, Bruno Woltzenlogel Paleo |
| 2010 | The SMT Execution Service: Features, Fairness, and the Future. | Morgan Deters |
| 2010 | Automated Higher-order Reasoning about Quantales. | Han-Hing Dang, Peter Hfner |
| 2010 | Premise Selection in the Naproche System. | Marcos Cramer, Peter Koepke, Daniel Khlwein, Bernhard Schrder |
| 2010 | Discovering Specifications for Unknown Procedures - Work in Progress. | Florin Craciun, Chenguang Luo, Guanhua He, Shengchao Qin, Wei-Ngan Chin |
| 2010 | Verification of Security Protocols. | Vronique Cortier |
| 2010 | Automating Security Analysis: Symbolic Equivalence of Constraint Systems. | Vincent Cheval, Hubert Comon-Lundh, Stphanie Delaune |
| 2010 | Verifying Safety Properties with the TLA+ Proof System. | Kaustuv Chaudhuri, Damien Doligez, Leslie Lamport, Stephan Merz |
| 2010 | Compatibility Formalization Between PR-OWL and OWL. | Rommel N. Carvalho, Kathryn Blackmond Laskey, Paulo Cesar G. da Costa |
| 2010 | MCMT in the Land of Parametrized Timed Automata. | Alessandro Carioni, Silvio Ghilardi, Silvio Ranise |
| 2010 | Exploring Predictability of SAT/SMT Solvers. | Robert Brummayer, Duckki Oe, Aaron Stump |
| 2010 | Program Verification via Craig Interpolation for Presburger Arithmetic with Arrays. | Angelo Brillout, Daniel Kroening, Philipp Rmmer, Thomas Wahl |
| 2010 | An Interpolating Sequent Calculus for Quantifier-Free Presburger Arithmetic. | Angelo Brillout, Daniel Kroening, Philipp Rmmer, Thomas Wahl |
| 2010 | Tool Demonstration of the FLATA Counter Automata Toolset. | Marius Bozga, Radu Iosif, Filip Konecn, Toms Vojnar |
| 2010 | GridTPT: a distributed platform for Theorem Prover Testing. | Thomas Bouton, Diego Caminha, David Dharbe, Pascal Fontaine |
| 2010 | Sledgehammer: Judgement Day. | Sascha Bhme, Tobias Nipkow |
| 2010 | Invariants and Robustness of BIP Models. | Jan Olaf Blech, Thanh-Hung Nguyen, Michal Prin |
| 2010 | Monotonicity Inference for Higher-Order Formulas. | Jasmin Christian Blanchette, Alexander Krauss |
| 2010 | Linear Quantifier Elimination as an Abstract Decision Procedure. | Nikolaj S. Bjrner |
| 2010 | Automated Proof of Authentication Protocols in a Logic of Events. | Mark Bickford |
| 2010 | Adaptive Assertion-Level Proofs. | Christoph Benzmller, Marvin R. G. Schiller |