Fall 2023, 80715: Below is information about CMU Fall 2023 course 80715: Seminar on Homotopy Type Theory. The course number is 80715 or 80-715. The course Seminar on Homotopy Type Theory(80715) in Fall 2023 has 12.0 unit. The professor Awodey is teaching the course Seminar on Homotopy Type Theory(80715) in Fall 2023. The professor/instructor of Seminar on Homotopy Type Theory(80715) in Fall 2023 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 150. The course happens in F, from 12:00PM to 02:50PM in Fall 2023.
