BEGIN:VCALENDAR
VERSION:2.0
PRODID:-//VIS//Events//EN
METHOD:PUBLISH
BEGIN:VEVENT
UID:1114@vis.ethz.ch
SEQUENCE:0
DTSTAMP:20261026T040255Z
DTSTART:20260629T070000Z
DTEND:20260703T100000Z
SUMMARY:PVW Formal Methods and Functional Programming\, Week 1 Morning\, F
 S26
DESCRIPTION:Exam preparation workshop for the course " Formal Methods and 
 Functional Programming". Monday 29.06.2026 - Friday 03.07.2026\,  09:00 - 
 12:00\, Teaching assistant: Yannick Funke\, Language: DE 
URL;VALUE=URI:https://vis.ethz.ch/en/events/1114
END:VEVENT
END:VCALENDAR