The Dutch Winter School on Logic and Verification will take place on January 20 - 23, 2026 at Twente, organized by the University of Twente under the auspices of our project.

The school provides classes for PhD/graduate students in theoretical computer science, with a focus on software verification, logic, and type theory. Strong master students, as well as researchers and practitioners, are equally welcome. Participants are expected to have a background in theoretical computer science, mathematics or a related discipline at a master’s level, and have basic familiarity with (functional) programming, semantics, and logic.

See the website of the winter school for more information.