This event has passed.

Applied Category Theory Seminar

Name: Applied Category Theory Seminar
Start: 2023-01-24T11:00:00+00:00
End: 2023-01-24T12:00:00+00:00
Location: Weber 201

January 24, 2023 @ 11:00 am - 12:00 pm

Professor James Wilson will be giving a high-level survey of where we are going with Homotopy Type Theory this semester.

Details

Date:: January 24, 2023
Time:: 11:00 am - 12:00 pm

Venue

: Weber 201

This calendar is used exclusively for events or announcements sponsored by the Department of Mathematics, the College of Natural Sciences or Colorado State University.

Have an event you'd like to add? Submit your request here.