Carnegie Mellon University
Department of Philosophy  ›  Homotopy Type Theory at CMU  ›  Seminar

FALL 2024 Program

Fridays 1-3pm in BH 150 

To resume Sometime in September, a most excellent speaker —  Surprise

stay tuned

 

Earlier seminars are listed  here.