Go to content
Centre for Advanced Study
at the Norwegian Academy of Science and Letters
Norsk
Login
About CAS
Research
News
Events
Apply
Contact
HoTT-UF
Homotopy Type Theory and Univalent Foundations
HoTT-UF
Homotopy Type Theory and Univalent Foundations
HoTT-UF
Homotopy Type Theory and Univalent Foundations
Oslo, Norway, 12 - 14 June 2019
Programme
Tentative Programme:
Print
Email page
Tell a friend about this site
Your e-mail
Your friend's e-mail
Comment
x
Share on:
Share on Facebook
Share on LinkedIn
Share on Twitter
Subscribe to CAS Newsletter
Subscribe
HoTT-UF
Organisation
Speakers
Abstracts
Programme
Accommodation & Travel
Venue
Financial Support
Registration
Contact
Links
CAS Project: Homotopy Type Theory and Univalent Foundations
Conference: TYPES 2019
Drammensveien 78
0271 Oslo
Norway
+47 22 12 25 00
admin@cas-nor.no
Privacy Declaration
Guidelines for Research Ethics
Follow us
Go to Facebook
Go to Twitter
Go to LinkedIn
Go to Instagram
Subscribe to CAS Newsletter
Subscribe
