In collaboration with the project Cyclic Structures in Programs and Proofs (file number OCENW.XL.23.089), IPA is organising a winter school on Logic and Verification. The winter school takes place from Tuesday 20 January to Friday 23 January, 2026 at University of Twente.
Program
The program involves tutorials by several experts in the field of logic and verification. The following topic will be discussed:
- 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. Pérez – University of Groningen - Program Verification using Concurrent Separation Logic
Robbert Krebbers – Radboud University Nijmegen
A complete overview of the program including abstracts is available on the website of the winter school. Participants who complete the course will be awarded 2 ECTS and an IPA course certificate.
Registration
All details about registration are available via https://cyclic-structures.gitlab.io/school2026/. The registration deadline is January 4th. The costs of registration (including the dinner/social event) will be reimbursed by IPA. Details about the reimbursement procedure will be shared with participants at a later moment.
Accommodation
IPA can also arrange accommodation for those who are unable to commute each to to/from the course. Please contact ipa@tue.nl in order to discuss the options.