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

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

[TYPES/announce] PCC 2015 - Proof, Computation, and Complexity in Oslo

development including program extraction from proofs, type theory, new developments in structural proof theory, and implicit computational complexity. Invited Speaker --- - Andreas Weiermann, Ghent University, Belgium PCC Steering Committee -- - Reinhard Kahle

[TYPES/announce] Call for contributions PCC'16 - Proof, Computation and Complexity, May 5-6, 2016, in Munich

. Invited Speakers of PCC --- - Dag Normann, Univ. of Oslo, Norway - Paulo Oliva, Queen Mary Univ. London, UK - Thomas Streicher, Technical University Darmstadt, Germany PCC Steering Committee -- - Reinhard Kahle, Universidade Nova de Lisboa, Portugal - Lars