ISoLA 2004
  ISoLA - 1st International Symposium on Leveraging Applications of Formal Methods  

Committees

Symposium Chair

Tiziana Margaria  (U. Göttingen - D)

Program Chair

Bernhard Steffen  (U. Dortmund - D)

Organization Chair

Anna Philippou  (U. Cyprus - CY)

Industrial Chair

Manfred Reitenspiess  (Fujitsu Siemens - D)

Program Committee

in preparation
Ed BRINKSMA  (Univ. Twente, NL)
Peter BUCHHOLZ  (U. Dortmund, D)
Muffy CALDER  (U. Glasgow, UK)
Radhia COUSOT  (Ecole Polytechnique, F)
Jin Song DONG  (Nat. Univ. Singapore)
Ibrahim ESAT  (Brunel U., UK)
John FITZGERALD  (U. Newcastle, UK)
Robert GIEGERICH  (U. Bielefeld, D)
Joshua GUTTMAN  (MITRE, USA)
John HATCLIFF  (Kansas State U, USA)
Mats HEIMDAHL  (U.Minnesota, USA)
Joost-Pieter KATOEN  (U. Twente, NL)
Jens KNOOP  (TU Vienna, A)
Joost KOK  (U. Leiden, NL)
Bernd KRÄMER  (FU Hagen, D)
Liviu MICLEA  (U. Cluj-Napoca, ROM)
Alice MILLER  (U.Glasgow, UK)
Zebo PENG  (Univ. Linköping, S)
Alexander PETRENKO  (ISPRAS, RUS)
Mauro PEZZÈ  (U. Milano-Bicocca, I)
Paolo PRINETTO  (Politecnico Torino, I)
Franz RAMMIG  (U. Paderborn, D)
Konstantinos SAGONAS  (Univ. Uppsala, S)
Bernhard STEFFEN  (U. Dortmund - D)
Murat TANIK  (U. Alabama, USA)
Marcel VERHOEF  (Chess, NL)
Gottfried VOSSEN  (U. Münster, D)
Hai WANG  (Univ. of Manchester, UK)
Alan WASSYNG  (McMaster U, CAN)
Michel WERMELINGER  (U. Nova de Lisboa, P)
Martin WIRSING  (LMU München, D)
Keijiro YAMAGUCHI  (NEC, Japan)
Lenore ZUCK  (NYU, USA)

Organization Committee

Andreas Andreou  (U. Cyprus - CY)
Yannis Demopoulos  (U. Cyprus - CY)
Chryssis Georgiou  (U. Cyprus - CY)
Marios Mavronicolas  (U. Cyprus - CY)

Industrial Board

Mirko CONRAD  (DaimlerChrysler AG)
Limor FIX  (Intel, Haifa Israel (Hardware))
Mike HINCHEY  (NASA, USA (Space and robotics))
Manfred REITENSPIESS  (Fujitsu-Siemens, Munich Germany (Telecommunication platforms))
Yaron WOLFSTHAL  (IBM, Haifa Israel (HW/SW Systems))
Jianli XU  (Nokia)
Yervant ZORIAN  (Virage Logic USA (HW Systems))