Seminarer
Tidligere
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 Oslo-Seminar in Mathematical Logic will take place at the same time and in the same location as in the previous terms.
Thursdays 10.15 - 12.00 in the meeting room of floor 9 in the computer science building.
The Logic Seminar will take place at the same time and location as in previous terms.
The Skolem Lecturer of 2016 will be Stewart Shapiro from Ohio State University
The seminar takes place in the seminar room on the 9th floor of the computer science building.
Peter Lumsdaine, Stockholms Universitet, vil gi to seminarinnlegg, det ene på logikkseminaret.
Håkon Robbestad Gylterud, Stockholm Universitetet
The seminar will be at the same time and location as during the spring.
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.
Program for the seminar in Mathematical Logic spring 2015
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 years Skolem Lecturer lecturer is professor Kit Fine, from New York University. Fine is known for his work in logic, the philosophy of language and metaphysics.
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.
In connection with the Dr.Philos. defense of André Rognes, the two opponents are invited to give seminar talks:
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)
The seminar language this term will be English, see the corresponding webpage in English