BEGIN:VCALENDAR
VERSION:2.0
PRODID:-//jEvents 2.0 for Joomla//EN
CALSCALE:GREGORIAN
METHOD:PUBLISH
BEGIN:VTIMEZONE
TZID:America/New_York
BEGIN:STANDARD
DTSTART:20231105T010000
RDATE:20240310T030000
TZOFFSETFROM:-0400
TZOFFSETTO:-0500
TZNAME:America/New_York EST
END:STANDARD
BEGIN:STANDARD
DTSTART:20241103T010000
RDATE:20250309T030000
TZOFFSETFROM:-0400
TZOFFSETTO:-0500
TZNAME:America/New_York EST
END:STANDARD
BEGIN:STANDARD
DTSTART:20251102T010000
RDATE:20260308T030000
TZOFFSETFROM:-0400
TZOFFSETTO:-0500
TZNAME:America/New_York EST
END:STANDARD
BEGIN:STANDARD
DTSTART:20261101T010000
RDATE:20270314T030000
TZOFFSETFROM:-0400
TZOFFSETTO:-0500
TZNAME:America/New_York EST
END:STANDARD
BEGIN:STANDARD
DTSTART:20271107T010000
RDATE:20280312T030000
TZOFFSETFROM:-0400
TZOFFSETTO:-0500
TZNAME:America/New_York EST
END:STANDARD
BEGIN:STANDARD
DTSTART:20281105T010000
RDATE:20290311T030000
TZOFFSETFROM:-0400
TZOFFSETTO:-0500
TZNAME:America/New_York EST
END:STANDARD
BEGIN:DAYLIGHT
DTSTART:20230327T000000
RDATE:20231105T010000
TZOFFSETFROM:-0500
TZOFFSETTO:-0400
TZNAME:America/New_York EDT
END:DAYLIGHT
BEGIN:DAYLIGHT
DTSTART:20240310T030000
RDATE:20241103T010000
TZOFFSETFROM:-0500
TZOFFSETTO:-0400
TZNAME:America/New_York EDT
END:DAYLIGHT
BEGIN:DAYLIGHT
DTSTART:20250309T030000
RDATE:20251102T010000
TZOFFSETFROM:-0500
TZOFFSETTO:-0400
TZNAME:America/New_York EDT
END:DAYLIGHT
BEGIN:DAYLIGHT
DTSTART:20260308T030000
RDATE:20261101T010000
TZOFFSETFROM:-0500
TZOFFSETTO:-0400
TZNAME:America/New_York EDT
END:DAYLIGHT
BEGIN:DAYLIGHT
DTSTART:20270314T030000
RDATE:20271107T010000
TZOFFSETFROM:-0500
TZOFFSETTO:-0400
TZNAME:America/New_York EDT
END:DAYLIGHT
BEGIN:DAYLIGHT
DTSTART:20280312T030000
RDATE:20281105T010000
TZOFFSETFROM:-0500
TZOFFSETTO:-0400
TZNAME:America/New_York EDT
END:DAYLIGHT
END:VTIMEZONE
BEGIN:VEVENT
UID:7d682faf05e2f7e4d2d5e0d4c4705de6
CATEGORIES:Lean Seminar
CREATED:20240211T171903
SUMMARY:Lean Seminar
LOCATION:Hill 425
DESCRIPTION:This semester we will be formalizing theorems in complex analysis. The semi
 nar will have a form of practical hans-on sessions (with lunch provided) in
 terwoven with talks by outside speakers.\nInvited speakers (always starting
  at 1 PM):\nFeb 7 Yuri Kudryashov (Texas A&M University)\nFeb 14 Sébast
 ien Gouëzel (Uni-versité de Rennes)\nMarch 6 David Loeffler (UniDistance Su
 isse)\nApril 10 Adam Topaz (University of Alberta)\n
X-ALT-DESC;FMTTYPE=text/html:<p>This semester we will be formalizing theorems in complex analysis. The s
 eminar will have a form of practical hans-on sessions (with lunch provided)
  interwoven with talks by outside speakers.</p><p>Invited speakers (always 
 starting at 1 PM):</p><p>Feb 7 Yuri Kudryashov (Texas A&amp;M University)<b
 r>Feb 14 Sébastien Gouëzel (Uni-versité de Rennes)<br>March 6 David Loeffle
 r (UniDistance Suisse)<br>April 10 Adam Topaz (University of Alberta)</p>
DTSTAMP:20260826T221311
DTSTART;TZID=America/New_York:20240327T000000
DTEND;TZID=America/New_York:20240327T140000
SEQUENCE:0
TRANSP:OPAQUE
END:VEVENT
END:VCALENDAR