| 2013 | 28th Annual ACM/IEEE Symposium on Logic in Computer Science, LICS 2013, New Orleans, LA, USA, June 25-28, 2013 |
| 2013 | A Categorical Treatment of Ornaments. Pierre-Évariste Dagand, Conor McBride |
| 2013 | A Characterization Theorem for the Alternation-Free Fragment of the Modal µ-Calculus. Alessandro Facchini, Yde Venema, Fabio Zanasi |
| 2013 | A Compositional Semantics for the Reversible p-Calculus. Ioana Cristescu, Jean Krivine, Daniele Varacca |
| 2013 | A Relatively Complete Generic Hoare Logic for Order-Enriched Effects. Sergey Goncharov, Lutz Schröder |
| 2013 | Abstract Machines for Game Semantics, Revisited. Olle Fredriksson, Dan R. Ghica |
| 2013 | Adding an Equivalence Relation to the Interval Logic ABB: Complexity and Expressiveness. Angelo Montanari, Pietro Sala |
| 2013 | An Optimal Gaifman Normal Form Construction for Structures of Bounded Degree. Lucas Heimberg, Dietrich Kuske, Nicole Schweikardt |
| 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 | Bisimilarity of Pushdown Automata is Nonelementary. Michael Benedikt, Stefan Göller, Stefan Kiefer, Andrzej S. Murawski |
| 2013 | Calculating the Fundamental Group of the Circle in Homotopy Type Theory. Daniel R. Licata, Michael Shulman |
| 2013 | Compressing Polarized Boxes. Beniamino Accattoli |
| 2013 | Converging to the Chase - A Tool for Finite Controllability. Tomasz Gogacz, Jerzy Marcinkowski |
| 2013 | Decidability of Weak Simulation on One-Counter Nets. Piotr Hofman, Richard Mayr, Patrick Totzke |
| 2013 | Duality in Logic and Computation. Prakash Panangaden |
| 2013 | Dynamic Logic of Propositional Assignments: A Well-Behaved Variant of PDL. Philippe Balbiani, Andreas Herzig, Nicolas Troquard |
| 2013 | Expressive Completeness for Metric Temporal Logic. Paul Hunter, Joël Ouaknine, James Worrell |
| 2013 | Fibred Data Types. Neil Ghani, Lorenzo Malatesta, Fredrik Nordvall Forsberg, Anton Setzer |
| 2013 | Forcing MSO on Infinite Words in Weak MSO. Colin Riba |
| 2013 | From Frame Properties to Hypersequent Rules in Modal Logics. Ori Lahav |
| 2013 | From Monadic Second-Order Definable String Transformations to Transducers. Rajeev Alur, Antoine Durand-Gasselin, Ashutosh Trivedi |
| 2013 | From Qualitative to Quantitative Proofs of Security Properties Using First-Order Conditional Logic. Joseph Y. Halpern |
| 2013 | From Two-Way to One-Way Finite State Transducers. Emmanuel Filiot, Olivier Gauwin, Pierre-Alain Reynier, Frédéric Servais |
| 2013 | Groupoids, Hypergraphs, and Symmetries in Finite Models. Martin Otto |
| 2013 | Instances of Computational Effects: An Algebraic Perspective. Sam Staton |
| 2013 | Intensional Type Theory with Guarded Recursive Types qua Fixed Points on Universes. Lars Birkedal, Rasmus Ejlers Møgelberg |
| 2013 | Kripke Semantics for Modal Bilattice Logic. Achim Jung, Umberto Rivieccio |
| 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 |
| 2013 | Maximum Matching and Linear Programming in Fixed-Point Logic with Counting. Matthew Anderson, Anuj Dawar, Bjarki Holm |
| 2013 | Measurable Spaces and Their Effect Logic. Bart Jacobs |
| 2013 | Model Checking for Successor-Invariant First-Order Logic on Minor-Closed Graph Classes. Kord Eickmeyer, Ken-ichi Kawarabayashi, Stephan Kreutzer |
| 2013 | Model-Checking Parse Trees. Anudhyan Boral, Sylvain Schmitz |
| 2013 | Multiversal Polymorphic Algebraic Theories: Syntax, Semantics, Translations, and Equational Logic. Marcelo P. Fiore, Makoto Hamana |
| 2013 | Name-Passing Calculi: From Fusions to Preorders and Types. Daniel Hirschkoff, Jean-Marie Madiot, Davide Sangiorgi |
| 2013 | On the Boundary of Behavioral Strategies. Fabio Mogavero, Aniello Murano, Luigi Sauro |
| 2013 | On the Context-Freeness Problem for Vector Addition Systems. Jérôme Leroux, Vincent Penelle, Grégoire Sutre |
| 2013 | On the Query Complexity of Real Functionals. Hugo Férée, Mathieu Hoyrup, Walid Gomaa |
| 2013 | One-Path Reachability Logic. Grigore Rosu, Andrei Stefanescu, Stefan Ciobaca, Brandon M. Moore |
| 2013 | Presburger Vector Addition Systems. Jérôme Leroux |
| 2013 | Pumping by Typing. Naoki Kobayashi |
| 2013 | Quantitative Monadic Second-Order Logic. Stephan Kreutzer, Cristian Riveros |
| 2013 | Quantitative Reasoning for Proving Lock-Freedom. Jan Hoffmann, Michael Marmar, Zhong Shao |
| 2013 | Rabin-Mostowski Index Problem: A Step beyond Deterministic Automata. Alessandro Facchini, Filip Murlak, Michal Skrzypczak |
| 2013 | Reasoning about Data Repetitions with Counter Systems. Stéphane Demri, Diego Figueira, M. Praveen |
| 2013 | Regular Functions and Cost Register Automata. Rajeev Alur, Loris D'Antoni, Jyotirmoy V. Deshmukh, Mukund Raghothaman, Yifei Yuan |
| 2013 | Regular Real Analysis. Swarat Chaudhuri, Sriram Sankaranarayanan, Moshe Y. Vardi |
| 2013 | Solving Partial-Information Stochastic Parity Games. Sumit Nain, Moshe Y. Vardi |
| 2013 | Stone Duality for Markov Processes. Dexter Kozen, Kim G. Larsen, Radu Mardare, Prakash Panangaden |
| 2013 | Substructure Temporal Logic. Massimo Benerecetti, Fabio Mogavero, Aniello Murano |
| 2013 | The Complexity of Model Checking Multi-stack Systems. Benedikt Bollig, Dietrich Kuske, Roy Mennicke |
| 2013 | The Cost of Usage in the Lambda-Calculus. Andrea Asperti, Jean-Jacques Lévy |
| 2013 | The Logic of Exact Covers: Completeness and Uniform Interpolation. Dirk Pattinson |
| 2013 | Timed and Probabilistic I/O Automata. Nancy A. Lynch |
| 2013 | Topological Structure of Quantum Algorithms. Jamie Vicary |
| 2013 | Trading Performance for Stability in Markov Decision Processes. Tomás Brázdil, Krishnendu Chatterjee, Vojtech Forejt, Antonín Kucera |
| 2013 | Turing Machines with Atoms. Mikolaj Bojanczyk, Bartek Klin, Slawomir Lasota, Szymon Torunczyk |
| 2013 | Two-Variable Logic with Counting and Trees. Witold Charatonik, Piotr Witkowski |
| 2013 | Type-Based Productivity of Stream Definitions in the Calculus of Constructions. Jorge luis Sacchini |
| 2013 | Unifying Classical and Intuitionistic Logics for Computational Control. Chuck C. Liang, Dale Miller |
| 2013 | Weighted Relational Models of Typed Lambda-Calculi. Jim Laird, Giulio Manzonetto, Guy McCusker, Michele Pagani |
| 2013 | Why is it Hard to Obtain a Dichotomy for Consistent Query Answering? Gaëlle Fontaine |