| 2010 | A Calculus of Contracting Processes. Massimo Bartoletti, Roberto Zunino |
| 2010 | A Finiteness Structure on Resource Terms. Thomas Ehrhard |
| 2010 | A Generic Operational Metatheory for Algebraic Effects. Patricia Johann, Alex Simpson, Janis Voigtländer |
| 2010 | A Sound and Complete Calculus for Finite Stream Circuits. Stefan Milius |
| 2010 | Abstracting the Differential Semantics of Rule-Based Models: Exact and Automated Model Reduction. Vincent Danos, Jérôme Feret, Walter Fontana, Russell Harmer, Jean Krivine |
| 2010 | Addition-Invariant FO and Regularity. Nicole Schweikardt, Luc Segoufin |
| 2010 | Alternating Timed Automata over Bounded Time. Mark Jenkins, Joël Ouaknine, Alexander Rabinovich, James Worrell |
| 2010 | Amir Pnueli: A Gentle Giant, Lord of the Phi's and the Psi's. David Harel |
| 2010 | An Extension of Data Automata that Captures XPath. Mikolaj Bojanczyk, Slawomir Lasota |
| 2010 | An Intuitionistic Logic that Proves Markov's Principle. Hugo Herbelin |
| 2010 | Breaking Paths in Atomic Flows for Classical Logic. Alessio Guglielmi, Tom Gundersen, Lutz Straßburger |
| 2010 | Capturing Polynomial Time on Interval Graphs. Bastian Laubner |
| 2010 | Coalgebras, Chu Spaces, and Representations of Physical Systems. Samson Abramsky |
| 2010 | Datalog+/-: A Family of Logical Knowledge Representation and Query Languages for New Applications. Andrea Calì, Georg Gottlob, Thomas Lukasiewicz, Bruno Marnette, Andreas Pieris |
| 2010 | Deciding Definability in FO Thomas Place, Luc Segoufin |
| 2010 | Equality Is Typable in Semi-full Pure Type Systems. Vincent Siles, Hugo Herbelin |
| 2010 | Fixed-Point Definability and Polynomial Time on Graphs with Excluded Minors. Martin Grohe |
| 2010 | Game Semantics for a Polymorphic Programming Language. James Laird |
| 2010 | Highly Acyclic Groups, Hypergraph Covers and the Guarded Fragment. Martin Otto |
| 2010 | Infinitary Completeness in Ludics. Michele Basaldella, Kazushige Terui |
| 2010 | Lower Bounds for the Complexity of Monadic Second-Order Logic. Stephan Kreutzer, Siamak Tazari |
| 2010 | Modular Construction of Fixed Point Combinators and Clocked Bohm Trees. Jörg Endrullis, Dimitri Hendriks, Jan Willem Klop |
| 2010 | New Conditions for Taylor Varieties and CSP. Libor Barto, Marcin Kozik |
| 2010 | On Probabilistic Automata in Continuous Time. Christian Eisentraut, Holger Hermanns, Lijun Zhang |
| 2010 | On Strong Maximality of Paraconsistent Finite-Valued Logics. Arnon Avron, Ofer Arieli, Anna Zamansky |
| 2010 | On the Expressivity of Symmetry in Event Structures. Sam Staton, Glynn Winskel |
| 2010 | On the Scope of the Universal-Algebraic Approach to Constraint Satisfaction. Manuel Bodirsky, Martin Hils, Barnaby Martin |
| 2010 | On the Strictness of the First-Order Quantifier Structure Hierarchy over Finite Structures. Yuguo He |
| 2010 | Parikh Images of Grammars: Complexity and Applications. Eryk Kopczynski, Anthony Widjaja To |
| 2010 | Polarity and the Logic of Delimited Continuations. Noam Zeilberger |
| 2010 | Probabilistic Information Flow. Mário S. Alvim, Miguel E. Andrés, Catuscia Palamidessi |
| 2010 | Proceedings of the 25th Annual IEEE Symposium on Logic in Computer Science, LICS 2010, 11-14 July 2010, Edinburgh, United Kingdom |
| 2010 | Querying the Guarded Fragment. Vince Bárány, Georg Gottlob, Martin Otto |
| 2010 | Recursion Schemes and Logical Reflection. Christopher H. Broadbent, Arnaud Carayol, C.-H. Luke Ong, Olivier Serre |
| 2010 | Regular Cost Functions over Finite Trees. Thomas Colcombet, Christof Löding |
| 2010 | Robin Milner, a Craftsman of Tools for the Mind. Gordon D. Plotkin |
| 2010 | Segal Condition Meets Computational Effects. Paul-André Melliès |
| 2010 | Strong Normalization for System F by HOAS on Top of FOAS. Andrei Popescu, Elsa L. Gunter, Christopher J. Osborn |
| 2010 | The Emptiness Problem for Tree Automata with Global Constraints. Luis Barguñó, Carles Creus, Guillem Godoy, Florent Jacquemard, Camille Vacher |
| 2010 | The Expressive Power of Synchronizations. Cosimo Laneve, Antonio Vitale |
| 2010 | The Fine Print of Security. Martín Abadi |
| 2010 | The Isomorphism Problem on Classes of Automatic Structures. Dietrich Kuske, Jiamou Liu, Markus Lohrey |
| 2010 | The Undecidability of Boolean BI through Phase Semantics. Dominique Larchey-Wendling, Didier Galmiche |
| 2010 | Theorem Proving for Verification: The Early Days. J Strother Moore |
| 2010 | Undecidability of Propositional Separation Logic and Its Neighbours. James Brotherston, Max I. Kanovich |
| 2010 | Weak Equivalences in Psi-Calculi. Magnus Johansson, Jesper Bengtson, Joachim Parrow, Björn Victor |
| 2010 | omega-QRB-Domains and the Probabilistic Powerdomain. Jean Goubault-Larrecq |