| 2017 | Unifying Guarded and Unguarded Iteration. | Sergey Goncharov, Lutz Schrder, Christoph Rauch, Maciej Pirg |
| 2016 | Quantifier Alternation for Infinite Words. | Tho Pierron, Thomas Place, Marc Zeitoun |
| 2016 | Strong Normalizability as a Finiteness Structure via the Taylor Expansion of \lambda λ -terms. | Michele Pagani, Christine Tasson, Lionel Vaux |
| 2016 | A New Foundation for Finitary Corecursion - The Locally Finite Fixpoint and Its Properties. | Stefan Milius, Dirk Pattinson, Thorsten Wimann |
| 2016 | Order-Sorted Rewriting and Congruence Closure. | Jos Meseguer |
| 2016 | Contextual Approximation and Higher-Order Procedures. | Ranko Lazic, Andrzej S. Murawski |
| 2016 | Game Semantics for Bounded Polymorphism. | James Laird |
| 2016 | Metric Temporal Logic with Counting. | Shankara Narayanan Krishna, Khushraj Madnani, Paritosh K. Pandya |
| 2016 | Reasoning About Call-by-need by Means of Types. | Delia Kesner |
| 2016 | Coverability Trees for Petri Nets with Unordered Data. | Piotr Hofman, Slawomir Lasota, Ranko Lazic, Jrme Leroux, Sylvain Schmitz, Patrick Totzke |
| 2016 | Distributed Synthesis in Continuous Time. | Holger Hermanns, Jan Krcl, Steen Vester |
| 2016 | Fixed-Point Elimination in the Intuitionistic Propositional Calculus. | Silvio Ghilardi, Maria Joo Gouveia, Luigi Santocanale |
| 2016 | Comprehensive Parametric Polymorphism: Categorical Models and Type Theory. | Neil Ghani, Fredrik Nordvall Forsberg, Alex Simpson |
| 2016 | Towards a Formal Theory of Graded Monads. | Soichiro Fujii, Shin-ya Katsumata, Paul-Andr Mellis |
| 2016 | A Theory of Monitors - (Extended Abstract). | Adrian Francalanza |
| 2016 | Verification of Parameterized Communicating Automata via Split-Width. | Marie Fortin, Paul Gastin |
| 2016 | Trace Refinement in Labelled Markov Decision Processes. | Nathanal Fijalkow, Stefan Kiefer, Mahsa Shirmohammadi |
| 2016 | Regular Transformations of Data Words Through Origin Information. | Antoine Durand-Gasselin, Peter Habermehl |
| 2016 | The Invariance Problem for Matrix Semigroups. | Klaus Drger |
| 2016 | On Freeze LTL with Ordered Attributes. | Normann Decker, Daniel Thoma |
| 2016 | Synchronizing Automata over Nested Words. | Dmitry Chistikov, Pavel Martyugin, Mahsa Shirmohammadi |
| 2016 | Shortest Paths in One-Counter Systems. | Dmitry Chistikov, Wojciech Czerwinski, Piotr Hofman, Michal Pilipczuk, Michael Wehar |
| 2016 | Profinite Monads, Profinite Equations, and Reiterman's Theorem. | Liang-Ting Chen, Jir Admek, Stefan Milius, Henning Urbat |
| 2016 | Focused and Synthetic Nested Sequents. | Kaustuv Chaudhuri, Sonia Marin, Lutz Straburger |
| 2016 | A Coalgebraic View of Bar Recursion and Bar Induction. | Venanzio Capretta, Tarmo Uustalu |