-- ================================================================= -- -- 2nd 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: 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
Short abstract submission (recommended) : 10 April, 2006 Paper submission deadline : 18 April, 2006 Notification to authors : 5 June, 2006 Camera-ready version : 25 June, 2006
Conference : September 26th - 29th, 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 10th, 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) D. de Frutos-Escrig (Complutense Univ. of Madrid,Spain) J. Derrick (Univ. Sheffield, United Kingdom) L. Duchien (LIFL, France) C. Fidge (Australia) R. Gotzhein (Univ. of Kaiserslautern, Germany) S. Haddad (Lamsade-Paris Dauphine, France) T. Higashino (Univ. of Osaka, Japan) D. Hogrefe (Univ. of Gottingen, Germany) P. Inverardi (University of L'Aquila, Italia) C. Jard (IRISA, France) G. J. Holzmann (NASA/JPL, USA) M. Kim (ICU Taejon, Korea) H. Koenig (Brandenburg University of Technology, Germany) L. Logrippo (Univ. of Ottawa, 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 (UEC, 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 Christophe Pajault, CEDRIC-CNAM Pierre Rousseau, CEDRIC-CNAM Emanuel Paviot, LIP6 Univ. Pierre et Marie Curie