Atelier sur la Documentation Technique et les Esquisses

Équipes Calcul Formel et Documentation Technique

Responsables : D. Duval & T. Wettengel


 

Programme

Octobre 1999

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.

Novembre 1999

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.


Decembre 1999

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.

Mars 2000

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.

Avril 2000

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.

Archives