Logic seminar2013V

Program for the seminar in Logic, Spring 2013

17.01 - Planning

24.01 - Dag Normann

31.01 - Frode Bjørdal

07.02 - Frode Bjørdal

14.02 - Dag Normann

21.02 - Herman Ruge Jervell

28.02 - Jon Litland

07.03 - Jon Litland

14.03 - Frode Bjørdal

21.03 - Dag Normann - Turing Machines working in transfinite time

04.04 - Cancelled

11.04 - Cancelled

18.04 - Cancelled

25.04 - Cancelled

02.05 - Cancelled

16.05 - Casper Storm Hansen - Supervaluated Truth on Posets

23.05 - Cancelled

 

The program may be subject to changes, partly depending on if, and when we have visitors.

Peter Aczel has accepted to give this years Skolem Lecture, information will appear later.

Published Jan. 17, 2013 11:22 AM - Last modified May 13, 2013 2:24 PM