Events by date

Monday, March 13, 2023

Monday, March 13, 2023 2:30 PM EDT

Dan Christensen, Western University

"An introduction to homotopy type theory"

S M T W T F S
26
27
28
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
30
31
1
  1. 2023 (283)
    1. October (10)
    2. September (27)
    3. August (17)
    4. July (26)
    5. June (36)
    6. May (35)
    7. April (21)
    8. March (51)
    9. February (33)
    10. January (27)
  2. 2022 (179)
    1. December (8)
    2. November (31)
    3. October (24)
    4. September (17)
    5. August (9)
    6. July (15)
    7. June (14)
    8. May (13)
    9. April (14)
    10. March (15)
    11. February (12)
    12. January (7)
  3. 2021 (135)
  4. 2020 (103)
  5. 2019 (199)
  6. 2018 (212)
  7. 2017 (281)
  8. 2016 (335)
  9. 2015 (211)
  10. 2014 (234)
  11. 2013 (249)
  12. 2012 (134)