BEGIN:VCALENDAR
BEGIN:VEVENT
SUMMARY:PVW Formal Methods and Functional Programming\, Week 1 Morning\, F
 S26
DTSTART:20260629T090000
DTEND:20260703T120000
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 
END:VEVENT
END:VCALENDAR