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
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
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
1 LIRMM - University of Montpellier
|
| 12:10-12:30 |
A Systematic Approach to Deep Inference for Modal Logic (abstract) 20 min
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
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
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
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
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 |
TBA (abstract) 60 min
1 RIMS, Kyoto University
|
11:50-12:30
Contributed Talks Session 3
SD
Location:
C5.08
| 11:50-12:10 |
Scroll nets: Towards a structural proof theory of Peirce’s existential graphs (abstract) 20 min
1 Charles University
|
| 12:10-12:30 |
Choreographies as Proofs of Deadlock Freedom (abstract) 20 min
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
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
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 |
Constructive Reverse Mathematics of Cyclic Proof Theory (abstract) 20 min
1 Würzburg University, Germany
2 INRIA
|
| 16:20-16:40 |
Syntax and semantics of focalisation with relative monads and comonads (abstract) 20 min
1 IRIF, INRIA
2 IRIF, INRIA, CNRS
3 INRIA, LS2N CNRS
|
| 16:40-17:00 |
Capturing single conclusions with a subexponential (abstract) 20 min
1 Inria Saclay
|