[TYPES/announce] FLoC'26 workshop - Tribute to Gilles Dowek - Call for talks

[Frédéric Blanqui]

----------------------------------------------------------------------------
                   Call for talk proposals
*Tribute to Gilles Dowek*
             July 18, 2026, Lisbon, Portugal
https://urldefense.com/v3/__https://deducteam.gitlabpages.inria.fr/tribute-to-gilles/__;!!IBzWLUs!VGDVEbYw2whEZ3ZZ0nv8wo5ynUu4OgUIvUJQlDD7Bq5gmUfNA07Rpa9WzvL_nUbCUgHy0HEJ2qRGnlkkf5V4vi4wbDO0FUN-MK4-gvfcWoU$ 
----------------------------------------------------------------------------

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://urldefense.com/v3/__https://submissions.floc26.org/tgd__;!!IBzWLUs!VGDVEbYw2whEZ3ZZ0nv8wo5ynUu4OgUIvUJQlDD7Bq5gmUfNA07Rpa9WzvL_nUbCUgHy0HEJ2qRGnlkkf5V4vi4wbDO0FUN-MK4-GhRQNSM$ 
- Submission deadline: 3 May 2026
- Notification: 15 May 2026

-------------- next part --------------
An HTML attachment was scrubbed...
URL: <http://LISTS.SEAS.UPENN.EDU/pipermail/types-announce/attachments/20260407/5cdad735/attachment-0001.htm>