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