Call for Participation
**Tribute to Gilles Dowek**
FLoC workshop, July 18, 2026, Lisbon, Portugal
Tribute to Gilles Dowek
Registration web site: FLoC 2026: The 9th Federated Logic Conference
Gilles Dowek passed away on July 21, 2025. 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)