BEGIN:VCALENDAR
VERSION:2.0
PRODID:-//ICARM - ECPv6.15.20//NONSGML v1.0//EN
CALSCALE:GREGORIAN
METHOD:PUBLISH
X-ORIGINAL-URL:https://icarm.io
X-WR-CALDESC:Events for ICARM
REFRESH-INTERVAL;VALUE=DURATION:PT1H
X-Robots-Tag:noindex
X-PUBLISHED-TTL:PT1H
BEGIN:VTIMEZONE
TZID:America/New_York
BEGIN:DAYLIGHT
TZOFFSETFROM:-0500
TZOFFSETTO:-0400
TZNAME:EDT
DTSTART:20250309T070000
END:DAYLIGHT
BEGIN:STANDARD
TZOFFSETFROM:-0400
TZOFFSETTO:-0500
TZNAME:EST
DTSTART:20251102T060000
END:STANDARD
BEGIN:DAYLIGHT
TZOFFSETFROM:-0500
TZOFFSETTO:-0400
TZNAME:EDT
DTSTART:20260308T070000
END:DAYLIGHT
BEGIN:STANDARD
TZOFFSETFROM:-0400
TZOFFSETTO:-0500
TZNAME:EST
DTSTART:20261101T060000
END:STANDARD
BEGIN:DAYLIGHT
TZOFFSETFROM:-0500
TZOFFSETTO:-0400
TZNAME:EDT
DTSTART:20270314T070000
END:DAYLIGHT
BEGIN:STANDARD
TZOFFSETFROM:-0400
TZOFFSETTO:-0500
TZNAME:EST
DTSTART:20271107T060000
END:STANDARD
END:VTIMEZONE
BEGIN:VEVENT
DTSTART;VALUE=DATE:20260707
DTEND;VALUE=DATE:20260719
DTSTAMP:20260503T055404
CREATED:20251204T173416Z
LAST-MODIFIED:20260124T174530Z
UID:441-1783382400-1784419199@icarm.io
SUMMARY:Summer School on Formalization of Mathematics
DESCRIPTION:Workshop web page
URL:https://icarm.io/event/summer-school-on-formalization-of-mathematics/
LOCATION:Private: ICARM\, 5000 Forbes Ave\, Pittsburgh\, PA\, 15213\, United States
END:VEVENT
END:VCALENDAR