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

WWW Page: http://www.cs.tsinghua.edu.cn/forte-pstv99
Mirror site: http://www.infres.enst.fr/~najm/forte_pstv99

INVITATION
You are cordially invited to participate in FORTE/PSTV'99. We have put together a strong technical program as well as a great social program. 22 regular and 5 short papers have been selected for presentation from 78 submissions. The papers cover theory, application and case studies on protocol engineering and distributed systems using formal methods. There will also be keynote speeches from Dr. Roger Needham, (Managing Director of Microsoft Research Ltd. in charge of the Cambridge Laboratory) and Dr. Gerard Holzmann (Senior Member of Technical Staff at Bell Laboratories and creator of the SPIN verification tool). In addition, there will be three great tutorials by Prof. Hui Zhang (Carnegie Mellon University) on Internet Protocols and QoS, Prof. Ed. Brinksma (U. of Twente) on Theory of Formal Methods, and Dr. Gerard Holzmann (Bell Labs) on Industrial Applications of Formal Methods.
Included in the registration are a Chinese banquet and a tour of Beijing city and its vicinity. October is the best season of the year to visit China. Also China will be celebrating its 50th anniversary on October 1 this year. The city of Beijing will be in a festive mood throughout the month. It will be a great bonus to visit China at this time.

　

SCOPE AND OBJECTIVE
PSTV started in 1981 and FORTE in 1988. Since 1996, the two conferences have been combined into a single joint meeting FORTE/PSTV. FORTE/PSTV'99 will address Formal Description Techniques (FDTs) applicable to Distributed Systems and Communication Protocols. FDTs include Estelle, LOTOS, SDL, ASN.1, TTCN, Z, Automata, Process Algebra, Logic, MSC and others. The conference will be a forum for discussion and presentation of the state of the art development in theory, application, tools and industrialization of FDTs. In addition, it will provide an excellent orientation for newcomers. Research papers and industrial usage reports as well as proposals for tutorials (advanced technology seminars), poster displays and tool demonstrations are solicited, particularly in the following areas:
FDT based system and protocol engineering Performance modeling and analysis
Qualify of Service modeling and analysis Semantical foundations
Practical experience and case studies Protocol specification
Real-time and probability aspects Verification and validation
Tools and tool support Extensions of FDTs
Test  generation, selection and test coverage Protocol synthesis
Corporate strategic and financial consequences of FDT use FDT based protocol implementation
Protocol testing, including conformance testing, interoperability testing, and performance testing
FDT based application to distributed systems, high-speed protocols, Internet protocols,
multimedia and multicast protocols, wireless and mobile communication, Intelligent networks,
network management, and network security

　

ORGANIZER

Conference Co-Chairs
Samuel T. Chanson, Hong Kong University of Science & Technology, China
Chengwei Wang, China Computer Federation
Guanqun Gu, East South University, China

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

Tutorial Co-Chairs
David Lee, Bell Laboratory, USA
Daoyuan Hu, Tsinghua University, Beijing, China

Organization Committee Co-Chairs
Lizhu Zhou, Tsinghua University, Beijing, China
Zhiyong Liu, The National Natural Science Foundation of China (NSFC)
Zide Du, China Computer Federation (CCF)

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),O. Catrina (Univ. of Bucharest, Romania), Ana Cavalli (INT), 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 (Univ. of Mannheim, 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), A. Petrenko (CRIM, Canada), J. Quemada (ETSI Telecom., Spain), Omar Rafiq (Univ. of Pau, France), Elie Najm ENST, France), Meiling Shi (Tsinghua Univ. China), J.B. Stefani (CNET, France), K. Suzuki (KDD, Japan), K. Tarnay (Univ. of Budapest, Hungary), R. Tenney (Univ. of Massachusetts, USA), K.C. Tai (N.Carolina State Univ. USA), 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).

　

MISCELLANEOUS INFORMATION

Registration and Payment
To register for the conference, you are kindly requested to use the registration form downloaded from conference web site and send it to the conference secretariat. So that we could fulfil all your requests on the proper level, please tick all the boxes. You will receive a letter of confirmation, which contains all the detailed information you need. The conference registration fee includes participation in the conference sessions, the proceeding, coffee and refreshments, reception, banquet and 3 lunches. We will provide a full-day free city tour for all of registration people. For methods of payment please check the registration form.

Venue and Accommodation
Beijing Friendship Hotel is a four-star hotel. It is located in the northwest of Beijing city, within easy reach to the financial and historical part of the city. Typical Chinese comfort and a truly friendly atmosphere will characterise your stay. Air-conditioned rooms (with private bath) are offered. Each is equipped with color television, cable TV with access to international channels, radio, direct dial telephone service, magnetic key-card system, bathroom with hairdryer and safe. 　

Passport and visa Requirement
Entrance to China is requested a valid visa for citizens of most countries. You are advised to check it at the Chinese embassies and/or consulates in your country. Participants who need a visa are strongly advised to make their application at their home countries as soon as possible. If you need an invitation letter, please tell us your passport number and your nationality via email. We will send it to you soon.

　

CONTACT POINT
For further information, please contact either of the following:
Professor Jianping Wu
Dept. Of Computer ScienceTsinghua UniversityBeijing, 100084, China
Tel: (8610) 6278-8109; Fax: (8610) 6278-5933 or 8109
Email: jianping@cernet.edu.cn

Professor Samuel T. Chanson
Dept of Computer ScienceHong Kong University of Science & Technology
Clear Water Bay, Kowloon, Hong Kong, China
Tel: (852) 2358-6982; Fax: (852) 2358-1477
Email: chanson@cs.ust.hk