Logic List Mailing Archive

CfP: Tribute to Gilles Dowek Workshop, 18 July 2026, Lisbon (Portugal)

TGD: Tribute to Gilles Dowek



----------------------------------------------------------------------------

                    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.



- Submission website: https://submissions.floc26.org/tgd

- Submission deadline: 3 May 2026

- Notification: 15 May 2026



----------------------------------------------------------------------------

--
[LOGIC] mailing list, provided by DLMPST
More information (including information about subscription management) can
be found here: http://dlmpst.org/pages/logic-list.php