[ada-france] FORTE'06: Registration is open

[Jean-François Peyre]

Bonjour,

je suis heureux de vous annoncer que les inscriptions à FORTE'06,
qui se tient au CNAM cette année, sont désormais possibles. Vous
noterez, outre un programme scientifique de haut niveau abordant
entre autres, les problèmes de services, de systèmes complexes,
du temps réel, de tests ou de la vérification des systèmes distri-
bués, un prix d'inscription pour les  étudiants particulièrement
bas, reflétant une volonté forte de favoriser l'accès à FORTE'06
aux élèves de Master, d'écoles  d'ingénieurs et aux doctorants.

Bien cordialement,

======================================================================
Jean-François Pradat-Peyre                          Laboratoire Cedric
Conservatoire National des Arts et Métiers   Tel: +33 (0)1 40 27 26 06
2 rue Conté -- 75003 PARIS, FRANCE           Fax: +33 (0)1 40 27 28 45

                        http://quasar.cnam.fr
======================================================================


-- ================================================================= --
--                     Call for Participation                        --
--            26th IFIP WG 6.1 International Conference on           --
--        Formal Methods for Networked and Distributed Systems       --
--                                                                   --
--                              FORTE'06                             --
--                                                                   --
--                September 26-29 2006, Paris, France                --
--                                                                   --
--                      http://forte2006.cnam.fr                     --
-- ================================================================= --

NEW: Registration is open

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

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. FORTE'06 is organized by CEDRIC, the
computer science research laboratory of the CNAM, and by the Parisian
multi laboratories research group MeFoSyLoMa (Méthodes Formelles
pour les Systèmes Logiciels et Matériels, http://mefosyloma.cnam.fr).
FORTE is dedicated to formal description techniques and their
application to distributed systems and cooperating applications.

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

-- ================================================================= --
Forte'06 in short (more details at http://forte2006.cnam.fr)
 -- ================================================================= --

* Two Tutorials (26 September 2006)

  - Rüdiger Valk (Univ. of Hamburg, Germany)
      "Petri nets for Software Engineering", 9h-12h30

  - Dominique Méry (Univ. Henri Poincaré Nancy 1 & LORIA, France)
       "The event B method", 14h-17h30

* Three Keynotes speakers

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

  - Leslie Lamport (Microsoft - USA)
     "The +CAL Algorithm Language"

  - Martin Wirsing (Univ. of Munich and Sensoria Project - Germany)
     "Semantic-Based Development of Service-Oriented Systems"

* 30 Technical Papers on middleware specification, services,
     parameterized verification, test, logics, UML and Petri nets

Program and registration facilities are available at the conference's
web site:

              http://forte2006.cnam.fr

-- ================================================================= --
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

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

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

-- ================================================================= --
Our apologies if you receive multiple copies of this announcement.
Please circulate widely.