MKM 2005 Program Committee

  • Michael Kohlhase (Chair) Jacobs University Bremen, Germany
  • Andrew Adams The University of Reading, UK
  • Andrea Asperti University of Bologna, Italy
  • Richard Baraniuk Rice University, USA
  • Christoph Benzmueller Saarland University, Germany
  • Olga Caprotti University of Helsinki, Finland
  • Mike Dewar NAG, Ltd., UK
  • William Farmer McMaster University, Canada
  • Tetsuo Ida University of Tsukuba, Japan
  • Fairouz Kamareddine Heriott Watt University, Scotland
  • Andrzej Trybulec University of Bialystok, Poland
  • Robert Miner Design Science, USA
  • Till Mossakowski University Bremen, Germany
  • Stephen Watt , Canada
© 2006 Copyrights KWARC. | XHTML 1.0 | CSS | Page generated from XML sources with the WSML package