BEGIN:VCALENDAR
PRODID:-//Emacs//NONSGML icalendar.el//EN
VERSION:2.0
BEGIN:VEVENT
UID:emacs1768922686607956471122
DTSTART;VALUE=DATE-TIME:20260120T110000
DTEND;VALUE=DATE-TIME:20260120T113000
SUMMARY:Registration
LOCATION:U Park Hotel
END:VEVENT
BEGIN:VEVENT
UID:emacs1768922686608205237123
DTSTART;VALUE=DATE-TIME:20260120T113000
DTEND;VALUE=DATE-TIME:20260120T122500
SUMMARY:Lunch
LOCATION:U Park
END:VEVENT
BEGIN:VEVENT
UID:emacs1768922686608397951124
DTSTART;VALUE=DATE-TIME:20260120T122500
DTEND;VALUE=DATE-TIME:20260120T123000
SUMMARY:Welcome
END:VEVENT
BEGIN:VEVENT
UID:emacs1768922686608611438125
DTSTART;VALUE=DATE-TIME:20260120T123000
DTEND;VALUE=DATE-TIME:20260120T140000
SUMMARY:Concurrency (Caltais)
LOCATION:Lecture room RA 2334 (Ravelijn)
END:VEVENT
BEGIN:VEVENT
UID:emacs1768922686608901495126
DTSTART;VALUE=DATE-TIME:20260120T140000
DTEND;VALUE=DATE-TIME:20260120T143000
SUMMARY:Coffee
END:VEVENT
BEGIN:VEVENT
UID:emacs1768922686609139631127
DTSTART;VALUE=DATE-TIME:20260120T143000
DTEND;VALUE=DATE-TIME:20260120T160000
SUMMARY:Session Types (Pérez)
LOCATION:Lecture room RA 2334 (Ravelijn)
END:VEVENT
BEGIN:VEVENT
UID:emacs1768922686609309164128
DTSTART;VALUE=DATE-TIME:20260120T160000
DTEND;VALUE=DATE-TIME:20260120T163000
SUMMARY:Coffee
END:VEVENT
BEGIN:VEVENT
UID:emacs1768922686609498463129
DTSTART;VALUE=DATE-TIME:20260120T163000
DTEND;VALUE=DATE-TIME:20260120T180000
SUMMARY:Category Theory (Basold)
LOCATION:Work room RA 2504 (Ravelijn)
END:VEVENT
BEGIN:VEVENT
UID:emacs1768922686609671049130
DTSTART;VALUE=DATE-TIME:20260120T180000
DTEND;VALUE=DATE-TIME:20260120T193000
SUMMARY:Drinks and snacks
LOCATION:U Park Hotel
END:VEVENT
BEGIN:VEVENT
UID:emacs1768922686609844362131
DTSTART;VALUE=DATE-TIME:20260121T090000
DTEND;VALUE=DATE-TIME:20260121T103000
SUMMARY:Agda (Cockx)
LOCATION:Lecture room RA 3237 (Ravelijn)
END:VEVENT
BEGIN:VEVENT
UID:emacs1768922686610010950132
DTSTART;VALUE=DATE-TIME:20260121T103000
DTEND;VALUE=DATE-TIME:20260121T110000
SUMMARY:Coffee
END:VEVENT
BEGIN:VEVENT
UID:emacs1768922686610190397133
DTSTART;VALUE=DATE-TIME:20260121T110000
DTEND;VALUE=DATE-TIME:20260121T123000
SUMMARY:Session Types (Pérez)
LOCATION:Work room RA 3231 (Ravelijn)
END:VEVENT
BEGIN:VEVENT
UID:emacs1768922686610368711134
DTSTART;VALUE=DATE-TIME:20260121T123000
DTEND;VALUE=DATE-TIME:20260121T140000
SUMMARY:Lunch
LOCATION:U Park
END:VEVENT
BEGIN:VEVENT
UID:emacs1768922686610544359135
DTSTART;VALUE=DATE-TIME:20260121T140000
DTEND;VALUE=DATE-TIME:20260121T153000
SUMMARY:Coalgebra (Basold)
LOCATION:Lecture room RA 3237 (Ravelijn)
END:VEVENT
BEGIN:VEVENT
UID:emacs1768922686610720132136
DTSTART;VALUE=DATE-TIME:20260121T153000
DTEND;VALUE=DATE-TIME:20260121T160000
SUMMARY:Coffee
END:VEVENT
BEGIN:VEVENT
UID:emacs1768922686610902678137
DTSTART;VALUE=DATE-TIME:20260121T160000
DTEND;VALUE=DATE-TIME:20260121T173000
SUMMARY:Coalgebraic Modal Logic (Hansen)
LOCATION:Work room RA 3231 (Ravelijn)
END:VEVENT
BEGIN:VEVENT
UID:emacs1768922686611084176138
DTSTART;VALUE=DATE-TIME:20260121T180000
DTEND;VALUE=DATE-TIME:20260121T210000
SUMMARY:Social Dinner
LOCATION:Restaurant De Broeierd, Hengelosestraat 725
END:VEVENT
BEGIN:VEVENT
UID:emacs1768922686611272633139
DTSTART;VALUE=DATE-TIME:20260122T090000
DTEND;VALUE=DATE-TIME:20260122T103000
SUMMARY:Session Types (Pérez)
LOCATION:CR 2M (Carré)
END:VEVENT
BEGIN:VEVENT
UID:emacs1768922686611460252140
DTSTART;VALUE=DATE-TIME:20260122T103000
DTEND;VALUE=DATE-TIME:20260122T110000
SUMMARY:Cofee
LOCATION:CR 2M (Carré)
END:VEVENT
BEGIN:VEVENT
UID:emacs1768922686611647696141
DTSTART;VALUE=DATE-TIME:20260122T110000
DTEND;VALUE=DATE-TIME:20260122T123000
SUMMARY:Separation Logic (Krebbers)
LOCATION:CR 2H (Carré)
END:VEVENT
BEGIN:VEVENT
UID:emacs1768922686611817484142
DTSTART;VALUE=DATE-TIME:20260122T123000
DTEND;VALUE=DATE-TIME:20260122T140000
SUMMARY:Lunch
LOCATION:U Park
END:VEVENT
BEGIN:VEVENT
UID:emacs1768922686611985616143
DTSTART;VALUE=DATE-TIME:20260122T140000
DTEND;VALUE=DATE-TIME:20260122T153000
SUMMARY:Separation Logic (Krebbers)
LOCATION:CR 2M (Carré)
END:VEVENT
BEGIN:VEVENT
UID:emacs1768922686612148512144
DTSTART;VALUE=DATE-TIME:20260122T153000
DTEND;VALUE=DATE-TIME:20260122T160000
SUMMARY:Coffee
LOCATION:CR 2M (Carré)
END:VEVENT
BEGIN:VEVENT
UID:emacs1768922686612322150145
DTSTART;VALUE=DATE-TIME:20260122T160000
DTEND;VALUE=DATE-TIME:20260122T173000
SUMMARY:Coalgebra (Basold)
LOCATION:CR 2H (Carré)
END:VEVENT
BEGIN:VEVENT
UID:emacs1768922686612509059146
DTSTART;VALUE=DATE-TIME:20260123T160000
DTEND;VALUE=DATE-TIME:20260123T173000
SUMMARY:Causality (Caltais)
LOCATION:LA 2310 (Langezijds)
END:VEVENT
BEGIN:VEVENT
UID:emacs1768922686612697855147
DTSTART;VALUE=DATE-TIME:20260123T103000
DTEND;VALUE=DATE-TIME:20260123T110000
SUMMARY:Coffee
LOCATION:LA 2310 (Langezijds)
END:VEVENT
BEGIN:VEVENT
UID:emacs1768922686612871200148
DTSTART;VALUE=DATE-TIME:20260123T110000
DTEND;VALUE=DATE-TIME:20260123T123000
SUMMARY:Agda (Cockx)
LOCATION:LA 2209 (Langezijds)
END:VEVENT
BEGIN:VEVENT
UID:emacs1768922686613045195149
DTSTART;VALUE=DATE-TIME:20260123T123000
DTEND;VALUE=DATE-TIME:20260123T140000
SUMMARY:Lunch
LOCATION:U Park
END:VEVENT
BEGIN:VEVENT
UID:emacs1768922686613231414150
DTSTART;VALUE=DATE-TIME:20260123T140000
DTEND;VALUE=DATE-TIME:20260123T153000
SUMMARY:Agda (Cockx)
LOCATION:LA 2310 (Langezijds)
END:VEVENT
BEGIN:VEVENT
UID:emacs1768922686613417484151
DTSTART;VALUE=DATE-TIME:20260123T153000
DTEND;VALUE=DATE-TIME:20260123T160000
SUMMARY:Coffee
LOCATION:LA 2310 (Langezijds)
END:VEVENT
BEGIN:VEVENT
UID:emacs1768922686613622469152
DTSTART;VALUE=DATE-TIME:20260123T090000
DTEND;VALUE=DATE-TIME:20260123T103000
SUMMARY:Separation Logic (Krebbers)
LOCATION:LA 2209 (Langezijds)
END:VEVENT
END:VCALENDAR