Calendar

Download as iCal file

Lean Seminar

Lean Seminar

Location:  Hill 425
Date & time: Wednesday, 21 February 2024 at 12:00AM - 2:00PM

This semester we will be formalizing theorems in complex analysis. The seminar will have a form of practical hans-on sessions (with lunch provided) interwoven with talks by outside speakers.

Invited speakers (always starting at 1 PM):

Feb 7 Yuri Kudryashov (Texas A&M University)
Feb 14 Sébastien Gouëzel (Uni-versité de Rennes)
March 6 David Loeffler (UniDistance Suisse)
April 10 Adam Topaz (University of Alberta)