Logic Seminar Spring 2014

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

Program:

16.01.2014: Planning and discussion

13.02.2014: Lars Kristiansen

20-27.02.2014: Dag Normann gives an introduction to Pi-1-2-logic

06-20.03.2014: Herman Ruge Jervell

27.03.2014 Cancelled

03.04.2014: Dag Normann presents the book Higher order computability with John Longley

08-15.05.2014: Øystein Linnebo

22.05.2014: Frode Bjørdal

The program will be subject to changes and supplements.

Published Jan. 13, 2014 11:45 AM - Last modified Mar. 18, 2014 11:54 AM