FAC'2002 : Formalisation des Activités Concurrentes.

Journées FAC'2002
26 et 27 mars 2002
LAAS-CNRS - Toulouse

Formalisation des Activités Concurrentes Dixième Edition

Organisées par le groupe SVF / FéR IA : Spécification, Vérification Formelles.

La Formalisation des Activités Concurrentes (FAC) constitue un thème majeur de l'informatique, et de nombreux travaux de recherche et de développement sont en cours sur ce thème. Les journées FAC ont pour objet la présentation des travaux toulousains sur ce thème : méthodes, techniques d'analyse, environnements logiciels reposant sur des bases formelles et assistant la spécification, la conception, le développement et la mise au point de systèmes réactifs, répartis et coopératifs, de réseaux de communication, de systèmes critiques, ... Ces exposés sur les travaux en cours seront complétés par des présentations de conférenciers invités extérieurs.

Les journées FAC sont organisées par le groupe Spécification, Vérification Formelle ( SVF) de la fédération CNRS FéRIA.

Programme des Journées

Conférenciers invités

Francois Terrier CEA-LIST AIT-WOODDES
''UML, de la programmation à la modélisation : vers le développement basé sur les modèles des systèmes embarqués'' résumé
Hubert Garavel INRIA/VASY Home-Page
``Panorama des outils CADP'' résumé

Appel à présentations

La dixième édition des journées portera sur les thèmes ci-dessous (liste non exhaustive):

Formalismes: processus algébriques, réseaux de Petri, approches B, Unity, VDM, Z, automates temporisés, langages synchrones, logiques modales, d'ordre supérieur ...
Méthodologies: orientation objets, modularité et réutilisation, techniques de raffinement.
Techniques d'analyse, de vérification et de test, procédures de décision, vérification de preuves, approches symboliques, simulation, analyse d'espaces d'états infinis ou paramétrés, assistants de preuve, environnements de conception et/ou de validation, génération de jeux de test.
Etudes de cas

Dates importantes

: 28 janvier 2002 : soumission des articles (Nouvelle Date !)
: 28 février 2002 : notification d'acceptation
: 19 mars 2002 : version finale des articles
: 26 et 27 mars 2002 : FAC'2002

Soumission

Les auteurs sont invités à soumettre leur contribution rédigée de préférence en français par voie électronique à l'adresse suivante : vernadat@laas.fr, au format postscript.

Deux types de contributions vous sont proposées: soumission courte (3/4 pages) et soumission normale (12/15 pages). Dans les deux cas, un résumé d'une centaine de mots, au format ASCII sera joint à la soumission.

Les contributions seront disponibles sous forme électronique.

Modalités d'inscription

Les journées FAC sont ouvertes à tous. Il n'y a pas de droits d'inscription. Toutefois, pour faciliter l'organisation, il est demandé de s'inscrire avant le 18 mars 2002 par e-mail auprès de vernadat@laas.fr.

Organisateurs:

J.P.Bahsoun, M. Filali, P. Michel, G. Padiou, C. Seguin, P. Thévenod, F. Vernadat.

File translated from T_EX by T_TH, version 2.55.
On 5 Mar 2002, 08:23.