Accepted Papers
Hereditary First-Order Logic: the tractable quantifier prefix classes.
Classifying covering types in homotopy type theory.
Bridging Weighted First Order Model Counting and Graph Polynomials.
Towards the type safety of Pure Subtype Systems.
Cyclic proof theory of positive inductive definitions.
On the Entailment Problem in Dynamic Separation Logic with Inductive Definitions.
Compactness in Semiring Semantics.
$\varepsilon$-Distance via Lévy-Prokhorov Lifting.
Useful Call-by-Value: A Semantic Interpretation via Quantitative Types.
Deciding the Value of Two-Clock Almost Non-Zeno Weighted Timed Games.
Mean-payoff and Energy Discrete Bidding Games.
Resourceful traces for commuting processes.
Robustness of Constraint Automata for Description Logics with Concrete Domains.
The Groupoid-syntax of Type Theory is a Set.
Analysis of logics with arithmetic.
Arity hierarchies for quantifiers closed under partial polymorphisms.
Boolean Basis and Succinctness of Modal Logic via Hella-Vilander games.
Disjunctions of Two Dependence Atoms.
A Game for Counting Logic Formula Size and an Application to Linear Orders.
Weakly-sparse and strongly flip-flat classes of graphs are almost-wide.
Satisfiability in Łukasiewicz logic and its unbounded relative.
Kamp theorem for Higher Dimensinal Automata.
Minimal DFAs Witnessing Language Inequivalence.
Well-Founded Coalgebras Meet König's Lemma.
Constructing Witnesses for Lower Bounds on Behavioural Distances.
Reward Interfaces with Best-Effort Implementations.
Register-Bounded Synthesis from Constraint LTL.
A Complete Diagrammatic Calculus for Conditional Gaussian Mixtures.
A Logic for Fresh Labelled Transition Systems.
Parametric disjunctive timed networks.
The biequivalence of path categories and axiomatic Martin-Löf type theories.
A Canonical Form for Universe Levels in Impredicative Type Theory.
On Left Adjoints Preserving Colimits in HoTT.
A modular framework for proof-search via formalised modal completeness in HOL Light.
A uniform cut-elimination theorem for linear logics with fixed points and super-exponentials.
Parametric Iteration in Resource Theories.
String Diagrams for Closed Symmetric Monoidal Categories.
A Unifying Conservation Theorem.
Interpreting Lambda Calculus in Domain-Valued Random Variables.
Reasoning about Quality in Hyperproperties.
Memory Requirements in Non-Zero-Sum Games.
On the algorithmic structure of Dialectica realisers.
Lax Modal Lambda Calculi.