Tribute to Gilles Dowek - Call for talk proposals
July 18, 2026, Lisbon, Portugal
https://deducteam.gitlabpages.inria.fr/tribute-to-gilles/
This workshop aims at celebrating Gilles Dowek’s influence in logic and computer science.
We welcome short or long talk proposals on the connections between logic, computation,
and possibly physical theories, reviews of work done by Gilles or with him, or of results obtained
thanks to Gilles’ influence or related to Gilles’ work. Topics include, but are not limited to,
logical frameworks, proof systems interoperability, ecumenical proof libraries, automated
deduction, quantum programming languages, and physics-inspired models of computation.
Submission website: https://submissions.floc26.org/tgd
Submission deadline: 3 May 2026
Notification: 15 May 2026