# 2nd CFP: Tribute to Gilles Dowek workshop - July 18th, FLoC 26, Lisbon, Portugal

**URL:** <https://discourse.rocq-prover.org/t/2nd-cfp-tribute-to-gilles-dowek-workshop-july-18th-floc-26-lisbon-portugal/3062>\
**Category:** CFPs\
**Created:** [June 24, 2026, 12:44pm UTC](https://discourse.rocq-prover.org/t/2nd-cfp-tribute-to-gilles-dowek-workshop-july-18th-floc-26-lisbon-portugal/3062 "2026-06-24T12:44:47Z")\
**Posts on this page:** 1\
**Page:** 1

<div class="post-metadata">

**Author:** ![olivhash](https://avatars.discourse-cdn.com/v4/letter/o/a587f6/32.png) [@olivhash](https://discourse.rocq-prover.org/u/olivhash)\
**Post date:** [June 24, 2026, 12:44pm UTC](https://discourse.rocq-prover.org/t/2nd-cfp-tribute-to-gilles-dowek-workshop-july-18th-floc-26-lisbon-portugal/3062/1 "2026-06-24T12:44:47Z")

</div>

* * *

```
              Call for Participation
         **Tribute to Gilles Dowek**

```

## FLoC workshop, July 18, 2026, Lisbon, Portugal [Tribute to Gilles Dowek](https://deducteam.gitlabpages.inria.fr/tribute-to-gilles/)

Registration web site: [FLoC 2026: The 9th Federated Logic Conference](https://www.floc26.org/registration)

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)