| 2013 | Theories for Subexponential-size Bounded-depth Frege Proofs. | Kaveh Ghasemloo, Stephen A. Cook |
| 2013 | Hierarchies in independence logic. | Pietro Galliani, Miika Hannula, Juha Kontinen |
| 2013 | Inclusion Logic and Fixed Point Logic. | Pietro Galliani, Lauri Hella |
| 2013 | Cuts for circular proofs: semantics and cut-elimination. | Jrme Fortier, Luigi Santocanale |
| 2013 | Res Publica: The Universal Model of Computation (Invited Talk). | Nachum Dershowitz |
| 2013 | The Ackermann Award 2013. | Anuj Dawar, Thomas A. Henzinger, Damian Niwinski |
| 2013 | Deciding the weak definability of Bchi definable tree languages. | Thomas Colcombet, Denis Kuperberg, Christof Lding, Michael Vanden Boom |
| 2013 | Annotation-Free Sequent Calculi for Full Intuitionistic Linear Logic. | Ranald Clouston, Jeremy E. Dawson, Rajeev Gor, Alwen Tiu |
| 2013 | Infinite-state games with finitary conditions. | Krishnendu Chatterjee, Nathanal Fijalkow |
| 2013 | What is Decidable about Partially Observable Markov Decision Processes with omega-Regular Objectives. | Krishnendu Chatterjee, Martin Chmelik, Mathieu Tracol |
| 2013 | Descriptive complexity of approximate counting CSPs. | Andrei A. Bulatov, Vctor Dalmau, Marc Thurley |
| 2013 | Saturation-Based Model Checking of Higher-Order Recursion Schemes. | Christopher H. Broadbent, Naoki Kobayashi |
| 2013 | Team building in dependence. | Julian C. Bradfield |
| 2013 | A characterization of the Taylor expansion of lambda-terms. | Pierre Boudes, Fanny He, Michele Pagani |
| 2013 | Unambiguity and uniformization problems on infinite trees. | Marcin Bilkowski, Michal Skrzypczak |
| 2013 | Bounds for the quantifier depth in finite-variable logics: Alternation hierarchy. | Christoph Berkholz, Andreas Krebs, Oleg Verbitsky |
| 2013 | Realizability and Strong Normalization for a Curry-Howard Interpretation of HA + EM1. | Federico Aschieri, Stefano Berardi, Giovanni Birolo |
| 2013 | On closure ordinals for the modal mu-calculus. | Bahareh Afshari, Graham E. Leigh |
| 2012 | Commutative Data Automata. | Zhilin Wu |
| 2012 | A Proof of Kamp's theorem. | Alexander Rabinovich |
| 2012 | Variants of Collapsible Pushdown Systems. | Pawel Parys |
| 2012 | Definability and Complexity of Graph Parameters (Invited Talk). | Johann A. Makowsky |
| 2012 | Satisfiability: where Theory meets Practice (Invited Talk). | Ins Lynce |
| 2012 | Towards CERes in intuitionistic logic. | Alexander Leitsch, Giselle Reis, Bruno Woltzenlogel Paleo |
| 2012 | Undecidable First-Order Theories of Affine Geometries. | Antti Kuusisto, Jeremy Meyers, Jonni Virtema |