28th IFIP WG6.1 International Conference on Formal Techniques for Networked and Distributed Systems(FORTE 2008)
Committe
FORTE/TESTCOM/FATES General Co-Chairs
- Kenji Suzuki, U of Electro-Communications, Japan
- Teruo Higashino, Osaka U, Japan
FORTE Steering Committee
- Gregor v. Bochmann, U of Ottawa, Canada
- John Derrick, U Sheffield, UK
- Ken Turner, U of Stirling, UK
FORTE Program Committee Co-Chairs
- Keiichi Yasumoto, NAIST, Japan
- Khaled El-Fakih, American U of Sharjah, UAE and Verimag, France
Program Committee
- J. Adamek (Charles U in Prague, Czech Republic)
- J. Billington (U of South Australia, Australia)
- G. V. Bochmann (U of Ottawa, Canada)
- K. Bogdanov (U Sheffield, UK)
- M. Bravetti (U of Bologna, Italy)
- A. Cavalli (INT Evry, France)
- J. M. Colom (U of Zaragoza, Spain)
- J. Derrick (U Sheffield, UK)
- D. de Frutos-Escrig (Complutense U of Madrid, Spain)
- R. Gotzhein (U of Kaiserslautern, Germany)
- S. Graf (Verimag, France)
- S. Haddad (Lamsade-Paris Dauphine, France)
- T. Higashino (Osaka U, Japan)
- D. Hogrefe (U of Gottingen, Germany)
- G. J. Holzmann (NASA/JPL, USA)
- C. Jard (ENS Cachan - Bretagne, France)
- F. Khendek (Concordia U, Canada)
- M. Kim (ICU, South Korea)
- H. Koenig (Brandenburg U of Technology, Germany)
- D. Lee (Ohio State U, USA)
- L. Logrippo (U of Quebec - Outaouais, Canada)
- J. C. Maldonado (U of San Carlos, Brazil)
- E. Najm (ENST, France)
- M. Nishigaki (Shizuoka U, Japan)
- M. Nunez (Complutense U of Madrid, Spain)
- K. Ohmaki (AIST, Japan)
- O. Owe (U of Oslo, Norway)
- D. A. Peled (U of Warwick, UK)
- A. Petrenko (CRIM Montreal, Canada)
- J.-F. Pradat-Peyre (Cedric-Cnam, France)
- W. Reisig (Humboldt-U, Germany)
- I. Satoh (NII, Japan)
- H. Seki (NAIST, Japan)
- J. B. Stefani (Inria, France)
- K. Suzuki (UEC, Japan)
- S. Tripakis (Cadence, USA)
- K. Turner (U of Stirling, UK)
- H. Ural (U of Ottawa, Canada)
- J. Vain (Tallinn U of Technology, Estonia)
- F. Wang (National Taiwan U, Taiwan)
- J. Wu (Tsinghua U, China)
- N. Yevtushenko (Tomsk State U, Russia)
- X. Yin (Tsinghua U, China)
Local Organization
- Tomohiko Ogishi, KDDI R&D Labs. (Chair)
- Takaaki Umedu, Osaka U, Japan
