The graduate winter school is organised as part of the project Cyclic Structures in Programs and Proofs (file number OCENW.XL.23.089) of the research program Open Competition Domain Science XL, by the Dutch Research Council (NWO).

Upcoming Graduate School

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

Previous Editions

The 2026 Dutch Winter School on Logic and Verification took place 20 - 23 January 2026 at the University of Twente.