[ The Types Forum (announcements only),
http://lists.seas.upenn.edu/mailman/listinfo/types-announce ]
----------------------------------------------------------------------------
Call for Participation
*Tribute to Gilles Dowek*
FLoC workshop, July 18, 2026, Lisbon, Portugal
https://urldefense.com/v3/__https://deducteam.gitlabpages.inria.fr/tribute-to-gilles/__;!!IBzWLUs!QY5fOAj-Ccpw64VvJ6MN6U-qyNwt6OTirKLoyogh2uIB7M_cZva1YzuRReg1WTo44IBMonEPhKLVeWmEUE7_49UHZIY4y9bjZ7Jni-C2-qo$
----------------------------------------------------------------------------
Early registration deadline: June 1st
Registration web site: https://urldefense.com/v3/__https://www.floc26.org/registration__;!!IBzWLUs!QY5fOAj-Ccpw64VvJ6MN6U-qyNwt6OTirKLoyogh2uIB7M_cZva1YzuRReg1WTo44IBMonEPhKLVeWmEUE7_49UHZIY4y9bjZ7JnBRENWoc$
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)
