Tuesday
Wednesday
Thursday
New: invited speakers
- Daniel Krob (Ecole Polytechnique - France)
Modeling of Complex 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 Metiers 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.
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.