JOURNEES de VERIFICATION FORMELLE
LIFO, Orléans, le JEUDI 8 et le VENDREDI 9 JUIN 2000
Batiment IIIA, rue Léonard de Vinci, Campus Scientifique
Université d'Orléans
Quelques mots sur ces Journées :
Un des objectifs est de proposer aux intéressés un cours du type "survol et
perspectives" pour les approches formelles orientées "Vérification", basées sur
les automates et le
model checking, par le Professeur Moshe VARDI de Rice
University, USA (accueilli en juin 2000 par le LIFO). Ce "tutorial" sera suivi de
quelques exposés sur les travaux actuels - achevés ou en cours - dans le domaine
de la vérification formelle; ces travaux pourront s'appuyer sur des formalismes
divers tels que :
algèbre de processus, assistants de preuve, tests,
analyse statique, réécriture, langages d'arbres,...
La rencontre est parrainée par le GDR-ALP, le France-Télécom R&D (Lannion), et l'Université d'Orleans.
Participation :
Pour des raisons organisationnelles, le nombre des participants sera
limité à hauteur de 35-40.
Il sera demandé à chaque participant un montant forfaitaire de 120 FFrs
(chèque ou espèces), en contrepartie des pauses-café, les 2 déjeuners des
8 et 9/6/2000, mais aussi du diner en ville du 8/6/2000, qui seront pris
en charge par les organisateurs.
Pour participer à ces journées, prendre contact avec Sebastien.Limet@lifo.univ-orleans.fr.
Résumés des Exposés prévus Formulaire d'Inscription(.txt)