Logic List Mailing Archive

CfP: DIALOCO 2026 – Workshop on Diagrams in Logic and Computation, 19 July 2026, Lisbon (Portugal), deadline: 8 May 2026 (extended)

[Apologies for cross-posting]

=========================================================================
3rd Call for Contributions — DEADLINE EXTENDED to 8 May 2026
Workshop on Diagrams in Logic and Computation (DIALOCO)
19 July 2026, Lisbon, Portugal
Affiliated with the Federated Logic Conference (FLoC 26)
https://dialoco.github.io/dialoco26/
=========================================================================

Following several requests, we are happy to announce that the submission
deadline for DIALOCO 2026 has been extended by one week, to

   *** Friday, 8 May 2026 (AoE) ***

Diagrammatic reasoning is playing an increasingly important role in both
logic and computation. We are excited to announce the inaugural Workshop
on Diagrams in Logic and Computation (DIALOCO), held as part of the
Federated Logic Conference (FLoC) this July in Lisbon, Portugal. We
encourage submissions on all aspects of the use of diagrams in these
fields, including string diagrams, proof nets, graph rewriting, visual
proof assistants, and educational applications of diagrammatic methods.

This inaugural DIALOCO workshop aims to kickstart a long and fruitful
interaction with the broader FLoC community and affiliated conferences
such as LICS, FSCD, KR, and ITP. We warmly encourage anyone interested
in diagrammatic methods to submit.

** Invited Speakers **

- Dan Ghica (Huawei Research Centre Edinburgh & University of Birmingham, UK)
- Lutz Straßburger (Inria and LIX, France)

** Submissions **

We invite abstracts for contributed talks of 1 to 5 pages (excluding
bibliography). Submissions may describe published work, unpublished
work, or work in progress. Short submissions describing preliminary
ideas are very welcome.

Abstracts should be submitted via the workshop's submission page:
https://submissions.floc26.org/dialoco

Accepted abstracts will be made available on the workshop's web page.
While there are no formal published proceedings at this time, the
organizers will explore options for post-workshop proceedings.

At least one author of each accepted submission is expected to register
and attend the workshop at FLoC 26.

** Important Dates (UPDATED) **

- Abstract submission deadline: 8 May 2026 (extended)
- Notification of acceptance: 15 May 2026
- Early registration deadline: 1 June 2026
- Workshop date: 19 July 2026

** Organizers **

- Alessandro Di Giorgio (Tallinn University of Technology, Estonia)
- Pablo Donato (Charles University, Czechia)
- Nathan Haydon (University of Waterloo, Canada)

** Further Information **

- DIALOCO 26 Website: https://dialoco.github.io/dialoco26/
- FLoC 26 Website: https://www.floc26.org

Please reach out to the organizers if you have any questions, and
please feel free to forward this announcement to colleagues and
students who may be interested.

We look forward to your contributions!

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