| 2005 | 20th IEEE Symposium on Logic in Computer Science (LICS 2005), 26-29 June 2005, Chicago, IL, USA, Proceedings |
| 2005 | A Functional Quantum Programming Language. Thorsten Altenkirch, Jonathan Grattage |
| 2005 | A Polynomial Time Presburger Criterion and Synthesis for Number Decision Diagrams. Jérôme Leroux |
| 2005 | Additional Reviewers. |
| 2005 | An Insider's Guide to Logic in Telecommunications Data. Michael Benedikt |
| 2005 | An Observationally Complete Program Logic for Imperative Higher-Order Frame Rules. Kohei Honda, Nobuko Yoshida, Martin Berger |
| 2005 | Asynchronous Games 4: A Fully Complete Model of Propositional Linear Logic. Paul-André Melliès |
| 2005 | Automated Verification of Selected Equivalences for Security Protocols. Bruno Blanchet, Martín Abadi, Cédric Fournet |
| 2005 | Certifying Compilation for a Language with Stack Allocation. Limin Jia, Frances Spalding, David Walker, Neal Glew |
| 2005 | Closure Properties of Coalgebra Automata. Clemens Kupke, Yde Venema |
| 2005 | Completions of µ-algebras. Luigi Santocanale |
| 2005 | Conference Organization. |
| 2005 | Constructing Free Boolean Categories. François Lamarche, Lutz Straßburger |
| 2005 | Cover Pages. |
| 2005 | Definability on a Random 3-CNF Formula. Albert Atserias |
| 2005 | Eager Normal Form Bisimulation. Søren B. Lassen |
| 2005 | Existential Positive Types and Preservation under Homomorphisisms. Benjamin Rossman |
| 2005 | Expressiveness of a Spatial Logic for Trees. Iovka Boneva, Jean-Marc Talbot, Sophie Tison |
| 2005 | Foreword. Prakash Panangaden |
| 2005 | Front Cover. |
| 2005 | Generalized Majority-Minority Operations are Tractable. Víctor Dalmau |
| 2005 | Generalizing Parametricity Using Information-flow. Geoffrey Washburn, Stephanie Weirich |
| 2005 | Herbrand Constraint Abduction. Michael J. Maher |
| 2005 | Inverse and Implicit Functions in Domain Theory. Abbas Edalat, Dirk Pattinson |
| 2005 | Logic and Systems Biology. Walter Fontana |
| 2005 | Looping Caterpillars. Evan Goris, Maarten Marx |
| 2005 | Ludics Nets, a game Model of Concurrent Interaction. Claudia Faggian, François Maurel |
| 2005 | Mean-Payoff Parity Games. Krishnendu Chatterjee, Thomas A. Henzinger, Marcin Jurdzinski |
| 2005 | Modal Characterisation Theorems over Special Classes of Frames. Anuj Dawar, Martin Otto |
| 2005 | Model Checking Vs. Generalized Model Checking: Semantic Minimizations for Temporal Logics. Patrice Godefroid, Michael Huth |
| 2005 | Model-Checking Hierarchical Structures. Markus Lohrey |
| 2005 | Name Generation and Linearity. Glynn Winskel |
| 2005 | On Digraph Coloring Problems and Treewidth Duality. Albert Atserias |
| 2005 | On Locality and Uniform Reduction. Hannu Niemistö |
| 2005 | On the Decidability of Metric Temporal Logic. Joël Ouaknine, James Worrell |
| 2005 | Operational Domain Theory and Topology of a Sequential Programming Language. Martín Hötzel Escardó, Weng Kin Ho |
| 2005 | Process Algebras for Quantitative Analysis. Jane Hillston |
| 2005 | Program Committee. |
| 2005 | Proof Theory for Kleene Algebra. Chris Hardin |
| 2005 | Proof-Theoretic Approach to Description-Logic. Martin Hofmann |
| 2005 | Quantitative Analysis of Probabilistic Pushdown Automata: Expectations and Variances. Javier Esparza, Antonín Kucera, Richard Mayr |
| 2005 | Reactive Systems over Cospans. Vladimiro Sassone, Pawel Sobocinski |
| 2005 | Recognizing omega-regular Languages with Probabilistic Automata. Christel Baier, Marcus Größer |
| 2005 | Recursive Polymorphic Types and Parametricity in an Operational Framework. Paul-André Melliès, Jerome Vouillon |
| 2005 | Regular Expressions in Process Algebra. Jos C. M. Baeten, Flavio Corradini |
| 2005 | Relational Parametricity and Control. Masahito Hasegawa |
| 2005 | Relations in Concurrency. Glynn Winskel |
| 2005 | Semantic Subtyping for the p-Calculus. Giuseppe Castagna, Rocco De Nicola, Daniele Varacca |
| 2005 | Semantics of Separation-Logic Typing and Higher-Order Frame Rules. Lars Birkedal, Noah Torp-Smith, Hongseok Yang |
| 2005 | Separation with Streams in the lambdaµ-calculus. Alexis Saurin |
| 2005 | Small Substructures and Decidability Issues for First-Order Logic with Two Variables. Emanuel Kieronski, Martin Otto |
| 2005 | Tarski's Influence on Computer Science. Solomon Feferman |
| 2005 | Temporal Logics over Unranked Trees. Pablo Barceló, Leonid Libkin |
| 2005 | The Geometry of Linear Higher-Order Recursion. Ugo Dal Lago |
| 2005 | Uniform Distributed Synthesis. Bernd Finkbeiner, Sven Schewe |
| 2005 | Verifying Infinite Markov Chains with a Finite Attractor or the Global Coarseness Property. Parosh Aziz Abdulla, Noomene Ben Henda, Richard Mayr |