Dans le cadre des séminaires Histoire et philosophie des sciences de l'Université de Nancy 2, D. Briaud a donné début janvier un exposé intitulé ``Le Formalisme de H. B. Curry''.
Nicolas Hermann a présenté l'article [28] en collaboration avec Phokion Kolaitis à la conférence internationale MFCS '95 à Prague en août 1995, et a participé à la conférence internationale LICS '95 à San Diego en juin 1995.
D. Briaud a présenté lors de la conférence Typed Lambda Calculi and Applications, en avril à Edimbourg, une communication intitulée ``An Explicit Eta rewrite rule'' [22].
À l'occasion d'un séjour à l'Université Technique d'Eindhoven, début octobre, D. Briaud a présenté un séminaire intitulé ``Higher Order Unification and Explicit Substitutions''.
Pierre Lescanne a présenté ses travaux à la conférence Rewriting Techniques and Applications 95 [33] à Kaiserslautern, ceux de François Leclerc [32] à la Conférence Internationale sur le lambda-calcul et ses applications à Édimbourg et ceux de Valentin Antimirov à la conférence Fundamentals of Computation Theory à Dresde. Il a été invité à donner une conférence au Séminaire international sur les types abstraits à Oslo organisé par le projet européen COMPASS et au colloquium de l'Université de Boston. Il a de plus participé à la conférence FORTE'95 sur les Techniques formelles de conception de systèmes distribués et de protocoles à Montréal.
En avril 1995, V. Antimirov et G. Kucherov ont assisté à la conférence Rewriting Techniques and Applications à Kaiserslautern (Allemagne).
G. Kucherov a présenté ses travaux lors des conférences internationales Combinatorial Pattern Matching à Helsinki (Finlande) en juillet 1995 et Logic, Language and Computation à Tbilissi (Géorgie) en octobre 1995. Dans le cadre de la mise en oeuvre des travaux sur le génome, G. Kucherov a participé au colloque international ``Informatique et Biologie Moléculaire'' (Lyon, décembre 1994) et à l'Atelier de Bio-Informatique sur le thème ``Classification hiérarchique et séquences biologiques'' (Paris, mars 1995). Grégory Kucherov a donné un séminaire à l'Université Technique de Berlin (Allemagne).
P. Zimmermann a participé au workshop du projet européen PoSSo ( Polynomial System Solving), où il a présenté avec K. Drescher (Université de Paderborn) les capacités de MuPAD dans ce domaine [27]. P. Zimmermann a également présenté la version 1.2.2 de MuPAD aux journées annuelles de la DMV ( Deutsche Mathematiker Vereinigung) qui se sont tenues à Ulm (Allemagne) en septembre 1995. Il a aussi participé au stand MuPAD au CeBIT à Hannovre au printemps 1995, et a donné trois exposés au Oberseminar commun à l'équipe MUPAD et à l'équipe de J. von zur Gathen à Paderborn.
O. Aït-Mohamed a présenté l'article [18] au 8e Workshop on Higher Order Logic Theorem Proving and Its Applications à Aspen Grove, Utah, USA ; il a également présenté l'article [17] à la conférence internationale On Parallel and Distributed Processing Techniques and Applications qui s'est tenue à Athens, Géorgie, USA.
B. Chetali a présenté ses travaux sur la vérification du protocole de communication sur des canaux défectueux [34] à la Huitième Conférence Internationale sur les Techniques Formelles de Description des Systèmes Distribués et des Protocoles de Communication (FORTE '95) dont les actes seront publiés dans la série Lecture Notes in Computer Science, Springer Verlag. Elle a par ailleurs présenté son travail sur la comparaison avec le démonstrateur HOL au workshop TACAS (Satellite de TAPSOFT) portant sur les Outils et Algorithmes pour la Construction et Analyse des Systèmes, qui s'est tenu au Danemark du 19 au 20 Mai 1995. Elle a donné lieu à un article publié dans les actes de ce workshop chez BRICS [24].
A. Cichon a présenté ses travaux au Peripatetic Proof Theory Workshop à Swansea, Pays de Galles, en janvier 1995 et a donné un séminaire à l'INRIA-Rocquencourt en avril 1995. Il a aussi rendu visite au Technische Universität de Berlin dans le cadre d'une coopération PROCOPE en octobre 1995.
H. Touzet a présenté un exposé intitulé ``A Direct Limit Approach to Subrecursive Hierarchies'' dans le cadre du Second International Workshop on Termination.
S. Selhab et H. Touzet ont chacune donné un séminaire à l'Université Technique de Berlin.