The workshop on "DIAgrams in LOgic and COmputation" (DIALOCO) will be taking place in Lisbon, Portugal on July 19th 2026, co-located with LICS 2026 as part of FLoC 2026.
Diagrams have played an increasingly important role in modern logic and computer science, from category theory and string diagrams to circuit representations and visual proofs. This workshop aims to provide a forum for exchanging ideas, presenting recent advances, showcasing tools and software demonstrations and discussing open challenges in the theory and application of diagrammatic methods.
Graphical and diagrammatic notations for logic and computation (proof nets, string diagrams, existential graphs, Petri nets, interaction nets, etc.) provide elegant, often canonical representations of proofs and processes that expose structure hidden in linear symbolic presentations. These representations have proven valuable both for foundational questions (identity of proofs, cut-elimination as rewriting, semantics of proofs/programs) and practical concerns (visual proof editors, automated graph rewriting, program compilation and optimisation).
The workshop aims at bringing together researchers with complementary perspectives on the topic—ranging from applied category theory and proof theory to the philosophy of diagrammatic reasoning—in order to encourage collaboration, cross-pollinate ideas, share ongoing work, and allow newcomers to explore current developments in the field.
We welcome contributions on all aspects of diagrams in logic and computation. A non-exhaustive list of topics includes:
All deadlines are AoE - Anywhere on Earth (UTC-12).
Contributions can include talks presenting original research results, but may also take the form of open discussions or position papers. We encourage submissions that present work in progress, open problems and ongoing research projects, as well as tools and software demonstrations. Contributions exploring the use of graphical methods and tools across logic, computer science, and related fields—whether applying established techniques to new domains or importing ideas from other areas—are especially welcome.