[Elsnet-list] FORTE'06: Last Call for Paper & Deadline extension: 25 April, 2006

Farn Wang farn at cc.ee.ntu.edu.tw
Sun Apr 23 04:37:42 CEST 2006


We apologize if you have received multiple copies of this email. 
================================================================= --
--                      Last Call for Papers                         --
--            26th IFIP WG 6.1 International Conference on           --
--        Formal Methods for Networked and Distributed Systems       --
--                             FORTE 2006                            --
--                                                                   --
--                September 26-29 2006, Paris, France                --
--                                                                   --
--                         Special focus on                          --
--    Middleware & distributed services analysis and verification    --
--                                                                   --
--                      http://forte2006.cnam.fr                     --
-- ================================================================= --

New : Extended deadline

    Full paper submission:     25 April, 2006

-- ================================================================= --
New : Invited speakers

- Daniel Krob (Ecole Polytechnique - France)
    Title: Modeling of Complex Systems

- Leslie Lamport (Microsoft)
    Provisional Title : Advances in specification and verification of
       distributed systems

- Martin Wirsing (University of Munich and Sensoria Project)
    Title: related to the topics of Sensoria project

-- ================================================================= --

The 26th FORTE conference  will take place in Paris in the buildings of
the CNAM (Conservatoire National des Arts et Métiers http://www.cnam.fr)
localized in the center of Paris. It is organized by the multi research
laboratories  group  MeFoSyLoMa   http://mefosyloma.cnam.fr.  FORTE  is
dedicated   to formal   description techniques and their application to
distributed systems and cooperating applications.

The  focus of  FORTE 2006  is  on  the construction of  middleware and
services using formalized and verified approaches.  In addition to the
classical  protocol specification, verification  and testing problems,
Forte'06 will address the issues  of composition of protocol functions
and  of   algorithms for distributed   systems.   Contributions on the
issues of composing and orchestrating services are also encouraged.

The conference   will consist of tutorial sessions    on the first day
(Tuesday  September 26th)  followed  by presentations  of reviewed and
invited  papers,  tool demonstrations,   panel  and  working  sessions
(Wednesday 27, Thursday  28 and Friday  29).  The proceedings  will be
published by Springer-Verlag in the Lecture Notes in Computer Sciences
series.

-- ================================================================= --
Schedule (extended)

Short abstract submission (recommended): 18 April, 2006
Paper submission deadline:               25 April, 2006
Notification to authors:                  5  June, 2006
Camera-ready version:                    25  June, 2006

Conference:                 26th - 29th September, 2006

-- ================================================================= --
Topics

The aim of FORTE 2006 is to provide  a forum for researchers and users
to  review,   discuss, and  learn about   new approaches, concepts and
experiences in the application of formal methods for the specification
and the verification  of distributed systems and  applications. Formal
description  techniques   include (but are  not   limited to) SDL, UML
notations,  Domain  Specific  Languages (DSLs),  LOTOS, MSC,  Promela,
etc. Contributions on Formal paradigms  based on finite state machines
process algebras, Petri nets, logics  or timed automata, etc are  also
encouraged.  The    application   domains       include    networking,
telecommunication  services,  internet, embedded  systems,  real  time
systems, transport systems,   networked games, web based   systems and
services, etc.

Topics of interest include, but are not restricted to :

    +  Use of  formal methods: Formally   based  design of
communication
    protocols, formal verification, composition of protocols, definition
    and verification  of   design  patterns, integration   of   protocol
    functions   into  middleware, distributed systems,     Automatically
    derived  implementations,   Transformation     based    development,
    Composition, interaction and   orchestration  of services,   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   formal methods  and  notations, Semantic
    foundations, Real-time  and probability aspects, semantics of domain
    specific languages, semantical foundations for UML notations.


    + Practical experience with formal methods: Reports and case studies
    of the  use of formal methods and  notations in the  development and
    the validation of distributed systems.


-- ================================================================= --
Submissions

Authors are  invited  to  submit  either regular  (16  pages) or short
papers (5 pages).  All papers must  be in English, clear, complete and
must  be original contributions.  Short  papers are either devoted  to
describing  work in progress or  to the presentation and evaluation of
tools. Practical experience papers can be either long or short.

All submissions  will   be evaluated  by  the  program   committee for
inclusion in the proceedings, which  will be published Springer-Verlag
in the Lecture Notes in Computer Sciences series. Authors are required
to submit a paper  title and a short abstract  not exceeding 200 words
at the conference web site no later than April 18th, 2006.

-- ================================================================= --
General chair
   Véronique Viguié Donzeau-Gouge, CEDRIC-CNAM, France

Program chair
   Elie Najm, ENST, France
   Jean-François Pradat-Peyre, CEDRIC-CNAM, France

Publicity Chair
   Kirill Bogdanov, University of Sheffield, UK

Tutorial Chair
   Christine Choppy, LIPN Univ. Paris-Nord

-- ================================================================= --
Program committee

G. V. Bochmann (Univ. of Ottawa, Canada)
T. Bolognesi (IEI Pisa, Italy)
M. Bravetti (Univ. of Bologna, Italy)
A. Cavalli (INT Evry, France)
J. Derrick (Univ. Sheffield, United Kingdom)
L. Duchien (LIFL, France)
A. Fantechi (Univ. di Firenze, Italy)
C. Fidge (Australia)
D. de Frutos-Escrig (Complutense Univ. of Madrid,Spain)
H. Garavel  (Inria, France)
R. Gotzhein (Univ. of Kaiserslautern, Germany)
S. Haddad (Lamsade-Paris Dauphine, France)
T. Higashino (Univ. of Osaka, Japan)
D. Hogrefe (Univ. of Gottingen, Germany)
G. J. Holzmann (NASA/JPL, USA)
P. Inverardi (University of L'Aquila, Italia)
C. Jard (IRISA, France)
M. Kim (ICU Taejon, Korea)
H. Koenig (Brandenburg University of Technology, Germany)
L. Logrippo  (Univ. du Québec en Outaouais, Canada)
J. Magee (Imperial College of London, United Kingdom)
E. Najm (Infres ENST, France)  co-chair
M. Nunez (Complutense Univ. of Madrid, Spain)
D. A. Peled, (Univ. of Warwick, United Kingdom)
A. Petrenko (CRIM Montreal, Canada)
F. Plasil (Charles University, Prague)
J.-F. Pradat-Peyre (Cedric-Cnam, France)  co-chair
W. Reisig (Humboldt-Universitat, Berlin)
J.B. Stefani (Inria, France)
K. Suzuki (Kennisbron Co., Ltd, Japan)
P. Traverso (ITC-IRST, Italia)
K. Turner, (Univ. of Stirling, United Kingdom)
H. Ural (Univ. of Ottawa, Canada)
F. Wang (National Taiwan University, Taiwan)

-- ================================================================= --
Organization committee

Christine Choppy, LIPN Univ. Paris-Nord
Joyce El Haddad, Lamsade Univ. Paris Dauphine
Sami Evangelista, CEDRIC-CNAM
Irfan Hamid, Infres-ENST
Christophe Pajault, CEDRIC-CNAM
Emanuel Paviot, LIP6 Univ. Pierre et Marie Curie
Pierre Rousseau, CEDRIC-CNAM






More information about the Elsnet-list mailing list