Logic Seminar Autumn 2019

The seminar in Mathematical Logic will take place in the meeting room of the Computer Science building Thursdays 10.15 - 12.00.

 

Program:

 

29.08.2019: Herman Ruge Jervell

05.09.2019: Herman Ruge Jervell/Dag Normann

12.09.2019: Juvenal Murwanashyaka

19.09.2019: Juvenal Murwanashyaka

26.09.2019: Laura Crosilla: Predicativity: some history, some problems.

03.10.2019: Lars Kristiansen

10.19.2019: Lars Kristiansen

17.10.2019: Canceled 

24.10.2019: Dag Normann: On the project with Sam Sanders

31.10.2019: Normann/Kristiansen Informal discussion of complexity issues

07.11.2019: Øystein Linnebo

14.11.2019: Dag Normann Borel decides what are well orderings

21.11.2019: Sam Roberts

28.11.2019: Øystein Linnebo

 

 

 

Anyone interested in being on the seminar e-mail list, contact Dag Normann

Published Aug. 29, 2019 1:33 PM - Last modified Nov. 10, 2019 9:56 AM