Centre for Advanced Study

at the Norwegian Academy of Science and Letters

May 2019
Workshop: History & Theory
(10 May) 9:00 am - (11 May) 5:00 pm
Turret Room, CAS
Seminar: FridaySync
1:15 pm - 4:00 pm
Centre for Advanced Study (CAS)
Seminar: FridaySync
1:15 pm - 4:00 pm
Centre for Advanced Study (CAS)
April 2019
Seminar: FridaySync
1:15 pm - 4:00 pm
Centre for Advanced Study (CAS)
Skolem Lecture 2019: Steve Awodey
10:15 am - 12:00 pm
652, Georg Morgenstiernes Hus, University of Oslo
Seminar: FridaySync
1:15 pm - 4:00 pm
Centre for Advanced Study (CAS)
Seminar: FridaySync
1:15 pm - 4:00 pm
Centre for Advanced Study (CAS)
Lunch seminar: Ethics in Research
12:00 pm - 1:00 pm
Turret Room, CAS
Seminar: FridaySync
1:15 pm - 4:00 pm
Centre for Advanced Study (CAS)
March 2019
Seminar: FridaySync
1:15 pm - 4:00 pm
Centre for Advanced Study (CAS)
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
LOGO