FLoC'26 workshop - Tribute to Gilles Dowek - Call for talks
Frédéric Blanqui <[email protected]> Tue, 7 Apr 2026 07:22:20 +0200
| Newsgroups | gmane.comp.lang.agda,gmane.comp.science.types.announce,gmane.science.mathematics.logic.coq.club,gmane.science.mathematics.logic.isabelle.user,gmane.science.mathematics.prooftheory |
|---|---|
| Message-ID | <[email protected]> |
This is a multi-part message in MIME format.
--===============2666746325084267185==
Content-Type: multipart/alternative;
boundary="------------9p0hzaIsIfo8Iuo68jYs8Eoc"
Content-Language: en-US
This is a multi-part message in MIME format.
--------------9p0hzaIsIfo8Iuo68jYs8Eoc
Content-Type: text/plain; charset=UTF-8; format=flowed
Content-Transfer-Encoding: 8bit
----------------------------------------------------------------------------
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
--------------9p0hzaIsIfo8Iuo68jYs8Eoc
Content-Type: text/html; charset=UTF-8
Content-Transfer-Encoding: 8bit
<!DOCTYPE html>
<html>
<head>
<meta http-equiv="content-type" content="text/html; charset=UTF-8">
</head>
<body>
<div class="moz-forward-container">
<div class="moz-forward-container">
<div class="moz-forward-container">
<p>----------------------------------------------------------------------------<br>
Call for talk proposals<br>
<b>Tribute to Gilles Dowek</b><br>
July 18, 2026, Lisbon, Portugal<br>
<a
href="https://deducteam.gitlabpages.inria.fr/tribute-to-gilles/"
target="_blank" class="moz-txt-link-freetext"
moz-do-not-send="true">https://deducteam.gitlabpages.inria.fr/tribute-to-gilles/</a><br>
----------------------------------------------------------------------------</p>
<p>This workshop aims at celebrating Gilles Dowek's influence
in logic and computer science.<br>
We welcome short or long talk proposals on the connections
between logic, computation,<br>
and possibly physical theories, reviews of work done by
Gilles or with him, or of results obtained<br>
thanks to Gilles' influence or related to Gilles' work.
Topics include, but are not limited to,<br>
logical frameworks, proof systems interoperability,
ecumenical proof libraries, automated<br>
deduction, quantum programming languages, and
physics-inspired models of computation.</p>
<p>- Submission website: <a
href="https://submissions.floc26.org/tgd" target="_blank"
class="moz-txt-link-freetext" moz-do-not-send="true">https://submissions.floc26.org/tgd</a><br>
- Submission deadline: 3 May 2026<br>
- Notification: 15 May 2026</p>
<br>
</div>
</div>
</div>
</body>
</html>
--------------9p0hzaIsIfo8Iuo68jYs8Eoc--
--===============2666746325084267185==
Content-Type: text/plain; charset="us-ascii"
MIME-Version: 1.0
Content-Transfer-Encoding: 7bit
Content-Disposition: inline
_______________________________________________
Agda mailing list
[email protected]
https://lists.chalmers.se/mailman/listinfo/agda
--===============2666746325084267185==--