1999 IFIP TC6/WG6.1 Joint International Conference
FORTE/PSTV '99
Formal Description Techniques (FORTE XII)
for Distributed Systems and Communication Protocols, and
Protocol Specification, Testing, and Verification (PSTV XIX)
Beijing, China, October 5-8, 1999
Program Committee

Program Committee Co-Chairs
Jianping Wu, Tsinghua University, Beijing, China
Qiang Gao, IVT, China
Samuel T. Chanson, Hong Kong University of Science & Technology, China

Program Committee
B. Baumgarten (GMD, Germany) G. v. Bochmann (Univ. of Ottawa, Canada)
T. Bolognesi (IEI, Italy) H. Bowman (Univ. of Kent, UK)
Ed Brinksma (Univ. of Twente, Netherlands) Stan Budkowski (INT,France)
O. Catrina (Univ. of Bucharest, Romania) Ana Cavalli (INT,France)
T.Y. Cheung (City Univ. Hong Kong) J.P. Courtiat (LAAS-CNRS, France)
P. Dembinski (IPIPAN, Poland) M. Diaz (LAAS, France)
R. Dssouli (Univ. of Montreal, Canada) C. J. Fidge (Univ. of Queensland, Australia)
S. Fischer (International Univ, Germany) R. Gorrieri (Univ. of Bologna, Italy)
R. Groz (CNET, France) R. Gotzhein (Univ. of Kaiserslautern, Germany)
Teruo Higashino (Osaka Univ. Japan) Daoyuan Hu (Tsinghua Univ. China)
D. Hogrefe (Univ. of Luebeck, Germany) H. Koenig (BTU, Cottbus, Germany)
M. C. Kim (IC Univ., Korea) R. Lai (La Trobe Univ. Australia)
G. Leduc (Univ. of Liege, Belgium) D. Lee (Bell Lab., USA)
S. Leue (Univ. of Waterloo, Canada) Jiren Liu (East North Univ. China)
Mike Liu (Ohio State Univ. USA) L. Logrippo (Univ. of Ottawa, Canada)
T. Mizuno (Shizuoka Univ., Japan) Elie Najm (ENST, France)
A. Petrenko (CRIM, Canada) J. Quemada (ETSI Telecom., Spain)
Omar Rafiq (Univ. of Pau, France) N. Shiratori (Tohoku Univ, Japan)
Meiling Shi (Tsinghua Univ. China) J.B. Stefani (CNET, France)
K. Suzuki (KDD, Japan) K.C. Tai (N.Carolina State Univ. USA)
R. Tenney (Univ. of Massachusetts, USA) K. Tarnay (Univ. of Budapest, Hungary)
A. Togashi (Shizuoka Univ., Japan) Ken Turner (Univ. of Stirling, UK)
S. Vuong (Univ. of British Columbia, Canada) N. Yevtushenko (Tomsk Univ., Russia)
Shiyong Zhang (Fudan Univ. China)

กก

For more details , please refer to Call For Papers.

กก