The Coq mailing list

[Hartmut K�nig <koenig AT Informatik.TU-Cottbus.DE>]

    Please excuse if you received that Call for Papers several times.
=====================================================================

                              Attention !!!

The FORTE deadline will be extended for one week. The submission window 
will be closed March 24, 2003 12 a.m. (MET) sharp.

Kind regards
Hartmut Koenig, Monika Heiner, and Adam Wolisz

=====================================================================


                               CALL FOR PAPERS

                                  FORTE 2003

                     Application of Formal Description Techniques
                        in Internet and Communication Domains

                               IFIP TC 6 / WG 6.1
                       The 23rd IFIP International Conference
                                     on
              Formal Techniques for Networked and Distributed Systems

                          September 29th - October 2nd, 2003
                                  Berlin, Germany
                             http://www.forte2003.de.vu
========================================================================

Scope and Objectives

FORTE denotes a series of international working conferences on formal
description techniques (FDTs) applied to computer networks and
distributed systems. The conference series started in 1981 under the
name PSTV. In 1988 a second series under the name FORTE was set up. Both
series were united to FORTE/PSTV in 1996. Two years ago the conference
changed the name to its current form. FORTE provides a forum for
researchers and users to review, discuss, and learn about new
approaches, concepts,and experiences in the field of formal description
techniques and their application.

The 23rd FORTE conference will be held in Berlin. It is organized by the
Brandenburg University of Technology Cottbus (BTU Cottbus) and the
Berlin University of Technology (TU Berlin). FORTE 2003 is especially
dedicated to the application of formal description techniques to
practice, especially in the Internet domain. The conference will consist
of tutorial sessions on the first day, followed by presentations of
reviewed and invited papers, tool demonstrations, and panel and working
sessions.

Topics of interest

FORTE'03 will provide a forum for researchers and users to review,
discuss, and learn about new approaches, concepts and experiences in the
application of formal methods such as finite state machines, process
algebras, Petri nets and logics and formal description techniques
including SDL, UML, LOTOS, MSC, ASN.1, and others. Topics of interest
include, but are not restricted to

-  Use of formal methods: FDT based design of communication protocols
    and distributed systems especially for Internet applications, Formal
    verification, Performance modeling and analysis, Automatically
    derived implementations, Test of distributed systems and
    communication protocols including interoperability tests, performance
    tests, robustness tests, and test generation procedures, Tool support
-  Theoretical aspects of formal methods: New approaches and theories,
    Extensions of FDTs, Semantic foundations, Real-time and probability
    aspects
-  Practical experience with formal methods: Reports and case studies of
    the deployment of formal methods and FDTs to the development and
    validation of distributed systems and communication protocols, in
    particular in Internet and communication domains.

We strongly encourage the submission of papers with practical
applications especially in the areas of multimedia applications,
wireless and mobile communication protocols, client/server applications,
secure systems/environments, e-business and mobile commerce,
and other Internet applications.

Submission policy

Several types of contributions are solicited:
- Full papers - research or practice results (not more than 16 pages)
- Tutorial proposals
- Work in progress papers (not more than 5 pages)
- Tool demonstration proposals

Only original papers, i.e. not submitted nor published elsewhere, should
be submitted. Papers should be submitted electronically in PDF format
using the following address:

                        http://www.forte2003.de.vu/paper

All accepted full papers will be published in Lecture Notes of Computer
Science series of Springer. Work in progress papers will be published in
a separate volume at the conference. To facilitate the production of the
final proceedings we strongly recommend submissions to follow the
Springer style available at  http://www.springer.de/comp/lncs/
authors.html.

Best Paper Award

There will be a best paper award of 500 Euros offered by IFIP TC6 for
the author(s)of the best paper selected during the reviewing process.

Important Dates

- March 17th, 2003: Submission deadline for regular papers and tutorials
   EXTENDED to March, 24th, 2003 !!!!
         - May 22nd, 2003: Notification of acceptance
         - June 23rd, 2003: Camera-ready version
- May 19th, 2003 Submission deadline for work-in-progress papers

Conference Chairs

- Hartmut Koenig, BTU Cottbus
- Monika Heiner, BTU Cottbus
- Adam Wolisz, TU Berlin

Technical Program Committee

- T. Bolognesi, IEI Pisa, Italy
- E. Borcoci, University of Bucarest, Romania
- H. Bowman, University of Kent, UK
- A. Cavalli, INT Evry, France
- P. Dembinski, IPI Warsaw, Poland
- R. Gotzhein, University of Kaiserslautern, Germany
- R. Groz, INRIA Rhones-Alpes, France
- U. Herzog, University of Erlangen-Nueremberg, Germany
- T. Higashino, Osaka University, Japan
- D. Hogrefe, University of Göttingen, Germany
- G. J. Holzmann, Bell Labs, USA
- C. Jard, IRISA, France
- M. Kim, ICU Taejon, Korea
- F. Khendek, Concordia University Montreal, Canada
- P. Kritzinger, University of Cape Town, South Africa
- H. Krumm, University of Dortmund, Germany
- D. Lee, Bell Labs, China
- M. Luukainen, University of Helsinki, Finland
- B. Müller-Clostermann, University of Essen, Germany
- M. Nunez, University of Madrid, Spain
- D. A. Peled, University of Warwick, UK
- A. Petrenko, CRIM Montreal, Canada
- K. Suzuki, Advanced Coomuication Coop., Japan
- Ü. Uyar, City University of New York, USA
- M. Y. Vardi, Rice University Houston, USA
- J. Wu, Tsinghua University, Beijing, Chian
- N. Yevtushenko, Tomsk State University, Russia

Steering Committee

- G. v. Bochmann, University of Ottawa, Canada
- E. Brinksma, University of Twente, The Netherlands
- S, Budkowski, INT Evry, France
- G. Leduc, University of Liege, Belgium
- E. Najm, ENST, France
- R. Tenney, University of Massachusetts, USA
- K. Turner, University of Stirling, UK

Publicity Chair for

- Asia: K. Suzuki, Advanced Communication Coop., Japan
- North America: Ü. Uyar, City University of New York, USA
- South America: W. Lopes de Souza, University of Sa~o Carlos, Brazil

Organization Committee

- Katrin Willhöft, BTU Cottbus
- Christian Noack, BTU Cottbus
- Irene Ostertag, TU Berlin
- Ronny Richter, BTU Cottbus

Further Information

- FORTE Web site: http://www.forte2003.de.vu
- IFIP Web site:  http://www.ifip.or.at/
- For questions:  
forte2003-org AT informatik.tu-cottbus.de

--
________________________________________________________________________

Hartmut König                                     Tel: +49  355 69 22 36
koenig AT informatik.tu-cottbus.de
                   Fax: +49  355 69 21 27
                                        BTU Cottbus

                        LS Rechnernetze und Kommunikationssysteme             
          
                          PF 10 13 44, D-03013 Cottbus, Germany
                         http://www-rnks.informatik.tu-cottbus.de
________________________________________________________________________