09. – 14. Januar 2005, Dagstuhl Seminar 05021

Mathematics, Algorithms, Proofs

Participants

  • Jeremy Avigad (Carnegie Mellon University, US)
  • Ulrich Berger (Swansea University, GB)
  • Jesper Carlström (University of Stockholm, SE)
  • Thierry Coquand (Chalmers – Göteborg, SE)
  • Gema Maria Diaz-Toca (University of Murcia, ES)
  • César Domínguez (Universidad de la Rioja, ES)
  • Dominique Duval (Université de Grenoble, FR)
  • Harold M. Edwards (New York University, US)
  • M'hammed El Kahoui (MPI für Informatik – Saarbrücken, DE)
  • Philipp Gerhardy (TU Darmstadt, DE)
  • Thomas C. Hales (University of Pittsburgh, US)
  • Daisuke Ikegami (Research Center for Verification & Semantics, JP)
  • Henri Lesourd (Universität des Saarlandes, DE)
  • Pierre Letouzey (LMU München, DE)
  • Laurentiu Leustean (TU Darmstadt, DE)
  • Henri Lombardi (University of Franche-Comté – Besancon, FR)
  • Assia Mahboubi (INRIA Sophia Antipolis – Méditerranée, FR)
  • Tobias Nipkow (TU München, DE)
  • Steven Obua (TU München, DE)
  • Paulo Oliva (Queen Mary University of London, GB)
  • Erik Palmgren (Uppsala University, SE)
  • Peter Paule (Universität Linz, AT)
  • Hervé Perdry (University of Pisa, IT)
  • Richard Pollack (New York University, US)
  • Loic Pottier (INRIA Sophia Antipolis – Méditerranée, FR)
  • Virgile Prevosto (MPI für Informatik – Saarbrücken, DE)
  • Alban Quadrat (INRIA Sophia Antipolis – Méditerranée, FR)
  • Jean-Claude Raoult (University of Rennes, FR)
  • Fred Richman (Florida Atlantic University – Boca Raton, US)
  • Renaud Rioboo (UPMC – Paris, FR)
  • Giuseppe Rosolini (University of Genova, IT)
  • Marie-Françoise Roy (University of Rennes, FR)
  • Julio Rubio Garcia (Universidad de la Rioja, ES)
  • Carsten Schneider (Universität Linz, AT)
  • Peter M. Schuster (LMU München, DE)
  • Helmut Schwichtenberg (LMU München, DE)
  • Francis Sergeraert (Université de Grenoble, FR)
  • Robert M. Solovay (Eugene, US)
  • Bas Spitters (Radboud University Nijmegen, NL)
  • Joris van der Hoeven (University Paris Sud, FR)
  • Volker Weispfenning (Universität Passau, DE)
  • Freek Wiedijk (Radboud University Nijmegen, NL)
  • Ihsen Yengui (Faculté des Sciences – Sfax, TN)
  • Julia Zappe (LMU München, DE)
  • Roland Zumkeller (Ecole Polytechnique – Palaiseau, FR)