BEGIN:VCALENDAR
VERSION:2.0
PRODID:-//LatestConferences.com//EN
CALSCALE:GREGORIAN
METHOD:PUBLISH
BEGIN:VEVENT
UID:conf-312@latestconferences.com
SUMMARY:LoCo 2026: Logic and Computation Workshop
DTSTART;VALUE=DATE:20260910
DTEND;VALUE=DATE:20260912
LOCATION:Lancaster\, United Kingdom
DESCRIPTION: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\, cat | https://latestconferences.com/loco-2026-logic-and-computation-workshop
URL:https://latestconferences.com/loco-2026-logic-and-computation-workshop
BEGIN:VALARM
TRIGGER;VALUE=DATE-TIME:20260630T090000Z
ACTION:DISPLAY
DESCRIPTION:Submission deadline: LoCo 2026: Logic and Computation Workshop
END:VALARM
END:VEVENT
END:VCALENDAR