(Updated) 20 - 23 January 2026, 2026 Dutch Winter School on Logic and Verification
Date: 20 - 23 January 2026
Location: University of Twente [NL]
Target audience: PhD students
The 2026 Dutch Winter School on Logic and Verification is a 3.5 day event aimed at PhD/graduate students in theoretical computer science with an interest in 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.
The winter school is organized as part of the project "Cyclic Structures in Programs and Proofs".
Registration is open. Hotel block booking ends 24 Nov. Early registration ends 7 Dec 2025.
For more information, see
https://cyclic-structures.gitlab.io/school2026/
or contact Helle Hvid Hansen at h.h.hansen at rug.nl.