|
|
|
|
 |
 |
|
|
|
|
|
|
|
|
|
|
Committees
Symposium Chair
Program Chair
Organization Chair
Industrial Chair
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)
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)
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))
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))
