21-22 May 2015
Oslo, Norway
============================================================================================= 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/