| 2017 | Companions, Codensity and Causality. | Damien Pous, Jurriaan Rot |
| 2017 | Coherence Spaces and Uniform Continuity. | Kei Matsumoto |
| 2017 | Equational Theories of Abnormal Termination Based on Kleene Algebra. | Konstantinos Mamouras |
| 2017 | On the Undecidability of Asynchronous Session Subtyping. | Julien Lange, Nobuko Yoshida |
| 2017 | From Qualitative to Quantitative Semantics - By Change of Base. | James Laird |
| 2017 | On the Semantics of Intensionality. | G. A. Kavvos |
| 2017 | Automated Constructivization of Proofs. | Frdric Gilbert |
| 2017 | Degree of Sequentiality of Weighted Automata. | Laure Daviaud, Ismal Jecker, Pierre-Alain Reynier, Didier Villevalois |
| 2017 | Computing Continuous-Time Markov Chains as Transformers of Unbounded Observables. | Vincent Danos, Tobias Heindel, Ilias Garnier, Jakob Grue Simonsen |
| 2017 | The Paths to Choreography Extraction. | Lus Cruz-Filipe, Kim S. Larsen, Fabrizio Montesi |
| 2017 | The Free Exponential Modality of Probabilistic Coherence Spaces. | Raphalle Crubill, Thomas Ehrhard, Michele Pagani, Christine Tasson |
| 2017 | Pointless Learning. | Florence Clerc, Vincent Danos, Fredrik Dahlqvist, Ilias Garnier |
| 2017 | Emptiness Under Isolation and the Value Problem for Hierarchical Probabilistic Automata. | Rohit Chadha, A. Prasad Sistla, Mahesh Viswanathan |
| 2017 | Optimal Reachability in Divergent Weighted Timed Games. | Damien Busatto-Gaston, Benjamin Monmege, Pierre-Alain Reynier |
| 2017 | On the Existence of Weak Subgame Perfect Equilibria. | Vronique Bruyre, Stphane Le Roux, Arno Pauly, Jean-Franois Raskin |
| 2017 | On Higher-Order Probabilistic Subrecursion. | Flavien Breuvart, Ugo Dal Lago, Agathe Herrou |
| 2017 | Dynamic Complexity of the Dyck Reachability. | Patricia Bouyer, Vincent Jug |
| 2017 | Bounding Average-Energy Games. | Patricia Bouyer, Piotr Hofman, Nicolas Markey, Mickael Randour, Martin Zimmermann |
| 2017 | Algebra, Coalgebra, and Minimization in Polynomial Differential Equations. | Michele Boreale |
| 2017 | A Lambda-Free Higher-Order Recursive Path Order. | Jasmin Christian Blanchette, Uwe Waldmann, Daniel Wand |
| 2017 | On the Relationship Between Bisimulation and Trace Equivalence in an Approximate Probabilistic Context. | Gaoang Bian, Alessandro Abate |
| 2017 | Classical System of Martin-Lf's Inductive Definitions Is Not Equivalent to Cyclic Proof System. | Stefano Berardi, Makoto Tatsuta |
| 2017 | Local Model Checking in a Logic for True Concurrency. | Paolo Baldan, Tommaso Padoan |
| 2017 | Partiality, Revisited - The Partiality Monad as a Quotient Inductive-Inductive Type. | Thorsten Altenkirch, Nils Anders Danielsson, Nicolai Kraus |
| 2017 | Logics of Repeating Values on Data Trees and Branching Counter Systems. | Sergio Abriola, Diego Figueira, Santiago Figueira |