Natural Sciences / Medicine / Mathemathics
We are in the process of registering past events. This is comprehensive, so please bear with us until the registration is complete.
| September 2019 | |
|---|---|
|
|
Lecture: How to Tackle Kinds without Talking About ‘Natural Kinds’
2:15 pm
- 3:30 pm
Georg Sverdrups hus Undervisningsrom 1, University of Oslo |
| June 2019 | |
|
|
Conference: TYPES 2019
(all day)
Ingeniørenes Hus Møtesenter |
|
|
Workshop: HoTT-UF
(all day)
Ingneiørenes Hus Møtesenter |
| April 2019 | |
|
|
Skolem Lecture 2019: Steve Awodey
10:15 am
- 12:00 pm
652, Georg Morgenstiernes Hus, University of Oslo |
| March 2019 | |
|
|
Colloquium Talk: An introduction to Agda
1:15 pm
- 2:30 pm
9460, Ole-Johan Dahls hus, Univerity of Oslo |
|
|
Colloquium Talk: An introduction to formalization of proofs in UniMath
2:15 pm
- 4:00 pm
B1120, Niels Henrik Abels hus, University of Oslo |
| November 2018 | |
|
|
Colloquium Talk: Homotopy Type Theory and Univalent Foundations
2:30 pm
- 3:30 pm
Rest area 10th floor, Niels Henrik Abels hus, University of Oslo |
| August 2018 | |
|
|
CAS project kick-off: 'Homotopy Type Theory and Univalent Foundations'
(all day)
Turret room, CAS |
| June 2018 | |
|
|
Conference: Atoms, Molecules, and Materials in Extreme Environments
(4 Jun) 9:00 am
- (6 Jun) 2:00 pm
The Norwegian Academy of Science and Letters |
| January 2018 | |
|
|
Conference: Molecules in Extreme Environments - Midterm Meeting
(15 Jan) 9:30 am
- (17 Jan) 12:00 pm
The Norwegian Academy of Science and Letters |
| June 2017 | |
|
|
Conference: Complex Dynamics: Iterations, Foliations and Evolutions
(19 Jun) 12:00 am
- (23 Jun) 11:59 pm
Hotel Gabelshus, Oslo |
| May 2017 | |
|
|
Talk: The Linearization Problem
1:15 pm
- 2:30 pm
Turret Room, CAS Oslo |
