BEGIN:VCALENDAR
VERSION:2.0
PRODID:-//UniDistance - Fernuni/Events//
CALSCALE:GREGORIAN
METHOD:PUBLISH
BEGIN:VTIMEZONE
TZID:Europe/Zurich
BEGIN:STANDARD
DTSTART:20261025T010000
TZOFFSETTO:+0100
TZOFFSETFROM:+0200
RRULE:FREQ=YEARLY;BYMONTH=11;BYDAY=1SU
END:STANDARD
BEGIN:DAYLIGHT
DTSTART:20260329T010000
TZOFFSETTO:+0200
TZOFFSETFROM:+0100
RRULE:FREQ=YEARLY;BYMONTH=3;BYDAY=2SU
END:DAYLIGHT
END:VTIMEZONE
BEGIN:VEVENT
UID:3094
DTSTART:20260325T091500
DTEND:20260327T180000
SUMMARY:SMS Spring Meeting: Formalization and Proof Assistants
DESCRIPTION:The spring meeting of the Swiss Mathematical Society takes
  place at UniDistance on 27th March 2026\, accompanied by a 3-day work
 shop (25th-27th) on "Formalization and Proof Assistants".
LOCATION:UniDistance Suisse\, Schinerstrasse 18\n3900 Brigue
DTSTAMP:20261027T235504Z
END:VEVENT
END:VCALENDAR