On this page:
Invited Speakers
- Amal Ahmed
Semantic Intermediate Representations for the Working Metatheoretician - Mikolaj Bojanczyk
Transducers of polynomial growth
Invited Papers
- Mikolaj Bojanczyk
Transducers of polynomial growthMore Information...
Presented Papers
Entries are ordered by surname of first author
- Beniamino Accattoli Ugo Dal Lago Gabriele Vanoni
Reasonable Space for the λ-Calculus, LogarithmicallyMore Information... - Beniamino Accattoli
Exponentials as Substitutions and the Cost of Cut Elimination in Linear LogicMore Information... - Nathanael L. Ackerman Julian Asilis Jieqi Di Cameron E. Freer Jean-Baptiste Tristan
Computable PAC Learning of Continuous FeaturesMore Information... - Jirí Adámek
Varieties of Quantitative Algebras and Their MonadsMore Information... - Benedikt Ahrens Paige Randall North Niels van der Weide
Semantics for two-dimensional type theoryMore Information... - C. Aiswarya Soumodev Mal Prakash Saivasan
On the Satisfiability of Context-free String Constraints with Subword-OrderingMore Information... - Melissa Antonelli Ugo Dal Lago Paolo Pistone
Curry and Howard Meet BorelMore Information... - Martin Avanzini Georg Moser Romain Péchoux Simon Perdrix Vladimir Zamdzhiev
Quantum Expectation Transformers for Cost AnalysisMore Information... - David Baelde Amina Doumane Denis Kuperberg Alexis Saurin
Bouncing Threads for Circular and Non-Wellfounded Proofs: Towards Compositionality with Circular ProofsMore Information... - Nikhil Balaji Klara Nosan Mahsa Shirmohammadi James Worrell
Identity Testing for Radical ExpressionsMore Information... - Davide Barbarossa
Resource approximation for the λμ-calculusMore Information... - Corentin Barloy Michaël Cadilhac Charles Paperman Thomas Zeume
The Regular Languages of First-Order Logic with One AlternationMore Information... - Pascal Bergsträßer Moses Ganardi Anthony W. Lin Georg Zetzsche
Ramsey Quantifiers over Automatic Structures: Complexity and Applications to VerificationMore Information... - Raven Beutner David Carral Bernd Finkbeiner Jana Hofmann Markus Krötzsch
Deciding Hyperproperties Combined with Functional SpecificationsMore Information... - Michael Blondin Filip Mazowiecki Philip Offtermatt
The complexity of soundness in workflow netsMore Information... - Valentin Blot
A direct computational interpretation of second-order arithmetic via update recursionMore Information... - Ilario Bonacina Maria Luisa Bonet
On the strength of Sherali-Adams and Nullstellensatz as propositional proof systemsMore Information... - Édouard Bonnet Jan Dreier Jakub Gajarský Stephan Kreutzer Nikolas Mählmann Pierre Simon Szymon Torunczyk
Model Checking on Interpretations of Classes of Bounded Local CliquewidthMore Information... - Dmitry Chistikov Christoph Haase Alessio Mansutti
Geometric decision procedures and the VC dimension of linear arithmetic theoriesMore Information... - Gianluca Curzi Anupam Das
Cyclic Implicit ComplexityMore Information... - Wojciech Czerwinski Engel Lefaucheux Filip Mazowiecki David Purser Markus A. Whiteland
The boundedness and zero isolation problems for weighted automata over nonnegative rationalsMore Information... - Wojciech Czerwinski Lukasz Orlikowski
Lower Bounds for the Reachability Problem in Fixed Dimensional VASSesMore Information... - Francesco Dagnino Fabio Pasquali
Logical Foundations of Quantitative EqualityMore Information... - Luc Dartois Paul Gastin R. Govind Shankara Narayanan Krishna
Efficient Construction of Reversible Transducers from Regular Transducer ExpressionsMore Information... - Anuj Dawar Felipe Ferreira Santos
Separating LREC from LFPMore Information... - Remi Delannoy Kuldeep S. Meel
On Almost-Uniform Generation of SAT Solutions: The power of 3-wise independent hashingMore Information... - Laurent Doyen
Stochastic Games with Synchronizing ObjectivesMore Information... - Jan Dreier Jakub Gajarský Sandra Kiefer Michal Pilipczuk Szymon Torunczyk
Treelike Decompositions for Transductions of Sparse GraphsMore Information... - Diego Figueira Anthony Widjaja Lin
Reasoning on Data Words over Numeric DomainsMore Information... - Eric Finster David Reutter Jamie Vicary Alex Rice
A Type Theory for Strictly Unital ∞-CategoriesMore Information... - Chase Ford Stefan Milius Lutz Schröder Harsh Beohar Barbara König
Graded Monads and Behavioural Equivalence GamesMore Information... - Jakub Gajarský Michal Pilipczuk Szymon Torunczyk
Stable graphs of bounded twin-widthMore Information... - Moses Ganardi Rupak Majumdar Georg Zetzsche
The Complexity of Bidirected Reachability in Valence SystemsMore Information... - Guillaume Geoffroy
A first-order completeness result about characteristic Boolean algebras in classical realizabilityMore Information... - Arka Ghosh Piotr Hofman Slawomir Lasota
Solvability of orbit-finite systems of linear equationsMore Information... - R. Govind Frédéric Herbreteau B. Srivathsan Igor Walukiewicz
Abstractions for the local-time semantics of timed automata: a foundation for partial-order methodsMore Information... - Clemens Armin Grabmayer
Milner's Proof System for Regular Expressions Modulo Bisimilarity is Complete: Crystallization: Near-Collapsing Process Graph Interpretations of Regular ExpressionsMore Information... - Daniel Gratzer
Normalization for Multimodal Type TheoryMore Information... - Erich Grädel Hayyan Helal Matthias Naaf Richard Wilke
Zero-One Laws and Almost Sure Valuations of First-Order Logic in Semiring SemanticsMore Information... - Jens Oliver Gutsfeld Arne Meier Christoph Ohrem Jonni Virtema
Temporal Team Semantics RevisitedMore Information... - Lukas Heidemann David Reutter Jamie Vicary
Zigzag normalisation for associative n-categoriesMore Information... - Pawel M. Idziak Piotr Kawalek Jacek Krzaczkowski
Complexity of Modular CircuitsMore Information... - Bart Jacobs
Partitions and Ewens Distributions in element-free Probability TheoryMore Information... - Edon Kelmendi
Computing the Density of the Positivity Set for Linear Recurrence SequencesMore Information... - Magnus Baunsgaard Kristensen Rasmus Ejlers Møgelberg Andrea Vezzosi
Greatest HITs: Higher inductive types in coinductive definitions via induction under clocksMore Information... - Clemens Kupke Johannes Marti Yde Venema
Size measures and alphabetic equivalence in the μ-calculusMore Information... - Elena Di Lavore Giovanni de Felice Mario Román
Monoidal Streams for Dataflow ProgrammingMore Information... - Guanyan Li Andrzej S. Murawski Luke Ong
Probabilistic Verification Beyond Context-FreenessMore Information... - Moritz Lichter Pascal Schweitzer
Choiceless Polynomial Time with Witnessed Symmetric ChoiceMore Information... - Richard Lipton Florian Luca Joris Nieuwveld Joël Ouaknine David Purser James Worrell
On the Skolem Problem and the Skolem ConjectureMore Information... - Junyi Liu Li Zhou Gilles Barthe Mingsheng Ying
Quantum Weakest Preconditions for Reasoning about Expected Runtimes of Quantum ProgramsMore Information... - Aliaume Lopez
When Locality Meets PreservationMore Information... - Cristina Matache Sean K. Moss Sam Staton
Concrete categories and higher-order recursion: With applications including probability, differentiability, and full abstractionMore Information... - Paul-André Melliès
A Functorial Excursion Between Algebraic Geometry and Linear LogicMore Information... - Matteo Mio Ralph Sarkis Valeria Vignudelli
Beyond Nonexpansive Operations in Quantitative Algebraic ReasoningMore Information... - Yoàv Montacute Nihil Shah
The Pebble-Relation Comonad in Finite Model TheoryMore Information... - Sean K. Moss Paolo Perrone
Probability monads with submonads of deterministic statesMore Information... - Antoine Mottet Michael Pinsker
Smooth approximations and CSPs over finitely bounded homogeneous structuresMore Information... - Anca Muscholl Igor Walukiewicz
Active learning for sound negotiations✱More Information... - Pierre Ohlmann
Characterizing Positionality in Games of Infinite Duration over Infinite GraphsMore Information... - Thomas Place
The amazing mixed polynomial closure and its applications to two-variable first-order logicMore Information... - Kristina Sojakova G. A. Kavvos
Syllepsis in Homotopy Type TheoryMore Information... - Takeshi Tsukada Kazuyuki Asada
Linear-Algebraic Models of Linear Logic as Categories of Modules over Σ-Semirings✱More Information...
Organizers
General ChairOrna Kupferman Program ChairChristel Baier Conference ChairDana Fisman Publicity ChairSam Staton Workshops Chair
Frederic Blanqui |
Program Committee:Zena M. Ariola (University of Oregon, US); Christel Baier (TU Dresden, Germany (chair)); Michael Benedikt (University of Oxford, UK); Udi Boker (IDC Herzliya, Israel); Swarat Chaudhuri (University of Texas at Austin, US); Lorenzo Clemente (University of Warsaw, Poland); Liron Cohen (Ben-Gurion University, Israel); Thomas Colcombet (CNRS IRIF Paris, France); Thierry Coquand (University of Gothenburg, Sweden); Martin Hötzel Escardo (University of Birmingham, UK); Marcelo P. Fiore (University of Cambridge, UK); Stefan Göller (University of Kassel, Germany); Jan Hoffmann (CMU, Pittsburgh, US); Benjamin Lucien Kaminski (University College London, UK); Shin-ya Katsumata (National Institute of Informatics, Tokyo, Japan); Juha Kontinen (University of Helsinki, Finland); Jan Kretinsky (TU Munich, Germany); Antonín Kučera (Masaryk University, Brno, Czech Republic); Ranko Lazic (University of Warwick, UK); Karoliina Lehtinen (CNRS, Aix-Marseille University, France); Christof Löding (RWTH Aachen, Germany); Assia Mahboubi (INRIA, Nantes University, France, and, Vrije Universiteit Amsterdam, NL); Annabelle McIver (Macquarie University, Sydney, Australia); Nelma Moreira (University of Porto, Portugal); Aniello Murano (Universita degli Studi di Napoli Federico II, Italy); Kedar Namjoshi (Nokia Bell Labs, US); Joanna Ochremiak (CNRS LaBRI Bordeaux, France); Prakash Panangaden (McGill University, Canada); Elaine Pimentel (Universidade Federal do Rio Grande do Norte, Brazil); Revantha Ramanayake (University of Groningen, Netherlands); Jean-François Raskin (Université Libre de Bruxelles, Belgium); Sylvain Schmitz (IRIF, Université de Paris, France); Tachio Terauchi (Waseda University, Tokyo, Japan); Henning Urbat (FAU Erlangen-Nürnberg, Germany); Mahesh Viswanathan (University of Illinois, US) |