Missions, conférences et séminaires

Groupe de Recherche en Complexité et Cryptographie

• Jacques Stern : séminaires ou conférences invitées à Weizmann (Israël - janvier 1994), Santiago (Chili - avril 1994), Santa-Barbara (USA - août 1994), Budapest (Hongrie - septembre 1994), Oberwolfach (Allemagne - Octobre 1994), Weizmann (Israël - janvier 1995). St-Malo (France - mai 1995), Santa Barbara (USA - aout 1995), Luminy (France - septembre 95), Berkeley (USA - décembre 1995), Saarbrucken (Allemagne - février 96), MIT, Boston (USA - février 1996), Cambridge (Angleterre - mars 1996), New Delhi (Inde - mars 1996), Samos, (Grèce - mai 1996), Bordeaux (France - mai 1996), Saragosse (Espagne - mai 1996), Cambridge (Angleterre - juin 1996), Santa Barbara (USA - aout 1996), Amalfi (Italie - septembre 1996, ) KyongJu (Corée du Sud - novembre 1996), Santiago (Chili - novembre 1996), Haïfa (Israël - janvier 97), Anguila (Antilles britaniques - février 1997), Zurich (Suisse - avril 97).
• Philippe Béguin : séjours à Montréal (Canada - avril 1994), Louvain (Belgique - juin et novembre 1994 ; mai 1995) ; séminaires ou congrès à Louvain (Belgique - mai 1994), Santa-Barbara (Californie - août 1994), St-Malo (France - mai 1995).
• Jean-Marc Couveignes : séminaires ou congrès à Berkeley (USA - avril 1994), Waterloo (Canada - avril 1994), Ithaca NY (USA - mai 1994), Glasgow (Ecosse - mai 1995), Barcelone (Espagne, 1995), Oberwolfach (Allemagne - 1995), Eindhoven (Pays-Bas - 1995), Bordeaux (France - 1996), Luminy (France - 1996).
• Claude Crépeau : séjours à Montréal (année 1994) ; Conférences et séminaires : Santiago (Chili - janvier 1994), Chicoutimi (Canada - avril 1994), Cambridge, MA (USA - avril 1994), Amsterdam (Pays-Bas - mai 1994), Zürich (Suisse - juin 1994), Laval (Canada - juin 1994), Montréal (Canada - septembre 1994), Gif-sur-Yvette (France - octobre 1994), Potsdam, NY (USA - octobre 1994), Ottawa (Canada - décembre 1994), Montréal (Canada - novembre 1994), CWI Amsterdam (Pays-Bas - février 1995), Chicoutimi (Canada - avril 1995), Paris-Nord (France - mai 1995), St-Malo (France - mai 1995), Frankfurt (Allemagne - juillet 1995).
• Jean-Bernard Fischer : séminaires ou congrès à Louvain (Belgique - janvier 1997) , Cambridge (Grande-Bretagne - fevrier 1997), Saragosse (Espagne - mai 1996).
• Louis Granboulan : Berkeley (USA - avril 1994), Waterloo (Canada - avril 1994), Ithaca NY (USA - mai 1994), Saarbruck (Allemagne - février 1996), Edimbourg (Ecosse - mai 1996).
• Philippe Hoogvorst : séminaires ou congrès à Amalfi (Italie - septembre 1996, ) Nantes (France - novembre 1996)
• Phong Nguyen : séminaires ou congrès à Nantes (France - novembre 1996).
• Holger Petersen : séminaires ou congrès à Darmstadt (Allemagne - Septembre 1996), Essen (Allemagne - septembre 1996), Nantes (France - novembre 1996), Zurich (Suisse - mars 1997), Bonn (Allemagne - avril 1997).
• Guillaume Poupard : séminaires ou congrès à Saragosse (Espagne - mai 1996), Amalfi (Italie - septembre 1996), Nantes (France - novembre 1996).
• David Pointcheval : séminaires ou congrès à Dijon (France - octobre 1994), Caen (France - février 1995), Saint-Malo (France - mai 1995), Caen (France - février 1996), Luminy (France - septembre 1995), Saarbruck (Allemagne - février 1996), Saragosse (Espagne - mai 1996), Amalfi (Italie - septembre 1996, ) Limoges (France - octobre 1996), KyongJu (Corée du Sud - novembre 1996), Nantes (France - novembre 1996), Zurich (Suisse - avril 97).
• Serge Vaudenay : séjours à Francfort (Allemagne - février 1995), Louvain-la-Neuve (Belgique - mars 1995), Ottawa (Canada - juillet-aout 1995), Zürich (Suisse - janvier 1996), Cambridge (Angletterre - février-mars 1996), Yokohama (Japon - mars-avril 1996),

  séminaires ou congrès à : Leuven (Belgique - décembre 1994), St-Malo (France - mai 1995), Waterloo (Canada - juillet 1995). Santa Barbara (USA - aout 1995), Luminy (France - septembre 95), Saarbruck (Allemagne - février 96), Cambridge (Angleterre - février 1996), New Delhi (Inde - mars 1996), Saragosse (Espagne - mai 1996), membre du comité de programme. Cambridge (Angleterre - juin 1996), Kingston (Canada - aout 1996), Santa Barbara (USA - aout 1996), Rutgers (USA - octobre 1996), KyongJu (Corée du Sud - novembre 1996), Nantes (France - novembre 1996), Nice (France - décembre 1996), Caen (France - janvier 1997) Haïfa (Israël - janvier 97), Anguila (Antilles britaniques - février 1997), Zurich (Suisse - avril 97).

Lambda-calcul typé et langages fonctionnels

Des articles ont été présentés dans de nombreuses conférences, comme : International Conference on Automata, Languages and Programming (ICALP), Lisp and Functional Programming (LFP), Logic In Computer Science (LICS), Mathematical Foundations of Programming Semantics (MFPS), Principles of Programming Languages (POPL), Typed Lambda-Calculus and Applications (TLCA), Computer Science Logic (CSL 1995), Bases de Données avancées (BDA), Rewriting Techniques and Applications (RTA 1996), European Conference on Object-Oriented Programming (ECOOP), Foundation of Software Technology and Theoretical Computer Science (FST& TCS), Asian Computing Conference (ASIAN), CONCUR 1996, PLILP 1996.

En outre, des communications ont été présentées dans les diverses réunions des projets de coopération.

• Organisation régulière du séminaire Sémantique et Preuves à l'ENS, les mardi à 11 heures. Orateurs récents: P. Sallé (Univ. de Toulouse), G. Boudol (Sophia-Antipolis), G. Ausiello (Univ. di Roma), S. Ronchi (Univ. di Torino) E. Moggi (Univ. di Genova), M. Parigot (Univ. Paris VII), B. Courcelle (Univ. de Bordeaux), Y. Lafont (Laboratoire de Mathématiques Discrètes, Marseille), D. Scott (Carnegie-Mellon University), D. Le Métayer (IRISA) J. Tiuryn (Univ. de Varsovie), H. Schellinx (Univ. Paris VII), G. Huet (INRIA-Rocquencourt) V. Tannen (Univ. of Pennsylvania), A. Scedrov (Univ. of Pennsylvania), A. Middeldorp (Univ. de Tsukuba, Japon), T. Hardin (Univ. Paris VI), P. Martin Löf (Univ. de Stockholm), B. Werner (INRIA-Rocquencourt), K. Bruce (Williams College), R. Hasegawa (Univ. de Tokyo), M. Hasegawa (Edinburgh Univ.), P.-A. Mellies (Univ. Libre d'Amsterdam) Y. Gurevich (Univ. of Michigan), J. Garrigues (Univ. de Kyoto), J.-Y. Girard (Laboratoire de Mathématiques Discrètes, Marseille), M. Fiore (Univ. d'Edimbourg), M. Dezani (Univ. di Torino), M. Felleisen (Rice Univ.), L. Cardelli (DEC SRC), A. Compagnoni (Univ. of Cambridge), L. Ong (Oxford Univ.), P. Urzyczyn (Univ. de Varsovie), Lin Huimin (Institute of Software, Beijing), A. Edalat (Imperial College, London), J. Courant (ENS Lyon), J. Chroboczek (Univ. d'Edimbourg) C. Böhm (Univ. La Sapienza, Roma), M. Droste (Univ. de Dresden), S. Guerrini (Univ. di Pisa), A. Masini (Univ. di Pisa), N. Ghani (Univ. de Birmingham), T. Coquand (Univ. de Göteborg), Tang Zhisong (Institute of Software, Beijing),
• G. Castagna a été invité pour deux semaines par l'Université de Varsovie et a fait des exposée à l'ENS-Lyon, aux université d'Orsay et de Montpellier.
• P.-L. Curien a fait des exposés à l'INRIA-Rocquencourt et à l'INRIA-Lorraine (1996), et aux universités Paris VII, de Chambéry et d'Oxford (1996). Lors de son séjour d'un an en Chine (voir Diffusion de la Recherche), il a fait des exposés à Shanghai, Nankin, Changsha, Guiyang, il a rendu visite au laboratoire IIST de l'université des Nations Unies à Macao, et a effectué deux séjours de deux semaines au Japon (Université de Tokyo, Université Keio à Tokyo, Université Ryukoku à Kyoto, laboratoire NTT à Nara, Japan Institute of Science and Technology). Il a été invité au Newton Institute du 1 au 15 décembre 1995 (programme ``Semantics of computation''), et à un workshop ``Games semantics" à Londres en décembre 1996.
• R. Di Cosmo a été invité un mois à l'université de Pennsylvanie (Philadelphie) (février 94), et effectué deux brefs séjours à Rome en 94. Il a fait des exposés de séminaires à Marseille, Lille, Rennes, Paris VII, Turin et Montevideo. Il a présenté un survol sur les isomorphismes de types à une conférence sur les langages fonctionnels à Bologne (1995).
• G. Longo a fait des exposés dans les universités de Pékin et Shanghai (Avril 1994), Nancy (CRIN, Juin 1994), Marseille (LMD, Novembre 1994), Nijmegen (Janvier 1995), Roma (Février 1995, Novembre 1995, Avril 1996), Vina del Mar et Santiago (Chile, Avril 1995), New York City (Juin 1995), Warsaw (Juillet 1995), Paris (IHP, Janvier 1995 ; ENST, Septembre 1995 ; ENS-Jourdan, Mai 1996 ; EHESS, Juin 1996 et Mai 1997), Torino (Novembre 1995), Lyon (ENS, Mars 1996), Florence (Octobre 1996). Il a présenté des conférences invitées aux colloques et congrès suivants : Paris (Octobre 1994, voir [155]), Roma (Novembre 1994, voir [156]), Glasgow (Septembre 1996, voir [150]).

Sémantique et Interprétation Abstraite

• Participation à des conférences :
  =2000 =3000
  • P. Cousot : ICCL'94 (Toulouse, mai 1994) [234, 225], WAILL'95 (Eilat, juin 1995) [236], FPCA'95 (La Jolla, Californie, juin 1995) [243], CAV'95 (Liège, juillet 1995) [235, 226], Dagsthul seminar 9535 (Sarrebruck, septembre 1995) [286], GULP-PRODE (Salerno, Italie, septembre 1995) [237], WLDP'95 (Darmstadt, mai 1995) [266], École jeunes chercheurs en programmation (Bordeaux, avril 1996) [270], 4th Compulog (Marina del Vietri,Italie, mai 1995) [238], MOVEP'96 (Nantes, juin 1996) [272], Symposium on models of programming languages and computation (MIT, Boston, juin 1996) [229], ESSLLI'96 (Prague, août 1996) [271], Venice Workshop (Venise, septembre 1996) [239], Corso di Interpretazione Astratta, Dottorato di Ricerca, Univ. di Pisa (Pise, septembre 1996) [269], POPL'95 (Paris, janvier 1997) [227], AAS'97 (Paris, janvier 1997) [244], École jeunes chercheurs en programmation (Sophia-Antipolis, mars 1997) [273], MFPS XIII (Pittsburgh, mars 1997) [240], Indo-french school on abstract interpretation (Bangalore, Inde, avril 1997) [279], Namur F,N.R.S. meeting (Namur, mai 1997) [241] ;
  • R. Cridlig : JFLA (Noirmoutier, janvier 1994) [246], PEPM'95 (La Jolla, Californie, juin 1995) [246], Lomaps Workshop, Stockholm, avril 1996 [265, 247], Infinity Workshop (Pise, août 1996) [248] ;
  • É. Goubault : PEPM'95 (La Jolla, Californie, en juin 1995) [251], "New Connections between Mathematics and Computer Science" (Newton Institute, Cambridge, Novembre 1995) conférence invitée, ESOP'96 (Linköping, Suède, avril 1996) [252], "Logique et Modeles du Calcul" (Marseille, septembre 96) [284] 3 Theory and Formal Methods Section Workshop (Londres, 1997) [254], 22 CAAP (Lille, 1997) [253] ;
  • L. Mauborgne : SAS'94 (Namur, 1994) [255] ;
  • B. Monsuez : SAS'94 (Namur, septembre 1994), PEPM'95 (La Jolla, Californie, juin 1995) [259], SAS'95 (Glasgow, septembre 1995) [258] ;
  • F. Védrine : SAS'95 (Glasgow, septembre 1995) [261].
• Séminaires :
  • P. Cousot : Carnegie Mellon University (septembre 1994) [263], École Polytechnique (avril 1995) [262], ENSTB (janvier 1996) [262] Université de Pise (septembre 1996) [268] ;
  • R. Cridlig : CRIN, Nancy (mars 1994), École Normale Supérieure (mars 1995, avril 1997) ;
  • É. Goubault : CRIN, Nancy (1994), École Normale Supérieure (mai 1995), Concurrency Group, Stanford (juin 1995), Verimag (Grenoble, 1995), CMA (Sophia-Antipolis, 1995), LITP (Paris 7, 1996), IHES/IHP (Paris, 1996), BRIMS, Hewlett-Packard (Bristol, 1996), Department of Mathematics and Computer Science, Université d'Aalborg (1996 et 1997), Departement de Mathématiques, Paris 7 (1996 et 1997), INRIA (Paris, 1997), IRMA (Strasbourg, 1997)
  • L. Mauborgne : École Normale Supérieure (1994) ;
  • B. Monsuez : École Normale Supérieure (février 1995), LRI, Université Paris XI (avril 1994) ;
  • F. Védrine : École Normale Supérieure (mars 1995, mai 1996) ;

Langages Logiques, Contraintes et Optimisation

• F. Fages :
  • Séminaires ou conférences invitées à : Max Planck Institut, Sarrebruck (Allemagne avril 97), Lamsade (Paris-Dauphine novembre 96), Université d'Orléans (mars 96 ?), AFCET (Paris janvier 96), LIM-LMD (Marseille mars 95), Ecole de Printemps d'Informatique Théorique (Châtillon-sur-Seine, avril 94) [355], Université de Padoue (Italie décembre 94).
  • Exposés à des conférences : ALP'96 (Aachen Allemagne, septembre 96) [325], CP'96 (Boston USA, août 96) [330], , ICLP'95 (Tokyo, juin 95) [324], ILPS'95 (Portland USA, décembre 95) [329], ILPS'94 (Ithaca USA, novembre 94) [346], [336].
• M. Fernández :
  • Séminaires ou conférences invitées à l'Université de la Republica (Montevideo, Uruguay décembre 94), l'Université de La Plata (Argentine janvier 95), l'Université de Cambridge (Angleterre mai 95), UNIF'95 (Sitges, Espagne avril 95), INRIA-Lorraine (Nancy mai 96), CIRM (Marseille septembre 96), MPLP'96 (Bonn, Allemagne septembre 96), Université La Sapienza (Roma octobre 96), Université d'Orléans (avril 97).
  • Exposés à des conférences : LICS'94 (Paris, juillet 94) [310], RTA'95 (Kaiserslautern, Allemagne, en avril 95) [351], CAAP'96 (Linkoping, Suède, avril 96) [333].

• F. Laburthe :
  • Exposés à des conférences : ICLP'97 (Louvain, Belgique, juillet 97) [316], LMO'96 (Leysin, Suisse, octobre 96) [357], ICLP'96 (Bonn, septembre 96) et le workshop associé sur la programmation multi-paradigme [354], CCS'95 (Brest, juillet 95) [314], Rencontres francophones de Recherche Operationnelle (FRANCORO, Mons, juin 95), IPCO'4 (Copenhague, mai 95) [338], ICLP'94 (Santa Margherita, Italie, juin 94) [313].
• L. Perron :
  • Exposés : Rapport du projet PRC AMN 93 S 0051.
  • Conférences : Compulog-Net Meeting on Parallelism and Implementation Technology, 1996 (Bonn), Concurrent Constraint Programming (CCP'95), 1995, (Venise).
• P. Ruet :
  • Séminaire Langages Déclaratifs, IRISA, Rennes (février 1996), Séminaire Rationalité et Intelligence Artificielle du LAMSADE, Université Paris Dauphine (novembre 1996), Séminaires CALLIGRAMME et LPRCA, CRIN-LORIA, Nancy (février 1997), Séminaire itinérant de Catégories, Paris 7 (décembre 1994).
  • Exposés à des conférences : ILPS'94 Ithaca NY (novembre 1994), Logic Colloquium'96, San Sebastian, Espagne (juillet 1996), CP'96, Cambridge, MA (août 1996).
• V.Schächter :
  • Séminaires et conférences invitées : ``1994 Complex Systems Summer School'' du Santa Fe Institute (New Mexico) en juin 94, Third European Congress on System Science, Rome, Octobre 1996.
  • Conférences : JFPLC'96, Clermont-Ferrand, juin 1996. CP'96, Boston, août 1996.

Logique et Physique

• P. Matherat : Cycle de conférences interdisciplinaires, "Cognition et mémoire", organisé par G. Longo, le 28 février 1994 à l'ENS : "Localisation spatiale dans les mémoires d'ordinateur"
• P. Matherat : Groupe de travail "automates" à l'ENS, 6 juin 1994, "Introduction d'automates en Physique : dissipation des ordinateurs"

Spécifications algébriques et Programmation logique

• Visites régulières de Michel Bidoit à l'Université Ludwig-Maximilians de Munich, dans l'équipe du Prof. Martin Wirsing, dans le cadre d'une action Procope.
• Participation de Michel Bidoit au Dagstuhl Seminar, R.F.A., Mars 1994. Exposé.
• Michel Bidoit a donné des séminaires à l'Université de Sarrebruck, à Paris VI, au L.R.I., à Munich, à Varsovie.
• Laurent Fribourg a séjourné six mois à l'Université de Linköping (Suède), en 1991, dans l'équipe du Professeur Maluszinski et effectué deux autres visites de plusieurs semaines chacune, dans cette équipe durant l'été 1993 et l'hiver 1994-95.
• Laurent Fribourg a donné des séminaires au L.R.I., au CRIN, à l'IMAG, à l'I3S.