Events by date

Thursday, November 15, 2018

Thursday, November 15, 2018 — 3:00 PM EST
Andrej Vukovic, Pure Math Department, University of Waterloo   "Univalence Implies Function Extensionality"   Since we did not get around to it last time, in this week's meeting of the Homotopy Type Theory Seminar, we prove that univalence implies function extensionality.   MC 5413
Thursday, November 15, 2018 — 3:00 PM EST

Daniel Perales Anaya, Pure Math Department, University of Waterloo

"Random matrices, interlacing families of polynomials, and the expected characteristic polynomial"

Thursday, November 15, 2018 — 4:00 PM EST

Remi Jaoui, Pure Math Department, University of Waterloo

"Pseudo-finite sets and dimension, Part 5"

In this second talk on probability logic, I will discuss stability for terms (or real-valued formulas) in probability logic.

  MC 5403

S M T W T F S
28
29
30
31
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
1
  1. 2022 (60)
    1. May (12)
    2. April (14)
    3. March (15)
    4. February (12)
    5. January (7)
  2. 2021 (135)
    1. December (11)
    2. November (22)
    3. October (15)
    4. September (5)
    5. August (15)
    6. July (17)
    7. June (15)
    8. May (1)
    9. April (4)
    10. March (11)
    11. February (9)
    12. January (10)
  3. 2020 (103)
  4. 2019 (199)
  5. 2018 (212)
    1. December (2)
    2. November (32)
    3. October (27)
    4. September (19)
    5. August (4)
    6. July (9)
    7. June (13)
    8. May (17)
    9. April (13)
    10. March (28)
    11. February (27)
    12. January (21)
  6. 2017 (281)
  7. 2016 (335)
  8. 2015 (211)
  9. 2014 (235)
  10. 2013 (251)
  11. 2012 (135)