TGD — PROGRAM FOR SATURDAY, 18 JULY 2026

Days: all days

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
Designed and Developed by EventKey | Copyright 2026 EventKey Last updated: · Local time:
🔍
↑