9-13 Sep 2013
Berne, Switzerland
'Proof', Berne, Switzerland, 9-13 September 2013
www.humboldt-kolleg.iam.unibe.ch/
International Conference within the Frame of Humboldt-Kollegs
Proof takes place in Bern, Switzerland from September 9-13, 2013. This
meeting gathers about fifty leading researchers who are actively involved
with the concept of proof in theory and practice.
Invited chairs, discussion leaders, speakers and young researchers
Peter Aczel (Manchester) Bahareh Afshari (Edinburgh)
Steve Awodey (Pittsburgh) Matthias Baaz (Vienna)
Lev Beklemishev (Moscow) Marco Benini (Varese)
Josef Berger (Greifswald) Ulrich Berger (Swansea)
Wilfried Buchholz (Munich) Andrea Cantini (Florence)
Stefania Centrone (Oldenburg) Thierry Coquand (Gothenburg)
Laura Crosilla (Leeds) Kosta Dosen (Belgrad)
Erwin Engeler (Zrich) Kevin Fournier (Lausanne)
Kentaro Fujimoto (Bristol) Georges Gonthier (Microsoft Research)
Volker Halbach (Oxford) Simon Huber (Gothenburg)
Hajime Ishihara (Jaist) Dale Jacquette (Bern)
Gerhard Jger (Bern) Alexander Kashev (Bern)
Tatsuji Kawai (Jaist) Peter Koepke (Bonn)
Ulrich Kohlenbach (Darmstadt) Ioannis Kokkinis (Bern)
Roman Kuznets (Bern) Graham Leigh (Oxford)
Ioana Leustean (Bucharest) Godehard Link (Munich)
Henri Lombardi (Besanon) Etienne Lozes (Paris)
Assia Mahboubi (Inria) Richard McKinley (Bern)
Pierluigi Minari (Florence) Roman Murawski (Poznan)
Takako Nemoto (Jaist) Vivek Nigam (Paraiba)
Russell O'Connor (Google Canada) Erik Palmgren (Stockholm)
Yann Pequignot (Lausanne) Iosif Petrakis (Munich)
Wolfram Pohlers (Mnster) Dieter Probst (Bern)
Pavel Pudlak (Prague) Florian Ranzi (Bern)
Michael Rathjen (Leeds) Davide Rinaldi (Munich)
Giuseppe Rosolini (Genoa) Giovanni Sambin (Padua)
Kentaro Sato (Bern) Peter Schuster (Leeds)
Dana Scott (Berkeley) Helmut Schwichtenberg (Munich)
Thomas Strahm (Bern) Thomas Studer (Bern)
Jan von Plato (Helsinki) Stan Wainer (Leeds)
Ihsen Yengui (Aachen) Rico Zumbrunnen (Bern)