Précédent : Animation nationale Remonter : Conférences et
visites Suivant : Diffusion de logiciels
- Ecole d'été Marktoberdorf
- B. Barras a participé à l'école d'été Marktoberdorf
School on Mathematical Methods in Program Development.
- W3C
- G. Huet a participé à la conférence W3C update au
CNIT.
- Network Security
- G. Huet a participé à la conférence ``Network Security'' à
New-Delhi.
- Colloque Renou
- G. Huet a participé au colloque Renou à l'ENS en
janvier.
- Panel CLEI 96
- C. Muñoz a participé à la conférence latino-americaine
d'informatique ``Panel CLEI 96'' à Santafé de Bogotá (Colombie)
où il a présenté un exposé.
- Verification day
- C. Paulin a donné une conférence lors d'une journée
``Verification day'' organisée par l'université technologique
de Eindhoven.
- Logique et Modèles du Calcul
- G. Huet a été au colloque ``Logique et modèles du calcul''
au CIRM (Luminy).
- LFCS
- G. Huet a été conférencier invité au colloque du 10ème
anniversaire du Laboratory on Foundations of Computer Science
(LFCS) à l'Université d'Edimbourg.
- Academia Europæ
- G. Huet a participé à un symposium du groupe des
informaticiens d'Academia Europæ à Amsterdam.
- Table Ronde
- H. Herbelin a participé à la table-ronde sur les jeux
à Imperial College (Londres) en novembre.
- Visites Industrielles
- G. Huet a participé à la présentation Génie chez Dassault,
et à des rencontres INRIA-Aérospatiale, à Toulouse et aux
Mureaux . Il a rendu visite à la société Bertin en avril. Il a
participé à la réunion annuelle VIP à Nancy en septembre.
- Visites de courte durée
-
C. Muñoz a passé une semaine à l'université EAFIT de Medellín
(Colombie) où il a donné un cours.
B. Werner a visité le laboratoire d'informatique de
l'Université d'Edimbourg où il a donné un exposé de séminaire
et le Laboratoire de Mathématiques Discrètes de
Marseille-Luminy.