QEST Ad Hoc Steering Committee


Gianfranco Balbo (Italy) Ravi K. Iyer (USA)
Andrea Bobbio (Italy) Joost-Pieter Katoen (The Netherlands)
Steve Bruell (USA) Peter Kemper (Germany)
Peter Buchholz (Germany) Marta Kwiatkowska (UK)
Gianfranco Ciardo (USA) Raymond Marie (France)
Susanna Donatelli (Italy) Prakash Panangaden (Canada)
Giuliana Franceschinis (Italy) Ramon Puigjaner (Spain)
Roberto Gorrieri (Italy) William H. Sanders (USA)
Günter Haring (Austria) William Stewart (USA)
Peter Harrison (UK) Kishor Trivedi (USA)
Boudewijn Haverkort (The Netherlands) C. Murray Woodside (Canada)
Jane Hillston (UK)

----------------------------------------------

People involved in the Organization of QEST 2004


General Chair

Boudewijn Haverkort (The Netherlands)

Program Co-Chairs

Giuliana Franceschinis (Italy)
Joost-Pieter Katoen (The Netherlands)
Murray Woodside (Canada)

Tools Demo Chair

Andrew Miner (USA)

Tutorial Chair

Marco Bernardo (Italy)

Programme Commitee

Christel Baier (Germany) Jane Hillston (UK)
Gianfranco Balbo (Italy) Peter Kemper (Germany)
Bernard Berthomieu (France) Pieter Kritzinger (South Africa)
Jonathan Billington (Australia) Marta Kwiatkowska (UK)
Peter Buchholz (Germany) Kim G. Larsen (Denmark)
Mariacarla Calzarossa (Italy)Raymond Marie (France)
Javier Campos (Spain) Annabelle McIver (Australia)
Lucy Cherkasova (USA) Daniel Menasce (USA)
Lisa Wells (Denmark) Aad van Moorsel (Germany)
Gianfranco Ciardo (USA) Ramon Puigjaner (Spain)
Luca de Alfaro (USA) Gerardo Rubino (France)
Josée Desharnais (Canada) William H. Sanders (USA)
Tony Field (UK) Philippe Schnoebelen (France)
Reinhard German (Germany) Roberto Segala (Italy)
Robert L. Givan (USA) Evgenia Smirni (USA)
Roberto Gorrieri (Italy) Miklos Telek (Hungary)
Serge Haddad (France) Kishor Trivedi (USA)
Guenther Haring (Austria) Moshe Vardi (USA)
Peter Harrison (UK) Katinka Wolter (Germany)

Local Organisation

Boudewijn HaverkortLucia Cloth
Joost-Pieter KatoenPieter-Tjerk de Boer
Joke LammerinkRic Klaren,
Helen KoolHenrik Bohnenkamp

----------------------------------------------

Web Maintenance Person.