| 2010 | On the Expressivity of Symmetry in Event Structures. | Sam Staton, Glynn Winskel |
| 2010 | Equality Is Typable in Semi-full Pure Type Systems. | Vincent Siles, Hugo Herbelin |
| 2010 | Tableau-Like Automata-Based Axiomatization for Propositional Linear Temporal Logic. | Nikolay V. Shilov |
| 2010 | Addition-Invariant FO and Regularity. | Nicole Schweikardt, Luc Segoufin |
| 2010 | QWeS2T for Type-Safe Web Programming. | Thierry Sans, Iliano Cervesato |
| 2010 | Modal Location-Resource-Process Logic for Access Control. | David J. Pym |
| 2010 | A Multi-Modal Dependent Type Theory for Representing Data Accessibility in a Network. | Giuseppe Primiero |
| 2010 | Strong Normalization for System F by HOAS on Top of FOAS. | Andrei Popescu, Elsa L. Gunter, Christopher J. Osborn |
| 2010 | Robin Milner, a Craftsman of Tools for the Mind. | Gordon D. Plotkin |
| 2010 | Deciding Definability in FO | Thomas Place, Luc Segoufin |
| 2010 | Possession as Linear Knowledge. | Frank Pfenning |
| 2010 | Towards a Cut-free Sequent Calculus for Boolean BI. | Sungwoo Park, Jonghyun Park |
| 2010 | Towards a Logic for Reasoning About Learning in a Changing World. | Prakash Panangaden, Mehrnoosh Sadrzadeh |
| 2010 | Highly Acyclic Groups, Hypergraph Covers and the Guarded Fragment. | Martin Otto |
| 2010 | An Operational Semantics for Network Datalog. | Vivek Nigam, Limin Jia, Anduo Wang, Boon Thau Loo, Andre Scedrov |
| 2010 | Theorem Proving for Verification: The Early Days. | J Strother Moore |
| 2010 | A Proof System for Reasoning about Probabilistic Concurrent Processes. | Matteo Mio |
| 2010 | A Sound and Complete Calculus for Finite Stream Circuits. | Stefan Milius |
| 2010 | Towards a Simply Typed CALculus for Semantic Knowledge Bases. | Michael Mendler, Stephan Scheele |
| 2010 | Segal Condition Meets Computational Effects. | Paul-Andr Mellis |
| 2010 | Capturing Polynomial Time on Interval Graphs. | Bastian Laubner |
| 2010 | The Undecidability of Boolean BI through Phase Semantics. | Dominique Larchey-Wendling, Didier Galmiche |
| 2010 | The Expressive Power of Synchronizations. | Cosimo Laneve, Antonio Vitale |
| 2010 | Game Semantics for a Polymorphic Programming Language. | James Laird |
| 2010 | The Isomorphism Problem on Classes of Automatic Structures. | Dietrich Kuske, Jiamou Liu, Markus Lohrey |