[ The Types Forum (announcements only),
http://lists.seas.upenn.edu/mailman/listinfo/types-announce ]
------------------------------------------------------------
*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$ .
