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