Spring 2024, 80715: Below is information about CMU Spring 2024 course 80715: Seminar on Homotopy Type Theory. The course number is 80715 or 80-715. The course Seminar on Homotopy Type Theory(80715) in spring 2024 has 12.0 unit. The professor Awodey is teaching the course Seminar on Homotopy Type Theory(80715) in spring 2024. The professor/instructor of Seminar on Homotopy Type Theory(80715) in spring 2024 is Awodey. The department of Seminar on Homotopy Type Theory(80715) is Philosophy. The location of Seminar on Homotopy Type Theory(80715) is Pittsburgh, Pennsylvania. The room of Seminar on Homotopy Type Theory(80715) is BH 255A. The course happens in F, from 12:00PM to 02:50PM in spring 2024.
