Email Gateway (Apr 07 2026 at 05:22): Email Gateway (Apr 07 2026 at 05:22):From: Frédéric Blanqui <frederic.blanqui@inria.fr>
Call for talk proposals
Tribute to Gilles Dowek
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.
Last updated: Apr 12 2026 at 02:50 UTC