Name: Seminar on Lean
Start: 2022-02-25T13:00:00+01:00
End: 2022-06-03T15:00:00+02:00
Location: Institut für Mathematik, UZH

Focus on:

Back to Conference View

Choose timezone

Your profile timezone:

Use timezone based on: Event/category Custom

Select a custom timezone

Seminar on Lean

from Friday, 25 February 2022 (13:00) to Friday, 3 June 2022 (15:00)
Institut für Mathematik, UZH (Y27H12)

: Sessions

: Talks

: Breaks

Share this page