Days: Tuesday, September 4th Wednesday, September 5th Thursday, September 6th Friday, September 7th Saturday, September 8th
View this program: with abstractssession overviewtalk overview
Invited talk
09:00 | Fixed Points in Information Flow and in Privacy (abstract) |
Contributed talks
10:30 | Dependency Concepts up to Equivalence (abstract) |
11:00 | The True Concurrency of Herbrand's Theorem (abstract) |
11:30 | Quantifying Bounds in Strategy Logic (abstract) |
12:00 | Canonical Models and the Complexity of Modal Team Logic (abstract) |
Contributed talks
14:00 | Local validity for circular proofs in linear logic with fixed points (abstract) |
14:30 | Quantitative Foundations for Resource Theories (abstract) |
15:00 | An application of parallel cut elimination in unit-free multiplicative linear logic to the Taylor expansion of proof nets (abstract) |
15:30 | Combining Linear Logic and Size Types for Implicit Complexity (abstract) |
Contributed talks
16:30 | Beyond Polarity: Towards A Multi-Discipline Intermediate Language with Sharing (abstract) |
17:00 | On compositionality of dinatural transformations (abstract) |
17:30 | Rule Algebras for Adhesive Categories (abstract) |
18:00 | Graphical Conjunctive Queries (abstract) |
Reception at the Lapworth Museum
View this program: with abstractssession overviewtalk overview
Invited talk
09:00 | Specification and Computation of Word Transductions (abstract) |
Contributed talks
10:30 | An algebraic decision procedure for two-variable logic with a between relation (abstract) |
11:00 | Expressivity within second-order transitive-closure logic (abstract) |
11:30 | Uniform Inductive Reasoning in Transitive Closure Logic via Infinite Descent (abstract) |
12:00 | MacNeille completion and Buchholz' Omega rule for parameter-free second order logics (abstract) |
Excursion to the Black Country Living Museum
Conference dinner, Pasta di Piazza
View this program: with abstractssession overviewtalk overview
Invited talk
09:00 | A linear logic approach to the semantics of probabilistic programs (abstract) |
Contributed talks
10:30 | Definable Inapproximability: New Challenges for Duplicator (abstract) |
11:00 | A Decidable Fragment of Second Order Logic With Applications to Synthesis (abstract) |
11:30 | Parity Games with Weights (abstract) |
12:00 | Synthesizing Optimally Resilient Controllers (abstract) |
Invited and contributed talks
14:00 | From Quantum to Cognition via Pictures (abstract) |
15:00 | Submodular Functions and Valued Constraint Satisfaction Problems over Infinite Domains (abstract) |
15:30 | Approximating Probabilistic Automata (abstract) |
Contributed talks
16:30 | A recursion-theoretic characterisation of the positive polynomial-time functions (abstract) |
17:00 | Cartesian Cubical Computational Type Theory: Constructive Reasoning with Paths and Equalities (abstract) |
17:30 | Non-wellfounded proof theory for (Kleene+action)(algebras+lattices) (abstract) |
18:00 | Safety, Absoluteness, and Computability (abstract) |
View this program: with abstractssession overviewtalk overview
Invited talk
09:00 | Some applications of Model Theory in Computer Science (abstract) |
Contributed talks
10:30 | A Fully Abstract Game Semantics for Countable Nondeterminism (abstract) |
11:00 | High-level arities and initial semantics (abstract) |
11:30 | Relating Structure and Power: Comonadic Semantics for Computational Resources (abstract) |
12:00 | Fully abstract models of the probabilistic lambda-calculus (abstract) |
Ackermann Award and contributed talks
14:00 | Ackermann Award Lecture (abstract) |
15:00 | Climbing up the elementary complexity classes with theories of automatic structures (abstract) |
15:30 | Symmetric Circuits for Rank Logic (abstract) |
Contributed talks
16:30 | Beyond admissibility: Dominance between chains of strategies (abstract) |
17:00 | A Contextual Reconstruction of Monadic Reflection (abstract) |
17:30 | Basic operational preorders for algebraic effects in general, and for combined probability and nondeterminism in particular (abstract) |
18:00 | Finite bisimulations for dynamical systems with overlapping trajectories (abstract) |
View this program: with abstractssession overviewtalk overview
Achim Jung Fest I
10:00 | Whither Semantics? (abstract) |
10:40 | The Partiality Monad (abstract) |
11:20 | Sheaves over domains (abstract) |
Achim Jung Fest II
13:30 | Achim Jung: a way above scholar on "way below" (abstract) |
14:10 | A Domain-Theoretic Silk Road (abstract) |
14:50 | Looking for beauty in domain theory (abstract) |
Achim Jung Fest III
16:00 | Domains and Quantum Programming Languages (abstract) |
16:40 | Adjoint Logic (abstract) |
17:20 | Functionals on probability valuations (abstract) |