Seminars
Previous
The Thoralf Skolem Memorial Lecture 2022
The seminar in Mathematical Logic will take place in the meeting room of the Computer Science building Thursdays 10.15 - 12.00.
The seminar takes place in the meeting room, floor 9 of Ole Johan Dahls hus.
The room has been reserved Thursdays 10.15 - 12.00 from August 31 to November 30.
The program is subject to changes.
The Logic Seminar will take place at the same time and location as in previous terms.
The seminar takes place in the seminar room on the 9th floor of the computer science building.
The Skolem Lecture is an annual event in honor of the Norwegian mathematician and logician Thoralf Skolem.
This years Skolem Lecturer will be
Michael Rathjen, The University of Leeds:
"On relating strong type theories and set theories"
Sam Sanders, Ghent and Munich, will give a lecture with the tittle
On the contingency of predicativism.
The logic seminar will take place in B63 in NHA on Thursdays from 10.15 to 12.00.
The program is tentative. There are free slots in the program. Contact Dag Normann for suggestions or questions.
The logic seminar will take place in B63 in NHA on Thursdays from 10.15 to 12.00.
The program is tentative. There are free slots in the program. Contact Dag Normann for suggestions or questions.
This term the seminar will take place in Room GA 06 7166 in Ole-Johan Dahls hus.
Time: Thursday 10.15 - 12.00
Access to the seminar room is restricted, and requires a university identity card with right of access encoded.
Active participants with new UiO identity cards should contact Dag Normann in order to obtain access.
Occasionally, we will meet in B62 in NHA.
This years Skolem Lecture will be by Peter Aczel from The University of Manchester:
The Structure Identity Principle in Set Theory and Type Theory.
The first Nordic Spring School in Logic is organized under the auspices of the Scandinavian Logic Society and is supported by the Department of Mathematics of the University of Oslo. (Download poster here - pdf)
Program for the seminar in Logic, Spring 2013