[om-a] FORTE / PSTV 2000 - preliminary CfP

[Tommaso Bolognesi]

----------------------- Preliminary Call for Papers ---------------

                **********
               **********
          **************
         **************
        **************
       **************           F O R T E  /  P S T V   2 0 0 0
      **************
     **************
    **************
   **************
  **************
 **************
-----------------------  Pisa, October 10-13, 2000  ---------------


                  IFIP TC6/WG6.1 Joint International Conference

                  FORMAL DESCRIPTION TECHNIQUES
                  for Distributed Systems and Communication Protocols
                  (FORTE XIII)

                  PROTOCOL SPECIFICATION, TESTING, AND VERIFICATION
                  (PSTV XX)


                   ===>   HomePage: http://forte-pstv-2000.cpr.it
                   ===>   e-mail: forte-pstv-2000 at cpr.it


The PSTV series of international workshops started in 1981;
the first edition of the FORTE conference was held in 1988.
Since 1996, the two meetings have been combined into a single event.
FORTE/PSTV 2000 will address Formal Description Techniques (FDT's)
applicable to Distributed Systems and Communication Protocols.

The term FDT's, originally referring to the international standards
Estelle, LOTOS, SDL, ASN.1 and TTCN, is taken here in its
broadest sense, and includes a variety of formal methods and
techniques, such as CCS, pi-calculus, timed and stochastic process
algebra, VDM, Z, B, Automata and Timed Automata, Statecharts,
Logics, TLA, Message Sequence Charts, ADT's, OBJ, Larch, formal
Object-Oriented approaches, and others.  The conference is a forum for
presentation and discussion of the state of the art in theory,
application, tools and industrialization of FDT's.  It deals with the
entire development cycle of communication protocols, distributed
systems and applications (requirements capture, specification, design,
verification, performance analysis, implementation and testing), and
provides a valuable orientation for newcomers.  Research papers and
industrial usage reports, as well as proposals for tutorials and advanced
technology seminars, posters and tool demonstrations are solicited,
particularly in the following areas:


o  FDT-based system and protocol engineering

o  Semantical foundations

o  Extensions of FDT's

o  Formal approaches to concurrent/distributed Object-Oriented
    systems

o  Real-time and probability aspects

o  Performance modeling and analysis

o  Quality of Service modeling and analysis

o  Verification and validation

o  Relations between informal and formal specification

o  FDT based protocol implementation

o  Software tools and support environments

o  FDT application to distributed systems, high speed protocols,
    Internet protocols, multimedia and multicast protocols

o  FDT application to wireless and mobile communication, intelligent
    networks, network management, and network security

o  Protocol testing, including conformance testing, interoperability
    testing, and performance testing

o  Test generation, selection and coverage

o  Practical experience and case studies

o  Corporate strategic and financial consequences of using formal
    methods


FORTE / PSTV 2000 will start on October 10th with one day of
tutorials and advanced technology seminars, and will continue with
three days of technical presentations.  Tool demonstrations and poster
displays will be possible throughout the conference.
A Best Paper Award will be offered by IFIP TC6 to the author(s) of the
best submitted paper.
A limited number of Satellite Workshops may be arranged: potential
organisers please contact the Programme Committee chairmen.


IMPORTANT DATES
      March    7, 2000      Submission deadline
      May     15, 2000      Notification of acceptance
      June    15, 2000	    Camera ready copy


CONFERENCE CHAIR
      Tommaso Bolognesi (C.N.R. - I.E.I. - Pisa)


PROGRAMME COMMITTEE CO-CHAIRS
      Tommaso Bolognesi         (C.N.R. - I.E.I. - Pisa)
      Diego Latella                    (C.N.R. -  Istituto CNUCE - Pisa)


PROGRAMME COMMITTEE
      To be announced


PROCEEDINGS
       Kluwer Academic Publishers.


---------------------   SUBMISSION POLICY   ---------------------

Full original research papers and industrial usage reports should be up
to 16 pages, including abstract, names and affiliations of all authors,
and a list of keywords facilitating the assignment of papers to referees.
For industrial usage reports, short papers up to 8 pages are also
welcome.  Electronic submissions are highly recommended, and
should be formatted according to the templates and styles for the final
proceedings, which are available at http://www.wkap.com/ifip/ (check
the Conference Web site for detailed instructions).  Please send two e-
mails, respectively containing:

o    a plain text (ASCII) including only: submission category
      (research paper or industrial usage report), paper title, name and
      affiliation of authors, keywords, abstract, and full contact information
      of the primary author;

o     your complete paper in postscript format;

to: forte-pstv-2000 at cpr.it

Authors are encouraged to use the A4 paper size and to make sure that
their submissions are printable on a variety of postscript printers (e.g.
by using standard fonts).  Authors are required not to send papers that
have been submitted to another conference or to a journal.

TUTORIAL / ADVANCED SEMINAR SUBMISSION
Send your proposal by e-mail before March 7th, 2000, to Alessandro
Fantechi: fantechi at dsi.unifi.it, indicating also the expected duration of
your presentation (ranging from two hours to a full day).

TOOL DEMO SUBMISSION
Send your proposal by e-mail before September 1st, 2000, to Maurizio
Caneve: m.caneve at cpr.it.
--
om-announce at openmath.org  -  public announcements concerning OpenMath
Post discussion to om at openmath.org
Automatic list maintenance software at majordomo at openmath.org
Mail om-announce-owner at openmath.org for assistance with any problems