[TYPES/announce] Symposium on the occasion of the retirements of Herman Ruge Jervell and Dag Normann, Oslo, May 21-22, 2015

[Reinhard Kahle]

ANNOUNCEMENT:
=============================================================================================
Symposium on the occasion of the retirements of

Herman Ruge Jervell and Dag Normann

May 21-22, 2015, Oslo, Norway

http://www.mn.uio.no/math/english/research/groups/logic/events/conferences/ruge-jervell-and-normann-symposium/index.html


co-located with the Workshop PCC 2015 May 23-24, 2015
and following the Abel Prize Award Ceremony, May 19, 2015
and the Abel Lectures and Science Lecture, May 20, 2015.

http://www.mn.uio.no/math/english/research/groups/logic/events/conferences/pcc2015/
http://www.abelprize.no/c26889/kalender/vis.html?tid=61852
http://www.abelprize.no/c26889/kalender/vis.html?tid=61854
=============================================================================================

The list of speakers includes

- Ulrich Berger, Swansea University
- Jean-Yves Girard, Luminy Institute of Mathematics
- John Longley, University of Edinburgh
- Jan von Plato, University of Helsinki
- Wolfram Pohlers, University of Munster
- Michael Rathjen, University of Leeds
- Stan S. Wainer, University of Leeds

Program Committee
-----------------
- Eivind Briseid, Oslo and Akershus University College of Applied Sciences
- Reinhard Kahle, Universidade Nova de Lisboa, Portugal
- Lars Kristiansen, University of Oslo, Norway
- Øystein Linnebo, University of Oslo, Norway
- Arild Waaler, University of Oslo, Norway


Participants may consider to submit a contribution to the Workshop
PCC 2015, Proof, Computation, Complexity following the Symposium.
http://www.mn.uio.no/math/english/research/groups/logic/events/conferences/pcc2015/