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