Responsables : D. Duval & T. Wettengel
|
Vendredi 22 octobre 1999, 14 h00, Dpt de documentation technique, Faculté des lettres |
|
|
|
A. Necer : Introduction aux réseaux de Petri. D. Duval : Sur l'aspect spécification d'un graphe de navigation. |
|
Vendredi 19 novembre 1999, 14 h00, Salle des séminaires, LACO, Faculté des Sciences |
|
|
|
T. Wettengel : Le modèle technique TIM des navigateurs, relations entre le formalisme TIM et celui de la logique de premier ordre, complexité de la navigation. A. Necer : Réseaux de Petri. |
|
Vendredi 17 décembre 1999, 15 h30, Dpt de documentation technique, Faculté des lettres |
|
|
|
A. Necer, T. Wettengel : Réseaux de Pétri et applications. |
|
Vendredi 10 mars 2000, 14h00, Salle des séminaires, LACO, Faculté des Sciences |
|
|
|
Rivo Hery Andrianarison (Société SPS2i) et Cédric Massart (Société Ultime): Conception et réalisation de CD-ROM interactifs et de sites Internet. |
|
Vendredi 7 Avril 2000, 14h00, Dpt de documentation technique, Faculté des lettres |
|
|
|
Christian Lair : Esquisse de quelques structures intervenant dans les navigateurs. Pascale Sénéchaud : Esquisse du contrôle d'accès à un groupe de bâtiments. |