| 2011 | Transfinite Update Procedures for Predicative Systems of Analysis. | Federico Aschieri |
| 2011 | Power-Set Functors and Saturated Trees. | Jir Admek, Stefan Milius, Lawrence S. Moss, Lurdes Sousa |
| 2010 | Coq Modulo Theory. | Pierre-Yves Strub |
| 2010 | Signature Extensions Preserve Termination - An Alternative Proof via Dependency Pairs. | Christian Sternagel, Ren Thiemann |
| 2010 | Two-Variable Logic with Two Order Relations - (Extended Abstract). | Thomas Schwentick, Thomas Zeume |
| 2010 | Towards a Canonical Classical Natural Deduction System. | Jos Esprito Santo |
| 2010 | Constraint Solving for Program Verification: Theory and Practice by Example. | Andrey Rybalchenko |
| 2010 | Untyping Typed Algebraic Structures and Colouring Proof Nets of Cyclic Linear Logic. | Damien Pous |
| 2010 | Quantified Differential Dynamic Logic for Distributed Hybrid Systems. | Andr Platzer |
| 2010 | Abductive, Inductive and Deductive Reasoning about Resources. | Peter W. O'Hearn |
| 2010 | On the Computability of Region-Based Euclidean Logics. | Yavor Nenov, Ian Pratt-Hartmann |
| 2010 | The Complexity of Positive First-Order Logic without Equality II: The Four-Element Case. | Barnaby Martin, Jos Martin |
| 2010 | The Ackermann Award 2010. | Johann A. Makowsky, Damian Niwinski |
| 2010 | Complexity Results for Modal Dependence Logic. | Peter Lohmann, Heribert Vollmer |
| 2010 | The Isomorphism Problem for | Dietrich Kuske, Jiamou Liu, Markus Lohrey |
| 2010 | Ordered Sets in the Calculus of Data Structures. | Viktor Kuncak, Ruzica Piskac, Philippe Suter |
| 2010 | Tree Dualities for Constraint Satisfaction. | Andrei A. Krokhin |
| 2010 | From Feasible Proofs to Feasible Computations. | Jan Krajcek |
| 2010 | A Sequent Calculus with Implicit Term Representation. | Stefan Hetzl |
| 2010 | Definability in Games. | Erich Grdel |
| 2010 | Fibrational Induction Rules for Initial Algebras. | Neil Ghani, Patricia Johann, Clment Fumex |
| 2010 | New Algorithm for Weak Monadic Second-Order Logic on Inductive Structures. | Tobias Ganzow, Lukasz Kaiser |
| 2010 | Inductive-Inductive Definitions. | Fredrik Nordvall Forsberg, Anton Setzer |
| 2010 | Second-Order Equational Logic (Extended Abstract). | Marcelo P. Fiore, Chung-Kil Hur |
| 2010 | Coordination Logic. | Bernd Finkbeiner, Sven Schewe |