You're reading the public-facing archive of the Category Theory Zulip server.
To join the server you need an invite. Anybody can get an invite by contacting Matteo Capucci at name dot surname at gmail dot com.
For all things related to this archive refer to the same person.
Nathan Haydon (Apr 21 2026 at 11:41):CfC: DIALOCO Workshop, Lisbon, 19 July
======================================
Call for Contributions — 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/
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 apply.
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 2 to 5 pages (excluding
bibliography). Submissions may describe published work, unpublished work, or
work in progress.
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
\- Abstract submission deadline: 1 May 2026
\- 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!
Pablo Donato (Apr 30 2026 at 23:31):Quick update: the DIALOCO submission deadline has been extended to Friday 8 May 2026 (AoE). Submissions still go through https://submissions.floc26.org/dialoco. We welcome short abstracts (1–5 pages) on string diagrams, proof nets, graph rewriting, visual proof assistants, etc. Note that there are no formal proceedings, so presenting at DIALOCO does not preclude submitting the same work elsewhere --- e.g. do not hesitate to send the intro of a paper already submitted to a conference/journal!