20-23 January: CYCLIC Winter School, hosted at the UT The 2026 Dutch Winter School on Logic and Verification

The Dutch Winter School on Logic and Verification provides classes for PhD/graduate students in theoretical computer science, with a focus on software verification, logic, and type theory. Read more (Registration is closed.)