| 2013 | The Parametric Ordinal-Recursive Complexity of Post Embedding Problems. | Prateek Karandikar, Sylvain Schmitz |
| 2013 | Fatal Attractors in Parity Games. | Michael Huth, Jim Huan-Pu Kuo, Nir Piterman |
| 2013 | Pure Pointer Programs and Tree Isomorphism. | Martin Hofmann, Ramyaa Ramyaa, Ulrich Schpp |
| 2013 | Pattern Graphs and Rule-Based Models: The Semantics of Kappa. | Jonathan Hayman, Tobias Heindel |
| 2013 | Type-Based Complexity Analysis for Fork Processes. | Emmanuel Hainry, Jean-Yves Marion, Romain Pchoux |
| 2013 | A Language for Differentiable Functions. | Pietro Di Gianantonio, Abbas Edalat |
| 2013 | On Unique Decomposition of Processes in the Applied π-Calculus. | Jannik Dreier, Cristian Ene, Pascal Lafourcade, Yassine Lakhnech |
| 2013 | Some Sahlqvist Completeness Results for Coalgebraic Logics. | Fredrik Dahlqvist, Dirk Pattinson |
| 2013 | Deciding Definability by Deterministic Regular Expressions. | Wojciech Czerwinski, Claire David, Katja Losemann, Wim Martens |
| 2013 | Partiality and Recursion in Higher-Order Logic. | Lukasz Czajka |
| 2013 | Generalised Name Abstraction for Nominal Sets. | Ranald Clouston |
| 2013 | Reachability of Communicating Timed Processes. | Lorenzo Clemente, Frdric Herbreteau, Amlie Stainer, Grgoire Sutre |
| 2013 | Modular Bisimulation Theory for Computations and Values. | Martin Churchill, Peter D. Mosses |
| 2013 | Bounded Context-Switching and Reentrant Locking. | Rmi Bonnet, Rohit Chadha |
| 2013 | Weighted Specifications over Nested Words. | Benedikt Bollig, Paul Gastin, Benjamin Monmege |
| 2013 | On Monadic Parametricity of Second-Order Functionals. | Andrej Bauer, Martin Hofmann, Aleksandr Karbyshev |
| 2013 | Parameterized Weighted Containment. | Guy Avni, Orna Kupferman |
| 2013 | Comodels and Effects in Mathematical Operational Semantics. | Faris Abou-Saleh, Dirk Pattinson |
| 2012 | Bicategories of Concurrent Games - (Invited Paper). | Glynn Winskel |
| 2012 | Functions as Session-Typed Processes. | Bernardo Toninho, Lus Caires, Frank Pfenning |
| 2012 | Extending ${\cal H}_1$ -Clauses with Path Disequalities. | Helmut Seidl, Andreas Reu |
| 2012 | Effective Characterizations of Simple Fragments of Temporal Logic Using Prophetic Automata. | Sebastian Preugschat, Thomas Wilke |
| 2012 | Is It a "Good" Encoding of Mixed Choice? | Kirstin Peters, Uwe Nestmann |
| 2012 | Synthesizing Probabilistic Composers. | Sumit Nain, Moshe Y. Vardi |
| 2012 | Full Abstraction for Set-Based Models of the Symmetric Interaction Combinators. | Damiano Mazza, Neil J. Ross |