News


PROCEEDINGS released
Tuesday, 05 January 2010
The proceedings to o...
Read more...

CLOSING
Friday, 18 December 2009
The workshop FM+AM'0...
Read more...
PDF Print E-mail

PROGRAMME COMMITTEE

 

Chairman

  • Stefan Gruner: Univ. van Pretoria. Contact: This e-mail address is being protected from spambots. You need JavaScript enabled to view it

Members

  • Dines Bjørner: Formal Methods Europe
  • This e-mail address is being protected from spambots. You need JavaScript enabled to view it : British Computer Society
  • Artur Boronat: Univ. of  Leicester
  • Manfred Broy: Techische Univ. Munich
  • Anthony Finkelstein: Univ. College London
  • Kurt Geihs: Univ. Kassel
  • Michaela Huhn: Technische Univ. Braunschweig
  • Horst Lichter: RWTH Aachen
  • This e-mail address is being protected from spambots. You need JavaScript enabled to view it : Istituto di Sc. e Tecn. dell' Inf. Pisa
  • Mark Minas: Univ. der Bundeswehr
  • Pieter Mosterman: McGill Univ.
  • Erhard Ploedereder: Univ. Stuttgart
  • Bernhard Rumpe: RWTH Aachen
  • Ina Schieferdecker: Fraunhofer-Inst.
  • Holger Schlingloff: Fraunhofer-Inst.
  • Morkel Theunissen: Univ. van Pretoria
  • This e-mail address is being protected from spambots. You need JavaScript enabled to view it : Univ. of Surrey
  • Heike Wehrheim: Univ. Paderborn
  • Bernhard Westfechtel: Univ. Bayreuth
 
Joomla template by DesignForJoomla.com
DesignForJoomla.com provides free Joomla templates, free and commercial Joomla extensions, Joomla tutorials and SEO tips for the Joomla CMS