| 2013 | A Fully Abstract Game Semantics for Parallelism with Non-Blocking Synchronization on Shared Variables. Susumu Nishimura |
| 2013 | A New Type Assignment for Strongly Normalizable Terms. Rick Statman |
| 2013 | A characterization of the Taylor expansion of lambda-terms. Pierre Boudes, Fanny He, Michele Pagani |
| 2013 | Annotation-Free Sequent Calculi for Full Intuitionistic Linear Logic. Ranald Clouston, Jeremy E. Dawson, Rajeev Goré, Alwen Tiu |
| 2013 | Axiomatizing Subtyped Delimited Continuations. Marek Materzok |
| 2013 | Bounds for the quantifier depth in finite-variable logics: Alternation hierarchy. Christoph Berkholz, Andreas Krebs, Oleg Verbitsky |
| 2013 | Categorical Duality Theory: With Applications to Domains, Convexity, and the Distribution Monad. Yoshihiro Maruyama |
| 2013 | Computer Science Logic 2013, CSL 2013, Torino, Italy, September 2-5, 2013 Simona Ronchi Della Rocca |
| 2013 | Cuts for circular proofs: semantics and cut-elimination. Jérôme Fortier, Luigi Santocanale |
| 2013 | Deciding the weak definability of Büchi definable tree languages. Thomas Colcombet, Denis Kuperberg, Christof Löding, Michael Vanden Boom |
| 2013 | Descriptive complexity of approximate counting CSPs. Andrei A. Bulatov, Víctor Dalmau, Marc Thurley |
| 2013 | Elementary Modal Logics over Transitive Structures. Jakub Michaliszyn, Jan Otop |
| 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 | Frontmatter, Table of Contents, Preface, Conference Organization. |
| 2013 | Global semantic typing for inductive and coinductive computing. Daniel Leivant |
| 2013 | Hierarchies in independence logic. Pietro Galliani, Miika Hannula, Juha Kontinen |
| 2013 | Inclusion Logic and Fixed Point Logic. Pietro Galliani, Lauri Hella |
| 2013 | Infinite-state games with finitary conditions. Krishnendu Chatterjee, Nathanaël Fijalkow |
| 2013 | Innocent Game Semantics via Intersection Type Assignment Systems. Pietro Di Gianantonio, Marina Lenisa |
| 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 | Means and Limits of Decision (Invited Talk). Lidia Tendera |
| 2013 | Modal Logic and Distributed Message Passing Automata. Antti Kuusisto |
| 2013 | On closure ordinals for the modal mu-calculus. Bahareh Afshari, Graham E. Leigh |
| 2013 | On dialogue games and coherent strategies. Paul-André Melliès |
| 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 | Proving Strong Normalisation via Non-deterministic Translations into Klop's Extended lambda-Calculus. Kentaro Kikuchi |
| 2013 | Realizability and Strong Normalization for a Curry-Howard Interpretation of HA + EM1. Federico Aschieri, Stefano Berardi, Giovanni Birolo |
| 2013 | Res Publica: The Universal Model of Computation (Invited Talk). Nachum Dershowitz |
| 2013 | Saturation-Based Model Checking of Higher-Order Recursion Schemes. Christopher H. Broadbent, Naoki Kobayashi |
| 2013 | Semantics of Intensional Type Theory extended with Decidable Equational Theories. Qian Wang, Bruno Barras |
| 2013 | Team building in dependence. Julian C. Bradfield |
| 2013 | The Ackermann Award 2013. Anuj Dawar, Thomas A. Henzinger, Damian Niwinski |
| 2013 | The Complexity of Abduction for Equality Constraint Languages. Johannes Schmidt, Michal Wrona |
| 2013 | The Fixed-Parameter Tractability of Model Checking Concurrent Systems. Stefan Göller |
| 2013 | The Structure of Interaction. Stéphane Gimenez, Georg Moser |
| 2013 | Theories for Subexponential-size Bounded-depth Frege Proofs. Kaveh Ghasemloo, Stephen A. Cook |
| 2013 | Three lightings of logic (Invited Talk). Jean-Yves Girard |
| 2013 | Two-Variable Logic on 2-Dimensional Structures. Amaldev Manuel, Thomas Zeume |
| 2013 | Unambiguity and uniformization problems on infinite trees. Marcin Bilkowski, Michal Skrzypczak |
| 2013 | What is Decidable about Partially Observable Markov Decision Processes with omega-Regular Objectives. Krishnendu Chatterjee, Martin Chmelik, Mathieu Tracol |
| 2013 | When is Metric Temporal Logic Expressively Complete?. Paul Hunter |