| 2017 | A Lambda-Free Higher-Order Recursive Path Order. Jasmin Christian Blanchette, Uwe Waldmann, Daniel Wand |
| 2017 | A Light Modality for Recursion. Paula Severi |
| 2017 | A Truly Concurrent Game Model of the Asynchronous \pi -Calculus. Ken Sakayori, Takeshi Tsukada |
| 2017 | Algebra, Coalgebra, and Minimization in Polynomial Differential Equations. Michele Boreale |
| 2017 | Almost Every Simply Typed λ-Term Has a Long β-Reduction Sequence. Ryoma Sin'ya, Kazuyuki Asada, Naoki Kobayashi, Takeshi Tsukada |
| 2017 | Automated Constructivization of Proofs. Frédéric Gilbert |
| 2017 | Bounding Average-Energy Games. Patricia Bouyer, Piotr Hofman, Nicolas Markey, Mickael Randour, Martin Zimmermann |
| 2017 | Classical System of Martin-Löf's Inductive Definitions Is Not Equivalent to Cyclic Proof System. Stefano Berardi, Makoto Tatsuta |
| 2017 | Coherence Spaces and Uniform Continuity. Kei Matsumoto |
| 2017 | Companions, Codensity and Causality. Damien Pous, Jurriaan Rot |
| 2017 | Computing Continuous-Time Markov Chains as Transformers of Unbounded Observables. Vincent Danos, Tobias Heindel, Ilias Garnier, Jakob Grue Simonsen |
| 2017 | Cyclic Arithmetic Is Equivalent to Peano Arithmetic. Alex Simpson |
| 2017 | Degree of Sequentiality of Weighted Automata. Laure Daviaud, Ismaël Jecker, Pierre-Alain Reynier, Didier Villevalois |
| 2017 | Dynamic Complexity of the Dyck Reachability. Patricia Bouyer, Vincent Jugé |
| 2017 | Emptiness Under Isolation and the Value Problem for Hierarchical Probabilistic Automata. Rohit Chadha, A. Prasad Sistla, Mahesh Viswanathan |
| 2017 | Equational Theories of Abnormal Termination Based on Kleene Algebra. Konstantinos Mamouras |
| 2017 | Foundations of Software Science and Computation Structures - 20th International Conference, FOSSACS 2017, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2017, Uppsala, Sweden, April 22-29, 2017, Proceedings Javier Esparza, Andrzej S. Murawski |
| 2017 | From Qualitative to Quantitative Semantics - By Change of Base. James Laird |
| 2017 | Local Model Checking in a Logic for True Concurrency. Paolo Baldan, Tommaso Padoan |
| 2017 | Logics of Repeating Values on Data Trees and Branching Counter Systems. Sergio Abriola, Diego Figueira, Santiago Figueira |
| 2017 | Nominal Automata with Name Binding. Lutz Schröder, Dexter Kozen, Stefan Milius, Thorsten Wißmann |
| 2017 | On Higher-Order Probabilistic Subrecursion. Flavien Breuvart, Ugo Dal Lago, Agathe Herrou |
| 2017 | On the Existence of Weak Subgame Perfect Equilibria. Véronique Bruyère, Stéphane Le Roux, Arno Pauly, Jean-François Raskin |
| 2017 | On the Relationship Between Bisimulation and Trace Equivalence in an Approximate Probabilistic Context. Gaoang Bian, Alessandro Abate |
| 2017 | On the Semantics of Intensionality. G. A. Kavvos |
| 2017 | On the Undecidability of Asynchronous Session Subtyping. Julien Lange, Nobuko Yoshida |
| 2017 | Optimal Reachability in Divergent Weighted Timed Games. Damien Busatto-Gaston, Benjamin Monmege, Pierre-Alain Reynier |
| 2017 | Partial Derivatives for Context-Free Languages - From \mu -Regular Expressions to Pushdown Automata. Peter Thiemann |
| 2017 | Partiality, Revisited - The Partiality Monad as a Quotient Inductive-Inductive Type. Thorsten Altenkirch, Nils Anders Danielsson, Nicolai Kraus |
| 2017 | Pointless Learning. Florence Clerc, Vincent Danos, Fredrik Dahlqvist, Ilias Garnier |
| 2017 | The Free Exponential Modality of Probabilistic Coherence Spaces. Raphaëlle Crubillé, Thomas Ehrhard, Michele Pagani, Christine Tasson |
| 2017 | The Paths to Choreography Extraction. Luís Cruz-Filipe, Kim S. Larsen, Fabrizio Montesi |
| 2017 | Unifying Guarded and Unguarded Iteration. Sergey Goncharov, Lutz Schröder, Christoph Rauch, Maciej Piróg |