Call for participation - FLoC'26 workshop Tribute to Gilles Dowek - July 18
Frederic Blanqui <[email protected]> Fri, 29 May 2026 12:05:48 +0200
| Newsgroups | gmane.comp.lang.agda,gmane.comp.science.types.announce,gmane.science.mathematics.logic.coq.club,gmane.science.mathematics.logic.isabelle.user,gmane.science.mathematics.prooftheory |
|---|---|
| Message-ID | <[email protected]> |
This is a multi-part message in MIME format.
--------------tFzM1Y7OtH6zp3pnHoTBI2ca
Content-Type: text/plain; charset=UTF-8; format=flowed
Content-Transfer-Encoding: 8bit
----------------------------------------------------------------------------
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)
--------------tFzM1Y7OtH6zp3pnHoTBI2ca
Content-Type: text/html; charset=UTF-8
Content-Transfer-Encoding: 8bit
<!DOCTYPE html>
<html>
<head>
<meta http-equiv="content-type" content="text/html; charset=UTF-8">
</head>
<body>
<p>----------------------------------------------------------------------------<br>
Call for Participation<br>
<b>Tribute to Gilles Dowek</b><br>
FLoC workshop, July 18, 2026, Lisbon, Portugal<br>
<a class="moz-txt-link-freetext" href="https://deducteam.gitlabpages.inria.fr/tribute-to-gilles/">https://deducteam.gitlabpages.inria.fr/tribute-to-gilles/</a><br>
----------------------------------------------------------------------------<br>
</p>
<p>Early registration deadline: June 1st<br>
Registration web site: <a class="moz-txt-link-freetext" href="https://www.floc26.org/registration">https://www.floc26.org/registration</a></p>
<p>This workshop aims at celebrating Gilles Dowek's influence in
logic and computer science.</p>
<p>Programme:</p>
<p>08:50 <br>
Introduction, Frédéric Blanqui and Olivier Hermant<br>
09:00 <br>
On the Normative Power of Logical Frameworks, Frank Pfenning<br>
09:30 <br>
Modeling and Proof Methods in Set Theory using Deduction
Modulo Theory, Catherine Dubois and David Delahaye<br>
10:00 <br>
Conservativity Made Easy, Thiago Felicissimo<br>
10:30 <br>
coffee break<br>
11:00 <br>
From Ecumenical Proof Theory to Automation, Elaine Pimentel
and Luiz Carlos Pereira<br>
11:30 <br>
Connecting Higher-Order Logics using Kolmogorov's Translation
à la Dowek-Werner, Thomas Traversié<br>
11:45 <br>
Parallel proof checking with short and long term memory,
Michael Färber (online)<br>
12:00 <br>
Theoretical and Practical Advances of Polarized Deduction
Modulo Theory, Guillaume Burel<br>
12:30 <br>
lunch<br>
14:00 <br>
You Cannot Go Slower Than Your Speed, Cesar Muñoz (online)<br>
14:30 <br>
Secure development of dependently typed programs using
proxy-based small inversions, Pierre Corbineau, Basile Gros and
Jean-François Monin<br>
15:00 <br>
TBD, Valentin Blot<br>
15:15 <br>
Reconstructing SMT Proofs in the λΠ/≡-calculus, Alessio
Coltellacci<br>
15:30 <br>
coffee break<br>
16:00 <br>
Confluence of non-left-linear higher-order rewriting,
Jean-Pierre Jouannaud<br>
16:30 <br>
When Quantum Computing Challenges Logic, Alejandro Díaz-Caro<br>
17:00 <br>
Explainability and the related issues in the digital-AI
environments, Mitsuhiro Okada<br>
17:30 <br>
I, Computer: Gilles’ Children’s Book on the Foundations of
Computing, Nachum Dershowitz (online)</p>
<p><br>
</p>
</body>
</html>
--------------tFzM1Y7OtH6zp3pnHoTBI2ca--