Continuity, Computability, Constructivity -
From Logic to Algorithms (CCC 2017)
Loria, Nancy (France), 26-30 June 2017
- Ulrich Berger (Swansea)
- Olivier Bournez (Palaiseau)
- Francesco Ciraulo (Padova)
- Pieter Collins (Maastricht)
- Matthew de Brecht (Kyoto)
- Jacques Duparc (Lausanne)
- Willem Fouché (Pretoria)
- Hubert Glesener (Trier)
- Isabelle Gnaedig (Nancy)
- Daniel Graça (Faro)
- Emmanuel Hainry (Nancy)
- Reinhold Heckmann (Saarbrücken)
- Mathieu Hoyrup (Nancy)
- Hajime Ishihara (Nomi)
- Achim Jung (Birmingham)
- Tatsuji Kawai (Padova)
- Michal Konecny (Birmingham)
- Oleg Kudinov (Novosibirsk)
- Dominique Larchey-Wendling (Nancy)
- Gyesik Lee (Anseong)
- Jack Lutz (Ames, IA)
- Neil Lutz (Piscataway, NJ)
- Maria Emilia Maietti (Padova)
- Samuele Maschio (Padova)
- Russel Miller (New York)
- Norbert Müller (Trier)
- Eike Neumann (Birmingham)
- Mizuhito Ogawa (Nomi)
- Arno Pauly (Brussels)
- Romain Péchoux (Nancy)
- Robert Rettinger (Dortmund)
- Bernhard Reus (Sussex)
- Cristobal Rojas (Santiago)
- Giovanni Sambin (Padova)
- Sam Sanders (München)
- Matthias Schroeder (Darmstadt)
- Helmut Schwichtenberg (München)
- Victor Selivanov (Novosibirsk)
- Alex Simpson (Ljubljana)
- Dieter Spreen (Siegen)
- Donald Stull (Ames, IA)
- Tsutomu Takayama (Kyoto)
- Makoto Tatsuta (Tokyo)
- Holger Thies (Tokyo)
- Hideki Tsuiki (Kyoto)
- Louis Vuilleumier (Lausanne)
- Klaus Weihrauch (Hagen)
- Franziskus Wiesnet (München)
- Martin Ziegler (Daejeon)