| 2011 | A Decidable Two-Way Logic on Data Words. Diego Figueira |
| 2011 | A Tetrachotomy for Positive First-Order Logic without Equality. Florent R. Madelaine, Barnaby Martin |
| 2011 | A Type System for Complexity Flow Analysis. Jean-Yves Marion |
| 2011 | A Why-on-Earth Tutorial on Finite Model Theory. Albert Atserias |
| 2011 | Ackermannian and Primitive-Recursive Bounds with Dickson's Lemma. Diego Figueira, Santiago Figueira, Sylvain Schmitz, Philippe Schnoebelen |
| 2011 | Automata with Group Actions. Mikolaj Bojanczyk, Bartek Klin, Slawomir Lasota |
| 2011 | CoQMTU: A Higher-Order Type Theory with a Predicative Hierarchy of Universes Parametrized by a Decidable First-Order Theory. Bruno Barras, Jean-Pierre Jouannaud, Pierre-Yves Strub, Qian Wang |
| 2011 | Complexity of Two-Variable Dependence Logic and IF-Logic. Juha Kontinen, Antti Kuusisto, Peter Lohmann, Jonni Virtema |
| 2011 | Computational Complexity of Quantum Satisfiability. Christian Herrmann, Martin Ziegler |
| 2011 | Computing Optimal Coverability Costs in Priced Timed Petri Nets. Parosh Aziz Abdulla, Richard Mayr |
| 2011 | Concurrent Strategies. Silvain Rideau, Glynn Winskel |
| 2011 | Continuous Random Variables. Jean Goubault-Larrecq, Daniele Varacca |
| 2011 | Decidability of Definability. Manuel Bodirsky, Michael Pinsker, Todor Tsankov |
| 2011 | First Steps in Synthetic Guarded Domain Theory: Step-Indexing in the Topos of Trees. Lars Birkedal, Rasmus Ejlers Møgelberg, Jan Schwinghammer, Kristian Støvring |
| 2011 | Forcing as a Program Transformation. Alexandre Miquel |
| 2011 | Formalizing Randomized Matching Algorithms. Dai Tri Man Le, Stephen A. Cook |
| 2011 | Game Semantics for Good General References. Andrzej S. Murawski, Nikos Tzevelekos |
| 2011 | Higher-Order Model Checking: From Theory to Practice. Naoki Kobayashi |
| 2011 | Imperative Programs as Proofs via Game Semantics. Martin Churchill, James Laird, Guy McCusker |
| 2011 | Isomorphisms of Types in the Presence of Higher-Order References. Pierre Clairambault |
| 2011 | Languages of Dot-Depth One over Infinite Words. Manfred Kufleitner, Alexander Lauser |
| 2011 | Linear Dependent Types and Relative Completeness. Ugo Dal Lago, Marco Gaboardi |
| 2011 | Listings and Logics. Yijia Chen, Jörg Flum |
| 2011 | Logic in Software, Dynamical and Biological Systems. Ashish Tiwari |
| 2011 | Noncomputable Conditional Distributions. Nathanael L. Ackerman, Cameron E. Freer, Daniel M. Roy |
| 2011 | Powermonads and Tensors of Unranked Effects. Sergey Goncharov, Lutz Schröder |
| 2011 | Proceedings of the 26th Annual IEEE Symposium on Logic in Computer Science, LICS 2011, June 21-24, 2011, Toronto, Ontario, Canada |
| 2011 | Proof Nets for Additive Linear Logic with Units. Willem Heijltjes |
| 2011 | Propositional Proof Complexity: A Survey on the State of the Art, Including Some Recent Results. Toniann Pitassi |
| 2011 | Qualitative Tree Languages. Arnaud Carayol, Axel Haddad, Olivier Serre |
| 2011 | Regular Repair of Specifications. Michael Benedikt, Gabriele Puppis, Cristian Riveros |
| 2011 | Rigorous Approximated Determinization of Weighted Automata. Benjamin Aminof, Orna Kupferman, Robby Lampert |
| 2011 | Semantics of Higher-Order Quantum Computation via Geometry of Interaction. Ichiro Hasuo, Naohiko Hoshino |
| 2011 | Separation Logic in the Presence of Garbage Collection. Chung-Kil Hur, Derek Dreyer, Viktor Vafeiadis |
| 2011 | Temporal Specifications with Accumulative Values. Udi Boker, Krishnendu Chatterjee, Thomas A. Henzinger, Orna Kupferman |
| 2011 | The Complexity of Evaluating First-Order Sentences over a Fixed Structure. Andrei A. Krokhin |
| 2011 | The Complexity of Verifying Ground Tree Rewrite Systems. Stefan Göller, Anthony Widjaja Lin |
| 2011 | The Computational Meaning of Probabilistic Coherence Spaces. Thomas Ehrhard, Michele Pagani, Christine Tasson |
| 2011 | The Dichotomy for Conservative Constraint Satisfaction Problems Revisited. Libor Barto |
| 2011 | The Meaning of Semantics. Prakash Panangaden |
| 2011 | The Ultimate Undecidability Result for the Halpern-Shoham Logic. Jerzy Marcinkowski, Jakub Michaliszyn |
| 2011 | Two Views on Multiple Mean-Payoff Objectives in Markov Decision Processes. Tomás Brázdil, Václav Brozek, Krishnendu Chatterjee, Vojtech Forejt, Antonín Kucera |
| 2011 | Ultrametric Semantics of Reactive Programs. Neelakantan R. Krishnaswami, Nick Benton |
| 2011 | What's Decidable about Halpern and Shoham's Interval Logic? The Maximal Fragment ABBL. Davide Bresolin, Angelo Montanari, Pietro Sala, Guido Sciavicco |