Table of Contents

• Local Validity for Circular Proofs in Linear Logic with Fixed PointsRémi Nollet, Alexis Saurin, Christine Tasson. [doi]
• Non-Wellfounded Proof Theory For (Kleene+Action)(Algebras+Lattices)Anupam Das 0002, Damien Pous. [doi]
• A Decidable Fragment of Second Order Logic With Applications to SynthesisP. Madhusudan, Umang Mathur, Shambwaditya Saha, Mahesh Viswanathan 0001. [doi]
• Beyond Polarity: Towards a Multi-Discipline Intermediate Language with SharingPaul Downen, Zena M. Ariola. [doi]
• Safety, Absoluteness, and ComputabilityArnon Avron, Shahar Lev, Nissan Levi. [doi]
• Symmetric Circuits for Rank LogicAnuj Dawar, Gregory Wilsenach. [doi]
• Expressivity Within Second-Order Transitive-Closure LogicFlavio Ferrarotti, Jan Van den Bussche, Jonni Virtema. [doi]
• A Contextual Reconstruction of Monadic ReflectionToru Kawata. [doi]
• Canonical Models and the Complexity of Modal Team LogicMartin Lück. [doi]
• Combining Linear Logic and Size Types for Implicit ComplexityPatrick Baillot, Alexis Ghyselen. [doi]
• Uniform Inductive Reasoning in Transitive Closure Logic via Infinite DescentLiron Cohen 0001, Reuben N. S. Rowe. [doi]
• The Ackermann Award 2018Dexter Kozen, Thomas Schwentick. [doi]
• Fully Abstract Models of the Probabilistic lambda-calculusPierre Clairambault, Hugo Paquet. [doi]
• Synthesizing Optimally Resilient ControllersDaniel Neider, Alexander Weinert, Martin Zimmermann 0002. [doi]
• Graphical Conjunctive QueriesFilippo Bonchi, Jens Seeber, Pawel Sobocinski. [doi]
• MacNeille Completion and Buchholz' Omega Rule for Parameter-Free Second Order LogicsKazushige Terui. [doi]
• An Algebraic Decision Procedure for Two-Variable Logic with a Between RelationAndreas Krebs, Kamal Lodaya, Paritosh K. Pandya, Howard Straubing. [doi]
• A Recursion-Theoretic Characterisation of the Positive Polynomial-Time FunctionsAnupam Das 0002, Isabel Oitavem. [doi]
• Front Matter, Table of Contents, Preface, Conference Organization [doi]
• Finite Bisimulations for Dynamical Systems with Overlapping TrajectoriesBéatrice Bérard, Patricia Bouyer, Vincent Jugé. [doi]
• Quantifying Bounds in Strategy LogicNathanaël Fijalkow, Bastien Maubert, Aniello Murano, Sasha Rubin. [doi]
• Quantitative Foundations for Resource TheoriesDan Marsden, Maaike Zwart. [doi]
• Approximating Probabilistic Automata by Regular LanguagesRohit Chadha, A. Prasad Sistla, Mahesh Viswanathan 0001. [doi]
• Relating Structure and Power: Comonadic Semantics for Computational ResourcesSamson Abramsky, Nihil Shah. [doi]
• Beyond Admissibility: Dominance Between Chains of StrategiesNicolas Basset, Ismaël Jecker, Arno Pauly, Jean-François Raskin, Marie van den Bogaard. [doi]
• On Compositionality of Dinatural TransformationsGuy McCusker, Alessio Santamaria. [doi]
• A Fully Abstract Game Semantics for Countable NondeterminismWilliam John Gowers, James David Laird. [doi]
• High-Level Signatures and Initial SemanticsBenedikt Ahrens, André Hirschowitz, Ambroise Lafont, Marco Maggesi. [doi]
• The True Concurrency of Herbrand's TheoremAurore Alcolei, Pierre Clairambault, Martin Hyland, Glynn Winskel. [doi]
• Submodular Functions and Valued Constraint Satisfaction Problems over Infinite DomainsManuel Bodirsky, Marcello Mamino, Caterina Viola. [doi]
• Basic Operational Preorders for Algebraic Effects in General, and for Combined Probability and Nondeterminism in ParticularAliaume Lopez, Alex Simpson. [doi]
• Climbing up the Elementary Complexity Classes with Theories of Automatic StructuresFaried Abu Zaid, Dietrich Kuske, Peter Lindner. [doi]
• Rule Algebras for Adhesive CategoriesNicolas Behr, Pawel Sobocinski. [doi]
• Parity Games with WeightsSven Schewe, Alexander Weinert, Martin Zimmermann 0002. [doi]
• Dependency Concepts up to EquivalenceErich Grädel, Matthias Hoelzel. [doi]
• Definable Inapproximability: New Challenges for DuplicatorAlbert Atserias, Anuj Dawar. [doi]
• An Application of Parallel Cut Elimination in Unit-Free Multiplicative Linear Logic to the Taylor Expansion of Proof NetsJules Chouquet, Lionel Vaux Auclair. [doi]
• Cartesian Cubical Computational Type Theory: Constructive Reasoning with Paths and EqualitiesCarlo Angiuli, Kuen-Bang Hou (Favonia), Robert Harper. [doi]