Loading…
This event has ended. View the official site or create your own event → Check it out
This event has ended. Create your own

View analytic
Thursday, August 6 • 09:00 - 10:30
Plenary Lecture: Steve Awodey

Sign up or log in to save this to your schedule and see who's attending!

6 August, 09:00pm – 10:30am


 

SPEAKER AND TITLE


Cubical homotopy type theory and univalence
Steve Awodey, Carnegie Mellon University, Pittsburgh, UNITED STATES

Chairs
JV

Jouko Väänänen

University of Helsinki

Speakers
SA

Steve Awodey

Carnegie Mellon University



Thursday August 6, 2015 09:00 - 10:30
Porthania I Yliopistonkatu 3

Attendees (44)