Natural Sciences, Medicine, Mathmatics
Upcoming events from the research group in Natural Sciences/ Medicine/ Mathmatics will be displayed here.
| March 2019 | |
|---|---|
|
|
Colloquium Talk: An introduction to formalization of proofs in UniMath
2:15 pm
- 4:00 pm
B1120, Niels Henrik Abels hus, University of Oslo |
|
|
Colloquium Talk: An introduction to Agda
1:15 pm
- 2:30 pm
9460, Ole-Johan Dahls hus, Univerity of Oslo |
| June 2019 | |
|
|
Conference: TYPES 2019
(all day)
Ingeniørenes Hus Møtesenter |
|
|
Workshop: HoTT-UF
(all day)
Ingneiørenes Hus Møtesenter |
