Ph. Audebaud, S. Boutin, C. Cornes, G. Dowek, J.-C. Filliâtre, E. Giménez, H. Herbelin, C. Muñoz, Ch. Paulin et B. Werner ont participé au symposium annuel Types'95 à Turin (Italie). C. Cornes, G. Dowek, H. Herbelin et B. Werner y ont présenté des exposés.
Ph. Audebaud a participé la la conférence ``Logic and Domains for Programming Languages'' à Darmstadt (Allemagne) où il a présenté un exposé.
G. Dowek a participé à la conférence ``Logic in Computer Science'' à San Diego (Etats unis) où il a présenté un exposé, à la conférence ``Logic, Methodology and Philosophy of Science'' à Florence (Italie) où il a présenté un exposé et au symposium ``Higher order algebra'' à Paderborn (Allemagne).
G. Dowek, G. Huet et Ch. Paulin ont participé au symposium ``Types and Proofs with applications to Software Validation'' à Kanpur (Inde), organisé par G. Huet et S. Biswas et financé par le CEFIPRA. Ce symposium a réuni environ 25 chercheurs de divers instituts indiens.
G. Dowek, E. Giménez, G. Huet et B. Werner ont participé à la conférence ``Typed Lambda Calculi and Applications'' (TLCA) à Edinburgh (Royaume Uni). G. Dowek y a présenté un exposé.
G. Dowek et C. Paulin ont donné un cours à l'école des jeunes chercheurs du GDR Programmation à Nancy.
G. Huet, A. Saïbi et B. Werner ont assisté au symposium commun CLICS-TYPES sur la théorie des catégories et la théorie des types à Göteborg (Suède). A. Saïbi y a présenté un exposé.
G. Huet a donné un cours à l'école d'été Marktoberdorf School on Logic of Computation. C. Muñoz a participé à cette école.
G. Huet a passé deux semaines au Newton Institute à Cambridge (Royaume-Uni). Il a participé à la conférence ``Computer Science Logic'' à Paderborn (Allemagne) où il a présenté une conférence invitée sur l'axiomatisation en théorie des types.
C. Parent a participé au Symposiun BRA ``Users and Designers of Proof Systems'' organisé à Sophia-Antipolis et à la conférence ``Mathematics of Program Construction'' à Kloster Irsee (Allemagne) où elle a présenté un exposé.
C. Paulin a donné un cours à la ``Seventh European Summer School in Logic, Language and Information'' à Barcelone (Espagne). Elle a participé à la conférence ``Twentyfive years of constructive type theory'' à Venise (Italie) où elle a présenté une conférence invitée.
A. Saïbi a participé à l'école d'été ``Semantics and Logics of Computation'' organisée par le Newton Institute à Cambridge (Royaume-Uni). Il a rendu visite pendant quatre mois à P. Aczel à l'Université de Manchester (Royaume-Uni).
B. Werner a rendu visite à P.A. Melliès pendant une semaine à Amsterdam (Pays-Bas).
J. Courant, C. Cornes, J. Duprat, E. Giménez, G. Huet, H. Laulhère, C. Muñoz, C. Parent, C. Paulin, et S. Philipakis ont participé aux journées du GDR de Programmation à Grenoble en novembre.