Preliminary Call for Papers for FORTE/PSTV'97

• Subject: Preliminary Call for Papers for FORTE/PSTV'97
• From: higashino@ics.es.osaka-u.ac.jp (Teruo Higashino)
• Date: Wed, 30 Oct 96 13:58:38 JST
• Reply-To: owner-forte97-announce@saba.ics.es.osaka-u.ac.jp

Dear colleagues,

Please accept our apologies if you receive this reminder more than once.
Note that the submission deadline for FORTE/PSTV'97 is April 11, 1997.

The timely information for FORTE/PSTV'97 is available from our Web site
        URL: http://sunfish.ics.es.osaka-u.ac.jp/forte.pstv97/

Best regards
Teruo Higashino and Atsushi Togashi (FORTE/PSTV'97 Program Co-Chairs)

-----------------------------------------------------------------------------
                            FORTE/PSTV'97
-----------------------------------------------------------------------------

 _____ ___  ____ _____ _____    ______  ____ _______     ___ ___  _______
|  ___/ _ \|  _ \_   _| ____|  / /  _ \/ ___|_   _\ \   / ( ) _ \ |___  /
| |_ | | | | |_) || | |  _|   / /| |_) \___ \ | |  \ \ / /|/ (_) |   \ /
|  _|| |_| |  _ < | | | |___ / / |  __/ ___) || |   \ V /   \__, |  \ /
|_|   \___/|_| \_\|_| |_____/_/  |_|   |____/ |_|    \_/      /_/  \_/

                    Preliminary Call for Papers

        1997 IFIP TC6/WG6.1 Joint International Conference on
                     FORMAL DESCRIPTION TECHNIQUES
      for Distributed Systems and Communication Protocols, and
          PROTOCOL SPECIFICATION, TESTING, AND VERIFICATION
                  Osaka, Japan, November 18-21, 1997

       URL: http://sunfish.ics.es.osaka-u.ac.jp/forte.pstv97/


FORTE/PSTV'97 will address Formal Description Techniques (FDTs) applicable
to Distributed Systems and Communication Protocols (such as Estelle, LOTOS,
SDL, ASN.1, TTCN, Z, Automata, Process Algebra, Logic). The conference will
be a forum for presentation of the state of the art in theory, application,
tools and industrialization of FDTs, and will provide an excellent orientation
for newcomers. From 1996, the two separate conferences FORTE and PSTV has been
combined into a joint edition (FORTE/PSTV).  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         - Extensions of FDTs
  engineering                           - Semantical foundations
- Practical experience and case         - Real-time and probability aspects
  studies                               - Protocol testing
- FDT-application to distributed        - Conformance testing, test selection
  systems, high speed protocols,           and test coverage
  multimedia protocols, mobile          - Performance modeling and analysis
  communication, intelligent            - Quality of Service modeling and
  networks, network management,           analysis
  network security                      - Verification and validation
- FDT-based implementation              - Protocol synthesis
- Corporate strategic and financial     - Tools and tool support
  consequences of FDT use

FORTE/PSTV'97 will start with one day of tutorials, and will continue with
three days of technical presentations.  The conference will be held in Osaka,
Japan.

Important dates:
    April   11, 1997        Submission deadline
    July     1, 1997        Notification of acceptance
    July    30, 1997        Camera-ready copy for final proceedings due

General Co-Chairs
    Tadanori Mizuno (Shizuoka Univ.) and Norio Shiratori (Tohoku Univ.)
Organization Committee Chair
    Kenji Suzuki (KDD, Japan)
Program Co-Chairs
    Teruo Higashino (Osaka Univ.) and Atsushi Togashi (Shizuoka Univ.)
Program Committee: (to be announced)

Corporate Supporters (initial listing)
    Information Processing Society of Japan (IPSJ)
    The Telecommunication Advancement Foundation (TAF)


For further information, please contact with
    Program Co-Chair : Prof. Teruo Higashino
       Dept. of Information and Computer Sciences, Osaka University
       Toyonaka, Osaka 560, Japan
       Phone : +81-6-850-6607         Fax : +81-6-850-6609
       Email : forte-pstv97@ics.es.osaka-u.ac.jp

    To obtain additional information, you may also browse our World-Wide
    Web pages, the URL is
       http://sunfish.ics.es.osaka-u.ac.jp/forte.pstv97/

Expression of interest in FORTE/PSTV'97:
  If you are interested in FORTE/PSTV'97, please return the following
  information to the Program Co-Chair (preferably by E-mail to
  forte-pstv97@ics.es.osaka-u.ac.jp):

  Name (including title): ...............................................

  Affiliation: ..........................................................

  Address: ..............................................................

  Tel: ................ Fax: ............. Email: .......................

  o I would like to receive further information about FORTE/PSTV'97 by
    MAIL or ELECTRONIC MAIL (please indicate), please put me on your
    mailing lists.

  o I intend to submit to FORTE/PSTV'97 a research paper / an industrial
    usage report / a proposal for a tool demonstration / a proposal for a
    poster display (please indicate category),

    entitled: ...........................................................

    .....................................................................

    provisional author list / presented by: .............................

  o I would be interested in offering a tutorial / an advanced technology
    seminar,

    entitled: ...........................................................

• Prev: FEmSys 97 Conference Announcement
• Next: School on Verification of Infinite State Systems
• Index: AMAST Mail 1996