FAC'2000
18 et 19 mai 2000
IRIT-Toulouse
La formalisation des activités
concurrentes 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 sont organisées par
le groupe de travail Spécification, Vérification Formelle
de la fédération FéRIA (DTIM-ONERA, LAAS-CNRS, IRIT-CNRS-UPS-INPT).
Elles 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, ...
Les exposés sur les travaux
en cours sont complétés par des présentations de conférenciérs
invités. Pour cette session, le thème de la réécriture
et ses applications à la spécification et à la vérification
a été choisi. Claude Kirchner du LORIA présentera
les systèmes de réécriture en général
et illustrera ses propos par le sytème ELAN développé
au LORIA. Yves Métivier du LaBRI exposera l'utilisation de
la réécriture pour le développement d'algorithmes
distribués.
Conférenciers invités
Claude Kirchner
ELAN
ou la programmation par réécriture
LORIA et INRIA
Nancy
Yves
Metivier
Algorithmique
distribuée et réécritures de graphes.
LaBRI - IUF
Talence
Appel à papiers
La huitiè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
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 : filali@irit.fr,
, au format postscript. Les contributions ne devront pas excéder
12 pages au format
Latex fullpage 11pts. Un résumé d'une centaine
de mots, au format ASCII sera joint à la soumission.
Dates importantes
-
15 février 2000 : soumission des articles
-
31 mars 2000 : notification d'acceptation
-
15 avril 2000 : version finale des articles
-
18
et 19 mai 2000 : FAC'2000
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 10 mai 2000 par e-mail ici.
Organisateurs
P. Azéma, J.P.Bahsoun, M. Filali, P. Michel,
G. Padiou, C. Seguin, F. Vernadat.
