2018 29 November Colloquium Talk: Homotopy Type Theory and Univalent Foundations 15:30 - 16:30 Rest area 10th floor, Niels Henrik Abels hus, University of Oslo Sign Up You are now signing up for the event: 29 November 2018 | 16:30 - 17:30 | Rest area 10th floor, Niels Henrik Abels hus, University of Oslo First Name Last Name Email Additional Information Read More
2018 22 November Book Launch: Domestication Gone Wild 17:00 - 18:00 Litteraturhuset Sign Up You are now signing up for the event: 22 November 2018 | 18:00 - 19:00 | Litteraturhuset First Name Last Name Email Additional Information Read More