| 2016 | A Coalgebraic View of Bar Recursion and Bar Induction. Venanzio Capretta, Tarmo Uustalu |
| 2016 | A New Foundation for Finitary Corecursion - The Locally Finite Fixpoint and Its Properties. Stefan Milius, Dirk Pattinson, Thorsten Wißmann |
| 2016 | A Theory of Monitors - (Extended Abstract). Adrian Francalanza |
| 2016 | A Theory of Slicing for Probabilistic Control Flow Graphs. Torben Amtoft, Anindya Banerjee |
| 2016 | Comprehensive Parametric Polymorphism: Categorical Models and Type Theory. Neil Ghani, Fredrik Nordvall Forsberg, Alex Simpson |
| 2016 | Contextual Approximation and Higher-Order Procedures. Ranko Lazic, Andrzej S. Murawski |
| 2016 | Coverability Trees for Petri Nets with Unordered Data. Piotr Hofman, Slawomir Lasota, Ranko Lazic, Jérôme Leroux, Sylvain Schmitz, Patrick Totzke |
| 2016 | Dependent Types and Fibred Computational Effects. Danel Ahman, Neil Ghani, Gordon D. Plotkin |
| 2016 | Distributed Synthesis in Continuous Time. Holger Hermanns, Jan Krcál, Steen Vester |
| 2016 | Fixed-Point Elimination in the Intuitionistic Propositional Calculus. Silvio Ghilardi, Maria João Gouveia, Luigi Santocanale |
| 2016 | Focused and Synthetic Nested Sequents. Kaustuv Chaudhuri, Sonia Marin, Lutz Straßburger |
| 2016 | Foundations of Software Science and Computation Structures - 19th International Conference, FOSSACS 2016, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2016, Eindhoven, The Netherlands, April 2-8, 2016, Proceedings Bart Jacobs, Christof Löding |
| 2016 | Game Semantics for Bounded Polymorphism. James Laird |
| 2016 | Guarded Dependent Type Theory with Coinductive Types. Ales Bizjak, Hans Bugge Grathwohl, Ranald Clouston, Rasmus Ejlers Møgelberg, Lars Birkedal |
| 2016 | Join Inverse Categories as Models of Reversible Recursion. Holger Bock Axelsen, Robin Kaarsgaard |
| 2016 | Metric Temporal Logic with Counting. Shankara Narayanan Krishna, Khushraj Madnani, Paritosh K. Pandya |
| 2016 | On Freeze LTL with Ordered Attributes. Normann Decker, Daniel Thoma |
| 2016 | Order-Sorted Rewriting and Congruence Closure. José Meseguer |
| 2016 | Profinite Monads, Profinite Equations, and Reiterman's Theorem. Liang-Ting Chen, Jirí Adámek, Stefan Milius, Henning Urbat |
| 2016 | Qualitative Analysis of VASS-Induced MDPs. Parosh Aziz Abdulla, Radu Ciobanu, Richard Mayr, Arnaud Sangnier, Jeremy Sproston |
| 2016 | Quantifier Alternation for Infinite Words. Théo Pierron, Thomas Place, Marc Zeitoun |
| 2016 | Reasoning About Call-by-need by Means of Types. Delia Kesner |
| 2016 | Regular Transformations of Data Words Through Origin Information. Antoine Durand-Gasselin, Peter Habermehl |
| 2016 | Robust Equilibria in Mean-Payoff Games. Romain Brenguier |
| 2016 | Shortest Paths in One-Counter Systems. Dmitry Chistikov, Wojciech Czerwinski, Piotr Hofman, Michal Pilipczuk, Michael Wehar |
| 2016 | Strong Normalizability as a Finiteness Structure via the Taylor Expansion of \lambda λ -terms. Michele Pagani, Christine Tasson, Lionel Vaux |
| 2016 | Synchronizing Automata over Nested Words. Dmitry Chistikov, Pavel Martyugin, Mahsa Shirmohammadi |
| 2016 | The Invariance Problem for Matrix Semigroups. Klaus Dräger |
| 2016 | Towards a Formal Theory of Graded Monads. Soichiro Fujii, Shin-ya Katsumata, Paul-André Melliès |
| 2016 | Trace Refinement in Labelled Markov Decision Processes. Nathanaël Fijalkow, Stefan Kiefer, Mahsa Shirmohammadi |
| 2016 | Unary Resolution: Characterizing Ptime. Clément Aubert, Marc Bagnol, Thomas Seiller |
| 2016 | Verification of Parameterized Communicating Automata via Split-Width. Marie Fortin, Paul Gastin |