The 2027 Dutch Winter School on Logic and Verification will place 18 - 22 January 2027 at Leiden University.

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.