Centre for Advanced Study

at the Norwegian Academy of Science and Letters

March 2019
Seminar: FridaySync
1:15 pm - 4:00 pm
Centre for Advanced Study (CAS)
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)
Seminar: FridaySync
1:15 pm - 4:00 pm
Centre for Advanced Study (CAS)
Workshop: Evolutionary perspectives on the demise of religions
(all day)
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)
January 2019
Seminar: FridaySync
1:15 pm - 4:00 pm
Centre for Advanced Study (CAS)
LOGO