Subject: CFP for FORTE/PSTV 2001

From: "Myungchul Kim" <[email-masked]>
Date: Mon, 18 Dec 2000 18:29:54 +0900

We apologize if you receive multiple copies.

================Call for Papers=============================
IFIP TC6/WG6.1 Joint International Conference (FORTE/PSTV 2001)
on Formal Description Techniques (FORTE XIV)
for Distributed Systems and Communication Protocols, and
Protocol Specification, Testing, and Verification (PSTV XXI)

Cheju Island, Korea, August 28-31, 2001
WWW Page:  http://nalab.icu.ac.kr/fortepstv2001/ 

Also, The second International Workshop on Distributed System Validation and Verification (DSVV'01)  will take place as a 
satellite event of FORTE/PSTV 2001.

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 2001 will address Formal Description Techniques (FDTs) applicable to Distributed Systems and Communication Protocols. FDTs include EFSM, Automata, Process Algebra, Logic, Estelle, LOTOS, SDL, ASN.1, TTCN, Z, MSC, UML and others. The conference will be a forum for the discussion and presentation of state of the art developments 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 FDT based protocol implementation
Real-time and probability aspects Verification and validation
Tools and tool support Extensions of FDTs
Corporate strategic and financial consequences of FDT use Protocol specification
Test  generation, selection and test coverage Protocol synthesis
Protocol testing, including conformance testing, interoperability testing, and performance testing
FDT based application to distributed systems, high-speed protocols, Internet protocols, embedded systemsmultimedia and multicast protocols, wireless and mobile communication, Intelligent networks, network management, and network security

FORTE/PSTV 2001 will start with one day of tutorials and workshops, and will continue with three days of technical presentations. The conference will be held in Cheju Island, Korea.

Submission policy
Only original papers that have not been published nor submitted elsewhere will be considered. Full research papers should be up to 16 pages, 12 points, single spaced, including an informative abstract as well as names, affiliations, postal and e-mail addresses of all authors, and a list of keywords. For industrial usage reports, short papers up to 8 pages are also welcome. Authors should indicate a contact author and the preferred category (research paper or industrial usage report) in which the paper should be considered. 

Submission should be made to the following email address
[email-masked] 
or where email is not available, please send submission to 
Prof. Myungchul Kim                       
Information and Communications University
58-4 Hwaam-Dong, Yusong-Gu, Taejon, 305-732, Korea
email: [email-masked] Tel: 82-42-866-6127, Fax: 82-42-866-6154

Proceedings will be published by Kluwer Academic Publishers.
- an e-mail with your paper in postscript format (uuencoded and compressed with 'compress' or 'gzip');
 
- an e-mail in plain text (ASCII) with the title of your paper, the name of the authors and affiliations, a list of keywords, an abstract of your paper and the name and postal, fax and e-mail addresses of the contact person. 

There will be a BEST PAPER AWARD offered by IFIP TC6 to the author(s) of the top paper in the conference.

Important dates
Submission deadline February 21, 2001
Notification of acceptance April 5, 2001
Camera ready copy due May 5, 2001

Conference Chair
Danhyung Lee (KOMS, Korea)

Program Committee Co-chairs
Myungchul Kim (ICU, Korea), Byoungmoon Chin (ETRI, Korea), Sungwon Kang (KT R&D Group, Korea)

Program Committee
 G. v. Bochmann (Univ. of Ottawa, Canada)       
H. Bowman (Univ. of Kent, UK)
S. Budkowski (INT, France)
S. D. Cha (KAIST, Korea)
J. Y. Choi (Korea Univ., Korea)
R. Dssouli (Univ. of Montreal, Canada)
R. Groz (France Telecom R&D, France)
T. Higashino (Osaka Univ., Japan)
G. J. Holzmann (Bell Labs, USA)
J. K. Kim (ETRI, Korea)
R. Lai (La Trobe Univ., Australia)
D. Lee (Bell Labs, USA)
J. Y. Lee (Yonsei Univ., Korea)
E. Najm (ENST, France)
A. Petrenko (CRIM, Canada)
O. Rafiq (Univ. of Pau, France)
R. Tenney (Univ. of Massachusetts, USA)
K. Turner (Univ. of Stirling, UK)
S. Vuong (Univ. of British Columbia, Canada)
N. Yevtushenko (Tomsk Univ., Russia)

T. Bolognesi (IEI, Italy)
E. Brinksma (Univ. of Twente, Netherlands)
A. Cavalli (INT,France) 
E. H. Choi (KT, Korea)
S. Chanson (Hong Kong Univ. of S&T, China)
J. P. Courtiat (LAAS-CNRS, France)
S. Fischer (International Univ,, Germany)
R. Gotzhein (Univ. of Kaiserslautern, Germany)
D. Hogrefe (Univ. of Luebeck, Germany)
H. Koenig (BTU, Germany)
S. U. Kim (Pukyung Univ., Korea)
G. Leduc (Univ. of Liege, Belgium)
D. I. Lee (KJIST, Korea)
L. Logrippo (Univ. of Ottawa, Canada)
D. Peled (Bell Labs, USA)
J. Quemada (ETSI Telecom., Spain)
K. Suzuki (Advanced Comm. Co., Japan)
K. Tarnay (Nokia, Hungary)
U. Ultes-Nitsche (Univ. of Southampton, UK)
J. Wu (Tsinghua Univ., China)

Tutorial Chair
To be announced

International Liaison Chair
Ben Lee (Oregon State Univ., USA)

For further information, please contact:
Prof. Myungchul Kim                       
Information and Communications University
58-4 Hwaam-Dong, Yusong-Gu, Taejon, 305-732, Korea
Tel: 82-42-866-6127, Fax: 82-42-866-6154
email: [email-masked]
or, please refer to our World Wide Web pages
        http://nalab.icu.ac.kr/fortepstv2001/