Email Gateway (May 29 2026 at 10:06): Email Gateway (May 29 2026 at 10:06):From: Frederic Blanqui <frederic.blanqui@inria.fr>
Call for Participation
Tribute to Gilles Dowek
FLoC workshop, July 18, 2026, Lisbon, Portugal
https://deducteam.gitlabpages.inria.fr/tribute-to-gilles/
Early registration deadline: June 1st
Registration web site: https://www.floc26.org/registration
This workshop aims at celebrating Gilles Dowek's influence in logic and
computer science.
Programme:
08:50
Introduction, Frédéric Blanqui and Olivier Hermant
09:00
On the Normative Power of Logical Frameworks, Frank Pfenning
09:30
Modeling and Proof Methods in Set Theory using Deduction Modulo
Theory, Catherine Dubois and David Delahaye
10:00
Conservativity Made Easy, Thiago Felicissimo
10:30
coffee break
11:00
From Ecumenical Proof Theory to Automation, Elaine Pimentel and
Luiz Carlos Pereira
11:30
Connecting Higher-Order Logics using Kolmogorov's Translation à la
Dowek-Werner, Thomas Traversié
11:45
Parallel proof checking with short and long term memory, Michael
Färber (online)
12:00
Theoretical and Practical Advances of Polarized Deduction Modulo
Theory, Guillaume Burel
12:30
lunch
14:00
You Cannot Go Slower Than Your Speed, Cesar Muñoz (online)
14:30
Secure development of dependently typed programs using proxy-based
small inversions, Pierre Corbineau, Basile Gros and Jean-François Monin
15:00
TBD, Valentin Blot
15:15
Reconstructing SMT Proofs in the λΠ/≡-calculus, Alessio Coltellacci
15:30
coffee break
16:00
Confluence of non-left-linear higher-order rewriting, Jean-Pierre
Jouannaud
16:30
When Quantum Computing Challenges Logic, Alejandro Díaz-Caro
17:00
Explainability and the related issues in the digital-AI
environments, Mitsuhiro Okada
17:30
I, Computer: Gilles’ Children’s Book on the Foundations of
Computing, Nachum Dershowitz (online)
Last updated: Jun 12 2026 at 04:13 UTC