Excited to announce the Call for Contributions for the inaugural Workshop on Diagrams in Logic and Computation (DIALOCO)!
📍 Affiliated with FLoC 26
🗓️ July 19, 2026 | Lisbon, 🇵🇹
If you work on string diagrams, proof nets, visual proof assistants, or any other use of diagrammatic methods in logic/computer science, we want to hear from you. We strongly encourage submissions from students and early-career researchers!
Full details and deadlines here: https://dialoco.github.io/dialoco26/
Co-organized with Alessandro Di Giorgio and Nathan Haydon.
Boosts appreciated!











