[TYPES/announce] 2026 Dutch Winter School on Logic and Verification, January 20-23

[Robbert Krebbers]

------------------------------------------------------------

                 *CALL FOR PARTICIPATION*
   2026 Dutch Winter School on Logic and Verification
                 January 20 - 23, 2026
          University of Twente, The Netherlands
     https://urldefense.com/v3/__https://cyclic-structures.gitlab.io/school2026/__;!!IBzWLUs!TZdwU3iW7_bhuTgJJYs3tZnBpUvi-TtAovs8qX8HG0bNrLwa9fcEZn227TT_AAUI0tI8lXO-EzYma267MPRcmY9AvS0QETaF-N0$ 

              Registration deadline:
     December 7, 2025 (early) / January 4, 2026 (late)

------------------------------------------------------------

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.

Courses and lecturers:

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

For more information and registration, see the school webpage:
https://urldefense.com/v3/__https://cyclic-structures.gitlab.io/school2026/__;!!IBzWLUs!TZdwU3iW7_bhuTgJJYs3tZnBpUvi-TtAovs8qX8HG0bNrLwa9fcEZn227TT_AAUI0tI8lXO-EzYma267MPRcmY9AvS0QETaF-N0$ 

Registration includes coffee and lunch, but not dinner nor 
accommodation. Discount codes for hotels (see website) are valid until 
November 24, 2025.

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://urldefense.com/v3/__https://doi.org/10.61686/FHYZO53064__;!!IBzWLUs!TZdwU3iW7_bhuTgJJYs3tZnBpUvi-TtAovs8qX8HG0bNrLwa9fcEZn227TT_AAUI0tI8lXO-EzYma267MPRcmY9AvS0QdENg1gU$ .