Précédent : Conférences et visites Remonter : Conférences et visites Suivant : Animation nationale

Conférences internationales

Type Theory and Term Rewriting

Ph. Audebaud, C. Muñoz, C. Paulin et F. Prost ont participé à l'école ``Type Theory and Term Rewriting'' à Glasgow (Écosse). C. Paulin y a donné un exposé invité.

TYPES

Ph. Audebaud, S. Boutin, C. Cornes, G. Dowek, J. Duprat, J.-C. Filliâtre, E. Giménez, H. Herbelin, C. Muñoz, Ch. Paulin et B. Werner ont participé au symposium annuel Types'96 à Aussois (France). B. Barras, S. Boutin, C. Cornes, G. Dowek, H. Herbelin et B. Werner y ont présenté des exposés.

TPHOL

S. Boutin, C. Paulin, A. Saïbi ont participé à la conférence TPHOL'96 qui s'est tenue à Turku en Finlande du 24 au 30 août. C. Paulin y a présenté un tutorial.

FST-TCS

G. Huet a participé à un atelier ``Specification and Certification of Critical Systems'' à la conférence FST/TCS à Hyderabad.

FLOC

G. Huet a été conférencier invité au congrès fédérateur FLoC'96, à New-Brunswick (NJ) en juillet.

C. Muñoz a participé aux conférences ``Logic in Computer Science'' et ``Automated Deduction'', à New Brunswick (États unis). Il a présenté un exposé à la conférence ``Logic in Computer Science''.

MFPS

G. Huet a été conférencier invité au colloque ``Mathematical Foundations of Programming Semantics'' (MFPS'96) à Boulder (Colorado).

ICSLP

G. Dowek a présenté un exposé à la conférence ``Joint International Conference and Symposium on Logic Programming'' à Bonn (Allemagne)

Logic Colloquium

G. Dowek a présenté un exposé au ``Logic Colloquium'' à San Sebastian (Espagne).

UNIF

G. Dowek a participé au symposium ``Unif'' à Munich (Allemagne)