SD — PROGRAM

Days: Friday, 24 July 2026 Saturday, 25 July 2026

Friday, 24 July 2026
09:00-10:15 Invited Tutorial: Willem Heijltjes SD
Location: C5.08
09:00-10:15
The Functional Machine Calculus: an Introduction (abstract) 75 min
Willem Heijltjes1
1 University of Bath
10:15-10:45 Coffee Break SD
Location: C5.08
10:45-11:45 Invited Talk: Olivier Laurent SD
Location: C5.08
10:45-11:45
Computational Identity of Proofs: Rule Permutations Strike Back (abstract) 60 min
Olivier Laurent1
1 CNRS and ENS Lyon
11:50-12:30 Contributed Talks Session 1 SD
Location: C5.08
11:50-12:10
Deep Inference Proof Systems for Monotone Quantifiers (abstract) 20 min
Loïc Allègre1
1 LIRMM - University of Montpellier
12:10-12:30
A Systematic Approach to Deep Inference for Modal Logic (abstract) 20 min
Justus Becker1
1 University of Birmingham
12:30-14:00 Lunch SD
Location: C5.08
14:00-15:00 Invited Talk: Raheleh Jalali (joint with WiL) SD
14:00-15:00
The Cost of Restricting Structural Rules (abstract) 60 min
Raheleh Jalali1
1 University of Bath
15:10-15:30 Contributed Talks Session 2 SD
Location: C5.08
15:10-15:30
How to deal with Henkin Quantifiers in First-Order Logic (abstract) 20 min
Matthias Baaz1, Mariami Gamsakhurdia1, Anela Lolic1, Stella Mahler1
1 TU Wien
15:30-16:00 Coffee Break SD
Location: C5.08
16:00-17:00 Invited Talk: Cameron Allett SD
Location: C5.08
16:00-17:00
The Falsifier Calculus: A Novel Approach to Hilbert's Epsilon-Calculus in Deep Inference (abstract) 60 min
Cameron Allett1
1 University of Bath
Saturday, 25 July 2026
09:00-10:15 Invited Tutorial: Tim Lyon SD
Location: C5.08
09:00-10:15
A Guided Tour of Sequent Formalisms for Modal Logics (abstract) 75 min
Tim Lyon1
1 TU Dresden
10:15-10:45 Coffee Break SD
Location: C5.08
10:45-11:45 Invited Talk: Kazushige Terui SD
Location: C5.08
10:45-11:45
Nomalization by inductive definitions: an overview (abstract) 60 min
Kazushige Terui1
1 RIMS, Kyoto University
11:50-12:30 Contributed Talks Session 3 SD
Location: C5.08
11:50-12:10
Constructive Reverse Mathematics of Cyclic Proof Theory (abstract) 20 min
Dominik Wehr1, Dominik Kirst2
1 Würzburg University, Germany
2 INRIA
12:10-12:30
Choreographies as Proofs of Deadlock Freedom (abstract) 20 min
Giulia Manara1, Matteo Acclavio1, Fabrizio Montesi1
1 University of Southern Denmark SDU
12:30-14:05 Lunch SD
Location: C5.08
14:05-14:25 Contributed Talks Session 4 SD
Location: C5.08
14:05-14:25
Approaches to Sequent Formalisation of the Logic of Classes (abstract) 20 min
Andrzej Indrzejczak1
1 University of Lodz
14:30-15:30 Invited Talk: Robert Atkey SD
Location: C5.08
14:30-15:30
Semantic Cut Elimination Proofs for BV and extensions (abstract) 60 min
Robert Atkey1
1 University of Strathclyde
15:30-16:00 Coffee Break SD
Location: C5.08
16:00-17:00 Contributed Talks Session 5 SD
Location: C5.08
16:00-16:20
Scroll nets: Towards a structural proof theory of Peirce’s existential graphs (abstract) 20 min
Pablo Donato1
1 Charles University
16:20-16:40
Syntax and semantics of focalisation with relative monads and comonads (abstract) 20 min
Éléonore Mangel1, Paul-André Melliès2, Guillaume Munch-Maccagnoni3
1 IRIF, INRIA
2 IRIF, INRIA, CNRS
3 INRIA, LS2N CNRS
16:40-17:00
Capturing single conclusions with a subexponential (abstract) 20 min
Dale Miller1
1 Inria Saclay
Designed and Developed by EventKey | Copyright 2026 EventKey Last updated: · Local time:
🔍
↑