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.
We are in the process of registering past events. This is comprehensive, so please bear with us until the registration is complete.
November 2019 | |
---|---|
|
Lecture: A Handbook for New Stoics: How to Thrive in a World Out of Your Control
6:00 pm
- 8:00 pm
Litteraturhuset |
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 |
Drammensveien 78 0271 Oslo Norway | +47 22 12 25 00 cas@cas.oslo.no |