CfC: DIALOCO Workshop, Lisbon, 19 July ====================================== 2nd 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 1 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! You're receiving this message because you're a member of the Categories mailing list group from Macquarie University. To take part in this conversation, reply all to this message. View group files<https://outlook.office365.com/groups/groupsubscription?source=EscalatedMessage&action=files&smtp=categories%40mq.edu.au&bO=true&GuestId=6bf90c14-94d1-45b7-a0b5-9dd447734d27> | Leave group<https://outlook.office365.com/groups/groupsubscription?source=EscalatedMessage&action=leave&smtp=categories%40mq.edu.au&bO=true&GuestId=6bf90c14-94d1-45b7-a0b5-9dd447734d27> | Learn more about Microsoft 365 Groups<https://aka.ms/o365g>