Centre for Advanced Study

at the Norwegian Academy of Science and Letters

April 2019
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
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)
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)
February 2019
Seminar: FridaySync
1:15 pm - 4:00 pm
Centre for Advanced Study (CAS)
LOGO