Events archive
| 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) |
