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