Projet Paragraphe
Précédent : Actions régionales, nationales et
internationales Remonter : Projet PARAGRAPHE, Parallélisme et
graphes Suivant : Références
D. Caucal a été membre du comité
de programme du workshop Infinity'97, qui s'est tenu à Bologne en
Juillet 97.
Ph. Darondeau a été membre du comité de programme du workshop
Express'97, qui s'est tenu à Santa Margherita Ligure du 8 au 12
Sept.
D. Caucal enseigne en préparation à
l'agrégation de mathématiques, dans l'option `mathématiques de
l'informatique' (90 heures).
D. Caucal enseigne en DEA
d'informatique, dans l'option `logique d'ordre supérieur' (18
heures).
V. Schmitt a donné un cours sur les modèles
de la concurrence aux étudiants du Laurea de l'université de Rome
(12 heures).
E. Badouel.
``Splitting of Actions, Higher-Dimensional Automata and Net
Synthesis'', présenté à la réunion de Mosydis à Cachan, et à la
réunion de Procope à Fontainebleau.
D. Caucal. ``Sur des graphes infinis réguliers'', séminaire à
l'Institut Gaspard Monge (Marne-la-Vallée).
Ph. Darondeau, ``Synchrony in Nets'', Dagstuhl seminar on
Synchronous Languages(Dec. 96).
Ph. Darondeau, ``Some reasons for studying expressivity''.
Réunion du réseau HCM Express, Santa
Margherita Ligure (Sept. 97).
Ph. Darondeau, ``Types of Nets'', Réunion du groupe de travail de
l'IFIP WG 2.2, Graz (Sept. 97).
Précédent : Actions régionales, nationales et
internationales Remonter : Projet PARAGRAPHE, Parallélisme et
graphes Suivant : Références