LoCo 2026: Logic and Computation Workshop

LoCo 2026 is a workshop on Logic and Computation organized by Lancaster University, scheduled for September 10–11, 2026 in Lancaster, UK. The event explores theoretical and applied connections between mathematical logic, formal language theory, and computability, bringing together researchers in logic, theoretical computer science, and formal methods. Topics include type theory, proof systems, categorial grammar, formal semantics, and computational complexity from a logically grounded perspective. LoCo provides an informal but rigorous venue for early-stage and established researchers to present work-in-progress and engage in open discussions about foundational questions in computation. Its focused format encourages deep engagement with the mathematical underpinnings of computer science.