MKM 2005 Participants

  • Kamal Aboul-Hosn, Cornell University
  • Andrew Adams, The University of Reading
  • Serge Autexier, Saarland University
  • Paul Cairns, University College London
  • Olga Caprotti, Helsinki
  • Terese Damhoj, Andersen Cornell
  • Francien Dechesne, Technische Universiteit Eindhoven
  • Ramon Eixarch, Maths for More
  • William Farmer, McMaster University
  • Armin Fiedler, Saarland University
  • Marc Gaetano, Nice - Sophia Antipolis
  • Herman Geuvers, Radboud University
  • Adam Grabowski, University of Bialystok
  • Thomas Hales, University of Pittsburgh
  • Tetsuo Ida, University of Tsukuba
  • Dorina Jibetean, Technical University Eindhoven
  • Georgi Jojgov, Technische Universiteit Eindhoven
  • Manfred Kerber, Birmingham
  • Michael Kohlhase, International University Bremen
  • Andrea Kohlhase, Unversitaet Bremen
  • Christoph Lueth, University of Bremen
  • Manuel Maarek, Heriot-Watt University
  • Achim Mahnke, Universitaet Bremen
  • Lionel Mamane, Radboud University Nijmegen
  • Shahid Manzoor, Saarland University
  • Mircea Marin, University of Tsukuba
  • Andreas Meier, DFKI
  • Robert Milewski, University of Bialystok
  • Normen Mueller, International University Bremen
  • Koji Nakagawa, Kyushu Unveristy
  • Adam Naumowicz, University of Bialystok
  • William Naylor, University of Bath
  • Immanuel Normann, International University Bremen
  • Florina Piroi, Austrian Academy of Sciences
  • Florian Rabe, International University Bremen
  • Renaud Rioboo, Universite Pierre et Marie Curie
  • Claudio Sacerdoti Coen, Bologna
  • Jan Scheffczyk, Universitaet der Bundeswehr Muenchen
  • Christoph Schwarzweller, Gdansk
  • Alan Sexton, The University of Birmingham
  • Clare So, University of Western Ontario
  • Masakazu Suzuki, Kyushu University
  • Andrzej Trybulec, University of Bialystok
  • Josef Urban, Charles University
  • Till Mossakowski, Bremen University
  • Joerg Siekmann, DFKI
© 2006 Copyrights KWARC. | XHTML 1.0 | CSS | Page generated from XML sources with the WSML package