BEGIN:VCALENDAR
VERSION:2.0
PRODID:-//HasGeek//NONSGML Funnel//EN
DESCRIPTION:Authored by Microsoft\, read by Divyanshu Ranjan
X-WR-CALDESC:Authored by Microsoft\, read by Divyanshu Ranjan
NAME:PWL Feb 2022: "Developing Verified Programs with Dafny"
X-WR-CALNAME:PWL Feb 2022: "Developing Verified Programs with Dafny"
REFRESH-INTERVAL;VALUE=DURATION:PT12H
SUMMARY:PWL Feb 2022: "Developing Verified Programs with Dafny"
TIMEZONE-ID:Asia/Kolkata
X-PUBLISHED-TTL:PT12H
X-WR-TIMEZONE:Asia/Kolkata
BEGIN:VEVENT
SUMMARY:Introductions and Icebreaker
DTSTART:20220225T120000Z
DTEND:20220225T121500Z
DTSTAMP:20260422T041556Z
UID:session/TRwHceK4xoJE48X9R8S9QA@hasgeek.com
SEQUENCE:0
CREATED:20220204T063135Z
LAST-MODIFIED:20220204T063135Z
LOCATION:Online
ORGANIZER;CN="Papers We Love Bangalore":MAILTO:no-reply@hasgeek.com
BEGIN:VALARM
ACTION:display
DESCRIPTION:Introductions and Icebreaker in 5 minutes
TRIGGER:-PT5M
END:VALARM
END:VEVENT
BEGIN:VEVENT
SUMMARY:Reading "Developing Verified Programs with Dafny"
DTSTART:20220225T121500Z
DTEND:20220225T135000Z
DTSTAMP:20260422T041556Z
UID:session/T7taxEqdpDGk1myb6Wgca5@hasgeek.com
SEQUENCE:0
CREATED:20220204T063210Z
LAST-MODIFIED:20220204T063210Z
LOCATION:Online
ORGANIZER;CN="Papers We Love Bangalore":MAILTO:no-reply@hasgeek.com
BEGIN:VALARM
ACTION:display
DESCRIPTION:Reading "Developing Verified Programs with Dafny" in 5 minutes
TRIGGER:-PT5M
END:VALARM
END:VEVENT
BEGIN:VEVENT
SUMMARY:Closing Discussions
DTSTART:20220225T135000Z
DTEND:20220225T140500Z
DTSTAMP:20260422T041556Z
UID:session/99mwJh1L77xa6UyAeQGYDP@hasgeek.com
SEQUENCE:0
CREATED:20220204T063221Z
LAST-MODIFIED:20220204T063221Z
LOCATION:Online
ORGANIZER;CN="Papers We Love Bangalore":MAILTO:no-reply@hasgeek.com
BEGIN:VALARM
ACTION:display
DESCRIPTION:Closing Discussions in 5 minutes
TRIGGER:-PT5M
END:VALARM
END:VEVENT
END:VCALENDAR