20 - 23 January 2026, 2026 Dutch Winter School on Logic and Verification

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.