| 2013 | A Language for Differentiable Functions. Pietro Di Gianantonio, Abbas Edalat |
| 2013 | A Proof System for Compositional Verification of Probabilistic Concurrent Processes. Matteo Mio, Alex Simpson |
| 2013 | An Algebraic Presentation of Predicate Logic - (Extended Abstract). Sam Staton |
| 2013 | Bounded Context-Switching and Reentrant Locking. Rémi Bonnet, Rohit Chadha |
| 2013 | Checking Bisimilarity for Attributed Graph Transformation. Fernando Orejas, Artur Boronat, Ulrike Golas, Nikos Mylonakis |
| 2013 | Comodels and Effects in Mathematical Operational Semantics. Faris Abou-Saleh, Dirk Pattinson |
| 2013 | Computing Quantiles in Markov Reward Models. Michael Ummels, Christel Baier |
| 2013 | Cut Elimination in Nested Sequents for Intuitionistic Modal Logics. Lutz Straßburger |
| 2013 | Deciding Definability by Deterministic Regular Expressions. Wojciech Czerwinski, Claire David, Katja Losemann, Wim Martens |
| 2013 | Deconstructing General References via Game Semantics. Andrzej S. Murawski, Nikos Tzevelekos |
| 2013 | Fatal Attractors in Parity Games. Michael Huth, Jim Huan-Pu Kuo, Nir Piterman |
| 2013 | Foundations of Software Science and Computation Structures - 16th International Conference, FOSSACS 2013, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2013, Rome, Italy, March 16-24, 2013. Proceedings Frank Pfenning |
| 2013 | Generalised Name Abstraction for Nominal Sets. Ranald Clouston |
| 2013 | History-Register Automata. Nikos Tzevelekos, Radu Grigore |
| 2013 | Modular Bisimulation Theory for Computations and Values. Martin Churchill, Peter D. Mosses |
| 2013 | On Monadic Parametricity of Second-Order Functionals. Andrej Bauer, Martin Hofmann, Aleksandr Karbyshev |
| 2013 | On Unique Decomposition of Processes in the Applied π-Calculus. Jannik Dreier, Cristian Ene, Pascal Lafourcade, Yassine Lakhnech |
| 2013 | Parameterized Weighted Containment. Guy Avni, Orna Kupferman |
| 2013 | Partiality and Recursion in Higher-Order Logic. Lukasz Czajka |
| 2013 | Pattern Graphs and Rule-Based Models: The Semantics of Kappa. Jonathan Hayman, Tobias Heindel |
| 2013 | Preorders on Monads and Coalgebraic Simulations. Shin-ya Katsumata, Tetsuya Sato |
| 2013 | Pure Pointer Programs and Tree Isomorphism. Martin Hofmann, Ramyaa Ramyaa, Ulrich Schöpp |
| 2013 | Reachability of Communicating Timed Processes. Lorenzo Clemente, Frédéric Herbreteau, Amélie Stainer, Grégoire Sutre |
| 2013 | Separation Logic for Non-local Control Flow and Block Scope Variables. Robbert Krebbers, Freek Wiedijk |
| 2013 | Some Sahlqvist Completeness Results for Coalgebraic Logics. Fredrik Dahlqvist, Dirk Pattinson |
| 2013 | Strategies as Profunctors. Glynn Winskel |
| 2013 | The Parametric Ordinal-Recursive Complexity of Post Embedding Problems. Prateek Karandikar, Sylvain Schmitz |
| 2013 | Type-Based Complexity Analysis for Fork Processes. Emmanuel Hainry, Jean-Yves Marion, Romain Péchoux |
| 2013 | Weighted Specifications over Nested Words. Benedikt Bollig, Paul Gastin, Benjamin Monmege |