Symposium on the occasion of the retirements of Herman Ruge Jervell and Dag Normann

Image may contain: Social group, Event, Team, Community, Youth.


The symposium is colocated with the



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:00. BREAK

  • 11:15. Wolfram Pohlers, Munster: Semi-formal calculi. A link between proof theory and recursion theory.

  • 12:15. LUNCH

  • 13:15. Michael Rathjen, University of Leeds: On relating strong type theories and set theories.

  • 14.15. BREAK

  • 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:30. BREAK

  • 11:45. John Longley, University of Edinburgh: Continuous functionals at higher types: some computational andlogical explorations.

  • 12:45. LUNCH

  • 13:45. Ulrich Berger, Swansea University: Continuous and non-continuous functionals in Church's Simple Theory of Types.

  • 14:45. BREAK

  • 15:00. Stan S. Wainer, University of Leeds: Goodstein in Ackermann.

  • 16:00. Lars Kristiansen, Øystein Linnebo, Arild Waaler: The final words.

The Venue

The lectures will take place in Auditorium 1 and Auditorium 2 of

  • Georg Sverdrups hus, Moltke Moes vei 39, Blindern.

This building is also known as Universitetsbiblioteket. You find directions here. You find a map here and another map here.



Banquet Dinner

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.

Programme Committee

More Pictures




Image may contain: Social group, Photograph, Team, Snapshot, Black-and-white.

Published Dec. 22, 2014 9:11 AM - Last modified May 26, 2021 1:44 PM