| 2012 | Equivalence Constraint Satisfaction Problems. | Manuel Bodirsky, Michal Wrona |
| 2012 | A Concurrent Logical Relation. | Lars Birkedal, Filip Sieczkowski, Jacob Thamsborg |
| 2012 | Bounded Satisfiability for PCTL. | Nathalie Bertrand, John Fearnley, Sven Schewe |
| 2012 | Knowledge Spaces and the Completeness of Learning Strategies. | Stefano Berardi, Ugo de'Liguoro |
| 2012 | Higher-Order Interpretations and Program Complexity. | Patrick Baillot, Ugo Dal Lago |
| 2012 | Relational Parametricity for Higher Kinds. | Robert Atkey |
| 2012 | Interactive Realizability for Classical Peano Arithmetic with Skolem Axioms. | Federico Aschieri |
| 2012 | A Syntactical Approach to Weak omega-Groupoids. | Thorsten Altenkirch, Ondrej Rypacek |
| 2012 | Sharing Distributed Knowledge on the Web (Invited Talk). | Serge Abiteboul |
| 2011 | Frontmatter, Table of Contents, Preface, Conference Organization. | |
| 2011 | Ontology-Based Data Access and Constraint Satisfaction. | Frank Wolter |
| 2011 | Branching vs. Linear Time: Semantical Perspective. | Moshe Y. Vardi |
| 2011 | Non-Commutative Infinitary Peano Arithmetic. | Makoto Tatsuta, Stefano Berardi |
| 2011 | Algebraic Characterization of the Alternation Hierarchy in FO | Howard Straubing |
| 2011 | Step-Indexed Relational Reasoning for Countable Nondeterminism. | Jan Schwinghammer, Lars Birkedal |
| 2011 | A Category Theoretic View of Nondeterministic Recursive Program Schemes. | Daniel Schwencke |
| 2011 | The Exact Hardness of Deciding Derivational and Runtime Complexity. | Andreas Schnabl, Jakob Grue Simonsen |
| 2011 | Relative Completeness for Logics of Functional Programs. | Bernhard Reus, Thomas Streicher |
| 2011 | Axiomatizing the Quote. | Andrew Polonsky |
| 2011 | The Freedoms of Guarded Bisimulation. | Martin Otto |
| 2011 | Concurrency Semantics for the Geiger-Paz-Pearl Axioms of Independence. | Sara Miner More, Pavel Naumov, Benjamin Sapp |
| 2011 | Model Theory in Computer Science: My Own Recurrent Themes. | Johann A. Makowsky |
| 2011 | Synthesizing Reactive Programs. | Parthasarathy Madhusudan |
| 2011 | Synthesis from Probabilistic Components. | Yoad Lustig, Sumit Nain, Moshe Y. Vardi |
| 2011 | Relating Two Semantics of Locally Scoped Names. | Steffen Lsch, Andrew M. Pitts |