Call for Demonstration
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
|
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 |
Protocol synthesis |
| 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 |
Performance modeling and analysis |
| 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 กก |
|
| FORTE/PSTVกฏ99 (http://www.cs.tsinghua.edu.cn/forte-pstv99) will be held in
Beijing, the most beautiful city of China. A Demonstration will be held parallelly with
FORTE/PSTVกฏ99 5-8 October, 1999
where systems, applications, research output, publications and activities of
companies/Institutions will be displayed. The Great FORTE/PSTV กฏ99 Exploration Hall will feature tool/product demonstrations and
presentations from a wide range of exhibitors. The hall is designed to provide exhibitors
with a dynamic and interactive environment to showcase their latest tools/products and to
offer attendees the opportunity to view these presentations in a comfortable setting.
We will supply plenty of standard booths for exhibitors, and the standard booth
includes: one information desk, two chairs, one socket (220 V), Internet connection,
security guarding .In addition, we can also provide computers: Intel Pentium PCs
(win95/win98) and SUN workstations (Solaris 2.4/2.5).
All exhibitors must fill in the Demonstration
Registration Form and Conference Registration Form .
For FORTE/PSTV กฏ99 sponsors and
those who registered this conference, the standard booth will be provided free.If you need
accommodation, please fill in the Hotel Reservation Form. |
If convience, please send these forms via fax or E-mail.
Fax: (8610)-62788109
E-mail: wjg@csnet1.cs.tsinghua.edu.cn
|
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
กก |
|
|
|