| 2013 | Frontmatter, Table of Contents, Preface, Conference Organization. | |
| 2013 | Semantics of Intensional Type Theory extended with Decidable Equational Theories. | Qian Wang, Bruno Barras |
| 2013 | Means and Limits of Decision (Invited Talk). | Lidia Tendera |
| 2013 | A New Type Assignment for Strongly Normalizable Terms. | Rick Statman |
| 2013 | The Complexity of Abduction for Equality Constraint Languages. | Johannes Schmidt, Michal Wrona |
| 2013 | Extracting Herbrand trees in classical realizability using forcing. | Lionel Rieg |
| 2013 | From determinism, non-determinism and alternation to recursion schemes for P, NP and Pspace (Invited Talk). | Isabel Oitavem |
| 2013 | A Fully Abstract Game Semantics for Parallelism with Non-Blocking Synchronization on Shared Variables. | Susumu Nishimura |
| 2013 | Elementary Modal Logics over Transitive Structures. | Jakub Michaliszyn, Jan Otop |
| 2013 | On dialogue games and coherent strategies. | Paul-Andr Mellis |
| 2013 | Axiomatizing Subtyped Delimited Continuations. | Marek Materzok |
| 2013 | Categorical Duality Theory: With Applications to Domains, Convexity, and the Distribution Monad. | Yoshihiro Maruyama |
| 2013 | Two-Variable Logic on 2-Dimensional Structures. | Amaldev Manuel, Thomas Zeume |
| 2013 | Global semantic typing for inductive and coinductive computing. | Daniel Leivant |
| 2013 | Modal Logic and Distributed Message Passing Automata. | Antti Kuusisto |
| 2013 | Internalizing Relational Parametricity in the Extensional Calculus of Constructions. | Neelakantan R. Krishnaswami, Derek Dreyer |
| 2013 | Kleene Algebra with Products and Iteration Theories. | Dexter Kozen, Konstantinos Mamouras |
| 2013 | Proving Strong Normalisation via Non-deterministic Translations into Klop's Extended lambda-Calculus. | Kentaro Kikuchi |
| 2013 | When is Metric Temporal Logic Expressively Complete?. | Paul Hunter |
| 2013 | On the locality of arb-invariant first-order logic with modulo counting quantifiers. | Frederik Harwath, Nicole Schweikardt |
| 2013 | One-variable first-order linear temporal logics with counting. | Christopher Hampson, Agi Kurucz |
| 2013 | The Fixed-Parameter Tractability of Model Checking Concurrent Systems. | Stefan Gller |
| 2013 | Three lightings of logic (Invited Talk). | Jean-Yves Girard |
| 2013 | The Structure of Interaction. | Stphane Gimenez, Georg Moser |
| 2013 | Innocent Game Semantics via Intersection Type Assignment Systems. | Pietro Di Gianantonio, Marina Lenisa |