| 2013 | Measurable Spaces and Their Effect Logic. | Bart Jacobs |
| 2013 | Expressive Completeness for Metric Temporal Logic. | Paul Hunter, Jol Ouaknine, James Worrell |
| 2013 | Decidability of Weak Simulation on One-Counter Nets. | Piotr Hofman, Richard Mayr, Patrick Totzke |
| 2013 | Quantitative Reasoning for Proving Lock-Freedom. | Jan Hoffmann, Michael Marmar, Zhong Shao |
| 2013 | Name-Passing Calculi: From Fusions to Preorders and Types. | Daniel Hirschkoff, Jean-Marie Madiot, Davide Sangiorgi |
| 2013 | An Optimal Gaifman Normal Form Construction for Structures of Bounded Degree. | Lucas Heimberg, Dietrich Kuske, Nicole Schweikardt |
| 2013 | From Qualitative to Quantitative Proofs of Security Properties Using First-Order Conditional Logic. | Joseph Y. Halpern |
| 2013 | Arbitrary Action Model Logic and Action Model Synthesis. | James Hales |
| 2013 | Atomic Lambda Calculus: A Typed Lambda-Calculus with Explicit Sharing. | Tom Gundersen, Willem Heijltjes, Michel Parigot |
| 2013 | A Relatively Complete Generic Hoare Logic for Order-Enriched Effects. | Sergey Goncharov, Lutz Schrder |
| 2013 | Converging to the Chase - A Tool for Finite Controllability. | Tomasz Gogacz, Jerzy Marcinkowski |
| 2013 | Fibred Data Types. | Neil Ghani, Lorenzo Malatesta, Fredrik Nordvall Forsberg, Anton Setzer |
| 2013 | Abstract Machines for Game Semantics, Revisited. | Olle Fredriksson, Dan R. Ghica |
| 2013 | Why is it Hard to Obtain a Dichotomy for Consistent Query Answering? | Galle Fontaine |
| 2013 | Multiversal Polymorphic Algebraic Theories: Syntax, Semantics, Translations, and Equational Logic. | Marcelo P. Fiore, Makoto Hamana |
| 2013 | From Two-Way to One-Way Finite State Transducers. | Emmanuel Filiot, Olivier Gauwin, Pierre-Alain Reynier, Frdric Servais |
| 2013 | On the Query Complexity of Real Functionals. | Hugo Fre, Mathieu Hoyrup, Walid Gomaa |
| 2013 | A Characterization Theorem for the Alternation-Free Fragment of the Modal -Calculus. | Alessandro Facchini, Yde Venema, Fabio Zanasi |
| 2013 | Rabin-Mostowski Index Problem: A Step beyond Deterministic Automata. | Alessandro Facchini, Filip Murlak, Michal Skrzypczak |
| 2013 | Model Checking for Successor-Invariant First-Order Logic on Minor-Closed Graph Classes. | Kord Eickmeyer, Ken-ichi Kawarabayashi, Stephan Kreutzer |
| 2013 | Reasoning about Data Repetitions with Counter Systems. | Stphane Demri, Diego Figueira, M. Praveen |
| 2013 | A Categorical Treatment of Ornaments. | Pierre-variste Dagand, Conor McBride |
| 2013 | A Compositional Semantics for the Reversible p-Calculus. | Ioana Cristescu, Jean Krivine, Daniele Varacca |
| 2013 | LICS: Logic in Computer Security - Some Attacker's Models and Related Decision Problems. | Hubert Comon-Lundh |
| 2013 | Magnitude Monadic Logic over Words and the Use of Relative Internal Set Theory. | Thomas Colcombet |