BEGIN:VCALENDAR
VERSION:2.0
PRODID:-//HasGeek//NONSGML Funnel//EN
DESCRIPTION:PWL Bangalore February 2024 Meetup
X-WR-CALDESC:PWL Bangalore February 2024 Meetup
NAME:PWL Feb 2024: The Human Factors of Formal Methods with Shriram Krishn
 amurthi
X-WR-CALNAME:PWL Feb 2024: The Human Factors of Formal Methods with Shrira
 m Krishnamurthi
REFRESH-INTERVAL;VALUE=DURATION:PT12H
SUMMARY:PWL Feb 2024: The Human Factors of Formal Methods with Shriram Kri
 shnamurthi
TIMEZONE-ID:Asia/Kolkata
X-PUBLISHED-TTL:PT12H
X-WR-TIMEZONE:Asia/Kolkata
BEGIN:VEVENT
SUMMARY:Introductions and Icebreaker
DTSTART:20240219T123000Z
DTEND:20240219T130000Z
DTSTAMP:20260421T142215Z
UID:session/SPUgWyRy84zUH7ddeoyDHL@hasgeek.com
SEQUENCE:1
CREATED:20240121T163024Z
DESCRIPTION:A warm-up period to account for last-minute emergencies and Ba
 ngalore traffic. We will do introductions and meta talk.
LAST-MODIFIED:20240121T163028Z
LOCATION:Microsoft Reactor\, Bangalore
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:"HF4FM" by Shriram Krishnamurthy
DTSTART:20240219T130000Z
DTEND:20240219T150000Z
DTSTAMP:20260421T142215Z
UID:session/XuUQRKWN3fTsxoHKLz55iQ@hasgeek.com
SEQUENCE:1
CREATED:20240121T163126Z
DESCRIPTION:The main session\, where Prof Shriram discusses his research a
 nd ideas.
LAST-MODIFIED:20240121T163132Z
LOCATION:Microsoft Reactor\, Bangalore
ORGANIZER;CN="Papers We Love Bangalore":MAILTO:no-reply@hasgeek.com
BEGIN:VALARM
ACTION:display
DESCRIPTION:"HF4FM" by Shriram Krishnamurthy in 5 minutes
TRIGGER:-PT5M
END:VALARM
END:VEVENT
BEGIN:VEVENT
SUMMARY:Wind down & Networking
DTSTART:20240219T150000Z
DTEND:20240219T153000Z
DTSTAMP:20260421T142215Z
UID:session/9WkRge7ysUZJ4uqF5Kuw53@hasgeek.com
SEQUENCE:0
CREATED:20240121T163209Z
DESCRIPTION:Relax\, let your guard down\, and have fun nerding out with fe
 llow readers.
LAST-MODIFIED:20240121T163209Z
LOCATION:Microsoft Reactor\, Bangalore
ORGANIZER;CN="Papers We Love Bangalore":MAILTO:no-reply@hasgeek.com
BEGIN:VALARM
ACTION:display
DESCRIPTION:Wind down & Networking in 5 minutes
TRIGGER:-PT5M
END:VALARM
END:VEVENT
END:VCALENDAR