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

04-Nov-2025

Save the date — the 2026 Dutch Winter School on Logic and Verification takes place 20–23 January 2026 at the University of Twente, The Netherlands.

The winter school 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.

Courses and lecturers

• Causality in Concurrency — Georgiana Caltais (University of Twente)
• Category Theoretical and Coalgebraic Reasoning — Henning Basold (Leiden University) and Helle Hvid Hansen (University of Groningen)
• Coinductive Programming and Proving in Agda — Jesper Cockx (TU Delft)
• Session Types — Jorge A. Pérez (University of Groningen)
• Program Verification using Concurrent Separation Logic — Robbert Krebbers (Radboud University Nijmegen)

For more information, see the school webpage: https://cyclic-structures.gitlab.io/school2026/

The winter school is organized as part of the project “Cyclic Structures in Programs and Proofs” of the research program Open Competition Domain Science XL, by the Dutch Research Council (NWO) under the grant https://doi.org/10.61686/FHYZO53064.