BEGIN:VCALENDAR
METHOD:REQUEST
PRODID:Microsoft Exchange Server 2010
VERSION:2.0
BEGIN:VTIMEZONE
TZID:Pacific Standard Time
BEGIN:STANDARD
DTSTART:16010101T020000
TZOFFSETFROM:-0700
TZOFFSETTO:-0800
RRULE:FREQ=YEARLY;INTERVAL=1;BYDAY=1SU;BYMONTH=11
END:STANDARD
BEGIN:DAYLIGHT
DTSTART:16010101T020000
TZOFFSETFROM:-0800
TZOFFSETTO:-0700
RRULE:FREQ=YEARLY;INTERVAL=1;BYDAY=2SU;BYMONTH=3
END:DAYLIGHT
END:VTIMEZONE
BEGIN:VEVENT
ORGANIZER;CN=Nikhil Swamy:mailto:nswamy@microsoft.com
ATTENDEE;ROLE=REQ-PARTICIPANT;PARTSTAT=NEEDS-ACTION;RSVP=TRUE;CN=fstar-mail
 ing-list@googlegroups.com:mailto:fstar-mailing-list@googlegroups.com
DESCRIPTION;LANGUAGE=en-US:Guido will present an introduction to tactics an
 d metaprogramming. It should be a great way to start learning about how to
  do proofs more interactively and with ad hoc user-defined automation.\n\n
 Hope to see you there!\nNik\n\n\n\nZoom link: https://cmu.zoom.us/j/978044
 14550?pwd=Q3NQWjRxNWwwYnVLSDVSMllmb01jQT09\n\nhttp://fstar-lang.org/popup/
 seminar.html\n\n
UID:040000008200E00074C5B7101A82E00800000000906F91960DD7D801000000000000000
 0100000000629B0A83AF2664F85B9E30985AC5E6F
SUMMARY;LANGUAGE=en-US:F* PoP Up Seminar: Guido Martínez on tactics & Meta
 -F*
DTSTART;TZID=Pacific Standard Time:20221011T083000
DTEND;TZID=Pacific Standard Time:20221011T093000
CLASS:PUBLIC
PRIORITY:5
DTSTAMP:20221003T165425Z
TRANSP:OPAQUE
STATUS:CONFIRMED
SEQUENCE:0
LOCATION;LANGUAGE=en-US:Zoom link: https://cmu.zoom.us/j/97804414550?pwd=Q3
 NQWjRxNWwwYnVLSDVSMllmb01jQT09
X-MICROSOFT-CDO-APPT-SEQUENCE:0
X-MICROSOFT-CDO-OWNERAPPTID:306423782
X-MICROSOFT-CDO-BUSYSTATUS:TENTATIVE
X-MICROSOFT-CDO-INTENDEDSTATUS:BUSY
X-MICROSOFT-CDO-ALLDAYEVENT:FALSE
X-MICROSOFT-CDO-IMPORTANCE:1
X-MICROSOFT-CDO-INSTTYPE:0
X-MICROSOFT-SKYPETEAMSMEETINGURL:
X-MICROSOFT-SCHEDULINGSERVICEUPDATEURL:
X-MICROSOFT-SKYPETEAMSPROPERTIES:
X-MICROSOFT-ONLINEMEETINGCONFLINK:
X-MICROSOFT-DONOTFORWARDMEETING:FALSE
X-MICROSOFT-DISALLOW-COUNTER:FALSE
X-MICROSOFT-LOCATIONS:[ { "DisplayName" : "Zoom link: https://cmu.zoom.us/j
 /97804414550?pwd=Q3NQWjRxNWwwYnVLSDVSMllmb01jQT09"\, "LocationAnnotation" 
 : ""\, "LocationSource" : 0\, "Unresolved" : true\, "LocationUri" : "" } ]
BEGIN:VALARM
DESCRIPTION:REMINDER
TRIGGER;RELATED=START:-PT15M
ACTION:DISPLAY
END:VALARM
END:VEVENT
END:VCALENDAR