| 2012 | A Coalgebraic Perspective on Minimization and Determinization. Jirí Adámek, Filippo Bonchi, Mathias Hülsbusch, Barbara König, Stefan Milius, Alexandra Silva |
| 2012 | Applicative Bisimulations for Delimited-Control Operators. Dariusz Biernacki, Sergueï Lenglet |
| 2012 | Bicategories of Concurrent Games - (Invited Paper). Glynn Winskel |
| 2012 | Branching-Time Model Checking of Parametric One-Counter Automata. Stefan Göller, Christoph Haase, Joël Ouaknine, James Worrell |
| 2012 | Brookes Is Relaxed, Almost! Radha Jagadeesan, Gustavo Petri, James Riely |
| 2012 | Combining Interactive and Automatic Reasoning in First Order Theories of Functional Programs. Ana Bove, Peter Dybjer, Andrés Sicard-Ramírez |
| 2012 | Concurrent Games with Ordered Objectives. Patricia Bouyer, Romain Brenguier, Nicolas Markey, Michael Ummels |
| 2012 | Deriving Bisimulation Congruences for Conditional Reactive Systems. Mathias Hülsbusch, Barbara König |
| 2012 | Effective Characterizations of Simple Fragments of Temporal Logic Using Prophetic Automata. Sebastian Preugschat, Thomas Wilke |
| 2012 | Event Structure Semantics of Parallel Extrusion in the Pi-Calculus. Silvia Crafa, Daniele Varacca, Nobuko Yoshida |
| 2012 | Extending ${\cal H}_1$ -Clauses with Path Disequalities. Helmut Seidl, Andreas Reuß |
| 2012 | Fibrational Induction Meets Effects. Robert Atkey, Neil Ghani, Bart Jacobs, Patricia Johann |
| 2012 | First-Order Model Checking on Nested Pushdown Trees is Complete for Doubly Exponential Alternating Time. Alexander Kartzow |
| 2012 | Foundations of Software Science and Computational Structures - 15th International Conference, FOSSACS 2012, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2012, Tallinn, Estonia, March 24 - April 1, 2012. Proceedings Lars Birkedal |
| 2012 | Full Abstraction for Set-Based Models of the Symmetric Interaction Combinators. Damiano Mazza, Neil J. Ross |
| 2012 | Functions as Session-Typed Processes. Bernardo Toninho, Luís Caires, Frank Pfenning |
| 2012 | Improved Ramsey-Based Büchi Complementation. Stefan Breuers, Christof Löding, Jörg Olschewski |
| 2012 | Is It a "Good" Encoding of Mixed Choice? Kirstin Peters, Uwe Nestmann |
| 2012 | Model Checking Languages of Data Words. Benedikt Bollig, Aiswarya Cyriac, Paul Gastin, K. Narayan Kumar |
| 2012 | Narcissists Are Easy, Stepmothers Are Hard. Daniel Gorín, Lutz Schröder |
| 2012 | On Distributability of Petri Nets - (Extended Abstract). Rob J. van Glabbeek, Ursula Goltz, Jens-Wolfhard Schicke-Uffmann |
| 2012 | On Nominal Regular Languages with Binders. Alexander Kurz, Tomoyuki Suzuki, Emilio Tuosto |
| 2012 | On the Complexity of Computing Probabilistic Bisimilarity. Di Chen, Franck van Breugel, James Worrell |
| 2012 | On the Complexity of the Equivalence Problem for Probabilistic Automata. Stefan Kiefer, Andrzej S. Murawski, Joël Ouaknine, Björn Wachter, James Worrell |
| 2012 | Probabilistic Transition System Specification: Congruence and Full Abstraction of Bisimulation. Pedro R. D'Argenio, Matias David Lee |
| 2012 | Querying UML Class Diagrams. Andrea Calì, Georg Gottlob, Giorgio Orsi, Andreas Pieris |
| 2012 | Revisiting Trace and Testing Equivalences for Nondeterministic and Probabilistic Processes. Marco Bernardo, Rocco De Nicola, Michele Loreti |
| 2012 | Robustness of Structurally Equivalent Concurrent Parity Games. Krishnendu Chatterjee |
| 2012 | Subgame Perfection for Equilibria in Quantitative Reachability Games. Thomas Brihaye, Véronique Bruyère, Julie De Pril, Hugo Gimbert |
| 2012 | Synthesizing Probabilistic Composers. Sumit Nain, Moshe Y. Vardi |
| 2012 | Well-Pointed Coalgebras (Extended Abstract). Jirí Adámek, Stefan Milius, Lawrence S. Moss, Lurdes Sousa |
| 2012 | When Is a Container a Comonad? Danel Ahman, James Chapman, Tarmo Uustalu |