Events

Previous

Time and place: Aug. 25, 2016 10:15 AM - 12:00 PM, 9th floor-Ole Johan Dahls hus

The Logic Seminar will take place at the same time and location as in previous terms.

Time: Jan. 28, 2016 10:15 AM - 12:00 PM

The seminar takes place in the seminar room on the 9th floor of the computer science building.

Time and place: May 23, 2015 - May 24, 2015, University of Oslo

Fourteenth International Workshop

Time and place: May 21, 2015 1:15 PM - 2:15 PM, Georg Sverdrups hus, Aud. 1

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"

 

Time and place: May 21, 2015 - May 22, 2015, University of Oslo
Time and place: Mar. 12, 2015 10:15 AM - 12:00 PM, Ole Johan Dahls hus, m√łterommet i etasje 9

Sam Sanders, Ghent and Munich, will give a lecture with the tittle

On the contingency of predicativism.

Time and place: Aug. 21, 2014 10:15 AM - 12:00 PM, B 63

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.

Time and place: Jan. 16, 2014 10:15 AM - 12:00 PM, B63

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.

Time and place: Aug. 22, 2013 10:15 AM, Ole Johan Dahls Hus

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.

Time and place: June 12, 2013 2:15 PM - 4:00 PM, Auditorium 4, VB

This years Skolem Lecture will be by Peter Aczel from The University of Manchester:

 

The Structure Identity Principle in Set Theory and Type Theory.

Time and place: May 27, 2013 - May 31, 2013, Sophus Lie Conference Center, Nordfjordeid, Norway

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)

Time and place: Jan. 28, 2013 10:15 AM - 12:00 PM, B 62

Program for the seminar in Logic, Spring 2013

Time and place: Aug. 23, 2012 10:15 AM, B 301