| 2008 | A First-Order Representation of Pure Type Systems Using Superdeduction. Guillaume Burel |
| 2008 | A Logic for Algebraic Effects. Gordon D. Plotkin, Matija Pretnar |
| 2008 | A Logical Characterization of Individual-Based Models. James F. Lynch |
| 2008 | A Neutral Approach to Proof and Refutation in MALL. Olivier Delande, Dale Miller |
| 2008 | Almost-Sure Model Checking of Infinite Paths in One-Clock Timed Automata. Christel Baier, Nathalie Bertrand, Patricia Bouyer, Thomas Brihaye, Marcus Größer |
| 2008 | An Algebraic Process Calculus. Emmanuel Beffara |
| 2008 | Caterpillar Duality for Constraint Satisfaction Problems. Catarina Carvalho, Víctor Dalmau, Andrei A. Krokhin |
| 2008 | Collapsible Pushdown Automata and Recursion Schemes. Matthew Hague, Andrzej S. Murawski, C.-H. Luke Ong, Olivier Serre |
| 2008 | Combining Generic Judgments with Recursive Definitions. Andrew Gacek, Dale Miller, Gopalan Nadathur |
| 2008 | Context Matching for Compressed Terms. Adrià Gascón, Guillem Godoy, Manfred Schmidt-Schauß |
| 2008 | Correctness of Multiplicative Additive Proof Structures is NL-Complete. Paulin Jacobé de Naurois, Virgile Mogbil |
| 2008 | Cut Elimination for Monomial MALL Proof Nets. Olivier Laurent, Roberto Maieli |
| 2008 | Definable Tree Decompositions. Martin Grohe |
| 2008 | Focusing on Binding and Computation. Daniel R. Licata, Noam Zeilberger, Robert Harper |
| 2008 | From Automatic Structures to Borel Structures. Greg Hjorth, Bakhadyr Khoussainov, Antonio Montalbán, André Nies |
| 2008 | From Axioms to Analytic Rules in Nonclassical Logics. Agata Ciabattoni, Nikolaos Galatos, Kazushige Terui |
| 2008 | General Structural Operational Semantics through Categorical Logic. Sam Staton |
| 2008 | Hiding Local State in Direct Style: A Higher-Order Anti-Frame Rule. François Pottier |
| 2008 | Hypergraph Acyclicity and Extension Preservation Theorems. David Duris |
| 2008 | Maltsev + Datalog --> Symmetric Datalog. Víctor Dalmau, Benoît Larose |
| 2008 | Mechanizing the Metatheory of LF. Christian Urban, James Cheney, Stefan Berghofer |
| 2008 | Nonlocal Flow of Control and Kleene Algebra with Tests. Dexter Kozen |
| 2008 | On the Asymptotic Nullstellensatz and Polynomial Calculus Proof Complexity. Søren Riis |
| 2008 | On the Axiomatizability of Impossible Futures: Preorder versus Equivalence. Taolue Chen, Wan J. Fokkink |
| 2008 | On the Computational Complexity of Cut-Reduction. Klaus Aehlig, Arnold Beckmann |
| 2008 | On the Expressiveness and Complexity of Randomization in Finite State Monitors. Rohit Chadha, A. Prasad Sistla, Mahesh Viswanathan |
| 2008 | On the Expressiveness and Decidability of Higher-Order Process Calculi. Ivan Lanese, Jorge A. Pérez, Davide Sangiorgi, Alan Schmitt |
| 2008 | Parameterization as Abstraction: A Tractable Approach to the Dataflow Analysis of Concurrent Programs. Vineet Kahlon |
| 2008 | Piecewise Testable Tree Languages. Mikolaj Bojanczyk, Luc Segoufin, Howard Straubing |
| 2008 | Proceedings of the Twenty-Third Annual IEEE Symposium on Logic in Computer Science, LICS 2008, 24-27 June 2008, Pittsburgh, PA, USA |
| 2008 | Quantified Constraints and Containment Problems. Hubie Chen, Florent R. Madelaine, Barnaby Martin |
| 2008 | Reachability Games and Game Semantics: Comparing Nondeterministic Programs. Andrzej S. Murawski |
| 2008 | Second-Order and Dependently-Sorted Abstract Syntax. Marcelo P. Fiore |
| 2008 | Structural Logical Relations. Carsten Schürmann, Jeffrey Sarnat |
| 2008 | The Axiomatic Derivation of Absolute Lower Bounds. Yiannis N. Moschovakis |
| 2008 | The Geometry of Interaction of Differential Interaction Nets. Marc de Falco |
| 2008 | The Ordinal Recursive Complexity of Lossy Channel Systems. Pierre Chambart, Philippe Schnoebelen |
| 2008 | The Quest for a Logic Capturing PTIME. Martin Grohe |
| 2008 | The Satisfiability Problem for Probabilistic CTL. Tomás Brázdil, Vojtech Forejt, Jan Kretínský, Antonín Kucera |
| 2008 | Typed Normal Form Bisimulation for Parametric Polymorphism. Søren B. Lassen, Paul Blain Levy |
| 2008 | Types for Hereditary Permutators. Makoto Tatsuta |
| 2008 | Weak Topology and a Differentiable Operator for Lipschitz Maps. Abbas Edalat |
| 2008 | Winning Regions of Higher-Order Pushdown Games. Arnaud Carayol, Matthew Hague, Antoine Meyer, C.-H. Luke Ong, Olivier Serre |