[ 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!V0HeOZTn9uwtZzV7Spy3sBxL6xTtCC3w3Hf39oHJL69io-H1TqBXDuAGyEoO5PcdOo0DhyX5BwBp2gu6JTql5rqgWjweXwZDhf71ls7SZg24_32R$
----------------------------------------------------------------------------
Registration web site: https://urldefense.com/v3/__https://www.floc26.org/registration__;!!IBzWLUs!V0HeOZTn9uwtZzV7Spy3sBxL6xTtCC3w3Hf39oHJL69io-H1TqBXDuAGyEoO5PcdOo0DhyX5BwBp2gu6JTql5rqgWjweXwZDhf71ls7SZok4Bs4g$
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)
_______________________________________________
CICM-members mailing list -- [email protected]
To unsubscribe send an email to
[email protected]
%(web_page_url)slistinfo%(cgiext)s/%(_internal_name)s
