CfC: DIALOCO Workshop

Announcements CFPs
1

Call for Contributions — Workshop on Diagrams in Logic and Computation (DIALOCO)

19 July 2026, Lisbon, Portugal
Affiliated with the Federated Logic Conference (FLoC 26)

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

  • Lutz Straßburger (Inria and LIX, France)
  • More to be confirmed.

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

Please reach out to the organizers if you have any questions!