Pour information

A l'occasion de la soutenance de HDR de Christian Attiogbé et
de la venue à Nantes de plusieurs experts,
l'équipe COLOSS organise dans le cadre AtlanStic,
un atelier (workshop) sur le thème :
"Variété de la nature des systèmes informatiques
et méthodes de construction/vérification formelle"

le 13 septembre 2007 - Salle 003 - laboratoire Lina
(bâtiment 11, fac sciences)

Vous êtes cordialement invités à assister aux exposés
/travaux présentés lors de cet atelier.

Le programme préliminaire (susceptible de petites
modifications) est le suivant :


09:30 - 10:00 - B. Stoddard, "La thermodynamique
des logiciels et son rapport avec les methodes formelles"

10:00 - 10:30 - D. Mery, "Le e-voting et la technique
de raffinement"

10:30 - ... C. Attiogbé, (Soutenance HDR),
Contributions aux approches formelles de développement de logiciels :
Intégration de méthodes formelles et analyse multifacette"

Pause déjeuner

14:30 - 15:00 - D. Bert, "Spécification et preuve de
propriétés de vivacité en B événementiel"

15:00 - 15:30 - C. Jard, "Le langage ORC d'orchestration
de services Web ; semantique d'ordre partiel, ..."

15:30 - 16:00 - ???, ???, Irccyn

16:00 - ... Discussions

Pot en fin de journée, au lina