B 2007
7
econférence internationale sur la méthode B
LIFC, Besançon, du 17 au 19 janvier 2007
B est une méthode formelle très utilisée dans le monde académique et l’industrie, pour la spécification et la vérification de systèmes logiciels et matériels. B 2007 est la septième édition de la conférence internationale sur la méthode B. La première édition a eu lieu à Nantes en 1996. Les cinq éditions suivantes ont eu lieu dans les villes de Montpellier (1998), York (Royaume-Uni, 2000), Grenoble (2002), Turku (Finlande, 2003) et Guildford (Royaume-Uni, 2005).
Le comité de programme invite les auteurs à soumettre des articles sur la méthode B, sur l’usage d’approches formelles similaires ou sur les méthodes formelles en général. En particulier, le comité de programme encourage les contributions centrées sur les applications industrielles et demande aux auteurs de préciser leur domaine de soumission (selon la liste diffusée sur le site de la conférence).
La conférence proposera également des interventions de conférenciers invités, issus du monde académique ou industriel et une session “industrial event”.
Parallèlement à la session principale, la conférence proposera des démonstrations d’outils et de posters. Le comité de programme invite les auteurs d’outils et d’expériences industrielles à soumettre un article court sur ce sujet. Les articles courts acceptés seront présentés lors de la conférence et publiés par Springer. Une demi-journée de tutoriels aura lieu en prélude de la conférence principale.
Pour plus d’information
Tous les détails et les informations à jour sont à consulter sur le site internet de la conférence, à l’adresse http://lifc.univ-fcomte.fr/b2007
Cet article des Editions Lavoisier est disponible en acces libre et gratuit sur tsi.revuesonline.com
