Précédent : Conférences internationales Remonter : Conférences et visites Suivant : Divers

Animation nationale

Logique Classique pour le programmeur

Ph Audebaud, J. Courant, J. Duprat, E. Giménez, et C. Paulin ont participé à la journée ``Logique Classique pour le Programmeur'' organisée à Lyon. Ph Audebaud a présenté un exposé intitulé : ``Une étude autour des exceptions de Caml-light'' et H. Herbelin a présenté un exposé intitulé : ``Jeux et logique classique''.

Journées des GDR

B. Barras, S. Boutin, J. Courant, C. Cornes, E. Giménez, J.-C. Filliâtre, H. Laulhère, C. Muñoz, C. Paulin, et B. Werner ont participé aux journées du GDR de Programmation à Orléans en novembre. S. Boutin, J. Courant, H. Laulhère, C. Muñoz y ont présenté un exposé et C. Cornes une démonstration.

G. Dowek a participé aux journées "Lambda-calcul et réecriture" du GDR AMI à Orsay, où il a présenté un exposé.

J. Duprat a participé aux journées du PRC Architectures Nouvelles de Machines à Rennes en février.

Systèmes Critiques

C. Paulin a été conférencier en janvier au Colloque sur l'application des méthodes formelles au développement des systèmes critiques à Grenoble.