BEGIN:VCALENDAR
VERSION:2.0
PRODID:ILLC Website
X-WR-TIMEZONE:Europe/Amsterdam
BEGIN:VTIMEZONE
TZID:Europe/Amsterdam
X-LIC-LOCATION:Europe/Amsterdam
BEGIN:DAYLIGHT
TZOFFSETFROM:+0100
TZOFFSETTO:+0200
TZNAME:CEST
DTSTART:19700329T020000
RRULE:FREQ=YEARLY;BYMONTH=3;BYDAY=-1SU
END:DAYLIGHT
BEGIN:STANDARD
TZOFFSETFROM:+0200
TZOFFSETTO:+0100
TZNAME:CET
DTSTART:19701025T030000
RRULE:FREQ=YEARLY;BYMONTH=10;BYDAY=-1SU
END:STANDARD
END:VTIMEZONE
BEGIN:VEVENT
UID:/NewsandEvents/Archives/current/newsitem/15887
 /20---23-January-2026-2026-Dutch-Winter-School-on-
 Logic-and-Verification
DTSTAMP:20251201T153441
SUMMARY:2026 Dutch Winter School on Logic and Veri
 fication
DTSTART;VALUE=DATE:20260120
DTEND;VALUE=DATE:20260123
LOCATION:University of Twente [NL]
DESCRIPTION:The 2026 Dutch Winter School on Logic 
 and Verification is a 3.5 day event aimed at PhD/g
 raduate students in theoretical computer science w
 ith an interest in software verification, logic, a
 nd type theory. Strong master students, as well as
  researchers and practitioners, are equally welcom
 e. Participants are expected to have a background 
 in theoretical computer science, mathematics or a 
 related discipline at a master’s level, and have b
 asic familiarity with (functional) programming, se
 mantics, and logic.  The winter school is organize
 d as part of the project "Cyclic Structures in Pro
 grams and Proofs".  Registration is open. Hotel bl
 ock booking ends 24 Nov. Early registration ends 7
  Dec 2025.
X-ALT-DESC;FMTTYPE=text/html:\n  <p>The <em>2026 D
 utch Winter School on Logic and Verification</em> 
 is a 3.5 day event aimed at PhD/graduate students 
 in theoretical computer science with an interest i
 n software verification, logic, and type theory. S
 trong master students, as well as researchers and 
 practitioners, are equally welcome. Participants a
 re expected to have a background in theoretical co
 mputer science, mathematics or a related disciplin
 e at a master’s level, and have basic familiarity 
 with (functional) programming, semantics, and logi
 c.</p>\n  <p>The winter school is organized as par
 t of the project &quot;Cyclic Structures in Progra
 ms and Proofs&quot;.</p>\n  <p>Registration is ope
 n. Hotel block booking ends 24 Nov. Early registra
 tion ends 7 Dec 2025.</p>\n
URL:https://cyclic-structures.gitlab.io/school2026
 /
CONTACT:Helle Hvid Hansen at h.h.hansen at rug.nl
END:VEVENT
END:VCALENDAR