2000-2001

Groupe de travail

Modélisation, Vérification et Tests des systèmes informatisés
&
Petite école pour la vérification

Le jeudi de 10h45 à 12h
Salle G.T. 2, LaBRI, Rez-de-chaussée


Propositions Futures d'Exposés 2000,...

GT classique

Un jour. Patrick Félix (LaBRI)
HyTech et les systèmes hybrides linéaires.
Un jour. Pierre Castéran (LaBRI)
Suites et preuves finies ou infinies (2).
Un jour. Alain Griffault (LaBRI)
Modélisation du typique 27.
Un jour. Didier Bégay (LaBRI)
Vérification d'agents transportables.
Un jour.
UML.
Un jour. David Janin (LaBRI)
JCOM.

La petite école pour la vérification

Un jour. Marc-Michel Corsini et/ou Benoit Le Blanc (LaBRI)
Réseaux de neurones, bases de connaissances.
Un jour. X (LaBRI)
Modèles pour la vérification.
Un jour. X (LaBRI)
Langages évolués pour la vérification.
Un jour. David Sherman (LaBRI)
Structures de données pour la vérification.
Un jour. Macha Nikolskaia (LaBRI)
Réécriture pour la vérification.
Un jour. Pierre Castéran et/ou Paul-Yves Gloess (LaBRI)
Les outils de preuves : logiques, théories...
Un jour. Pierre Castéran (LaBRI)
Suites et preuves finies ou infinies (2).
Un jour. Kaninda Musumbu (LaBRI)
Interprétation abstraite et Modèle checking.