TGD — PROGRAM
Days: Saturday, 18 July 2026
Saturday, 18 July 2026
08:50-09:00
Introduction, Frédéric Blanqui and Olivier Hermant
TGD
Location:
C6.08
09:00-09:30
On the Normative Power of Logical Frameworks, Frank Pfenning
TGD
Location:
C6.08
09:30-10:00
Modeling and Proof Methods in Set Theory using Deduction Modulo Theory, Catherine Dubois and David Delahaye
TGD
Location:
C6.08
10:00-10:30
Conservativity Made Easy, Thiago Felicissimo
TGD
Location:
C6.08
10:30-11:00
Coffee Break
TGD
Location:
C6.08
11:00-11:30
From Ecumenical Proof Theory to Automation, Elaine Pimentel and Luiz Carlos Pereira
TGD
Location:
C6.08
11:30-11:45
Connecting Higher-Order Logics using Kolmogorov's Translation à la Dowek-Werner, Thomas Traversié
TGD
Location:
C6.08
11:45-12:00
Parallel proof checking with short and long term memory, Michael Färber (online)
TGD
Location:
C6.08
12:00-12:30
Theoretical and Practical Advances of Polarized Deduction Modulo Theory, Guillaume Burel
TGD
Location:
C6.08
12:30-14:00
Lunch
TGD
Location:
C6.08
14:00-14:30
You Cannot Go Slower Than Your Speed, Cesar Muñoz (online)
TGD
Location:
C6.08
14:30-15:00
Secure development of dependently typed programs using proxy-based small inversions, Pierre Corbineau, Basile Gros and Jean-François Monin
TGD
Location:
C6.08
15:00-15:15
TBD, Valentin Blot
TGD
Location:
C6.08
15:15-15:30
Reconstructing SMT Proofs in the λΠ/≡-calculus, Alessio Coltellacci
TGD
Location:
C6.08
15:30-16:00
Coffee Break
TGD
Location:
C6.08
16:00-16:30
Confluence of non-left-linear higher-order rewriting, Jean-Pierre Jouannaud
TGD
Location:
C6.08
16:30-17:00
When Quantum Computing Challenges Logic, Alejandro Díaz-Caro
TGD
Location:
C6.08
17:00-17:30
Explainability and the related issues in the digital-AI environments, Mitsuhiro Okada
TGD
Location:
C6.08
17:30-18:00
I, Computer: Gilles’ Children’s Book on the Foundations of Computing, Nachum Dershowitz (online)
TGD
Location:
C6.08