Symposium on the occasion of the retirements of Herman Ruge Jervell and Dag Normann
The symposium is colocated with the
- Abel Prize Award Ceremony, 19 May 2015.
- Abel Lectures and Science Lecture, 20 May 2015.
- Workshop PCC 2015, 23 - 24 May 2015.
Michael Rathjen's lecture Thursday 13:15 will be Skolem Lecture 2015.
May 21 (Thursday)
10:00. Jean-Yves Girard, Luminy Institute of Mathematics: The epicycles of predicate calculus
11:15. Wolfram Pohlers, Munster: Semi-formal calculi. A link between proof theory and recursion theory.
13:15. Michael Rathjen, University of Leeds: On relating strong type theories and set theories.
14:30 Jens Erik Fenstad: Logic in Oslo in the 1970s
May 22 (Friday)
10:30. Jan von Plato, University of Helsinki: In search of the roots of formal computation.
11:45. John Longley, University of Edinburgh: Continuous functionals at higher types: some computational andlogical explorations.
13:45. Ulrich Berger, Swansea University: Continuous and non-continuous functionals in Church's Simple Theory of Types.
15:00. Stan S. Wainer, University of Leeds: Goodstein in Ackermann.
16:00. Lars Kristiansen, Øystein Linnebo, Arild Waaler: The final words.
The lectures will take place in Auditorium 1 and Auditorium 2 of
Georg Sverdrups hus, Moltke Moes vei 39, Blindern.
A banquet dinner will take place May 21 at 7:00 p.m. at Vognmand Nilsen restuarant og bar. The restaurant is in walking distance from the Central Station (Oslo sentralstasjon) and about 500 meters from the very visible hotel Oslo Plaza.
You may register for PCC (700 NOK), the Symposium (700 NOK) and the banquet dinner (500 NOK).
Please, register here.
Symposium participants will have to pay a sum of 700 NOK to cover expenses related to lunches, coffee breaks, etc. on May 21-22. This does not cover attendance at the banquet dinner, nor participation at the PCC. Participants at the PCC will likewise have to pay a sum of 700 NOK to cover lunches, coffee breaks etc. during the PCC.
- Eivind Briseid, Oslo and Akershus University College of Applied Sciences
- Reinhard Kahle, Universidade Nova de Lisboa, Portugal (co-chair)
- Lars Kristiansen, University of Oslo, Norway (co-chair)
- Øystein Linnebo, University of Oslo, Norway
- Arild Waaler, University of Oslo, Norway