Diffusion de la connaissance

 

Groupe de Recherche en Complexité et Cryptographie

• Organisation à l'École Normale Supérieure, d'un séminaire régulier. Parmi les conférenciers récents : M. Luby (International Computer Science Institute and UC Berkeley), U. Maurer (ETH, Zurich - Suisse), P. Hajnal (Szeged - Hongrie), G. Brassard (Montréal - Canada), Y.Desmedt (Milwaulkee - USA), M. Karpinski (Bonn - Allemagne), A. Haken (Champaign - Illinois - USA), J. Patarin (Bull CP8), Igor Shparlinski (Macquarie University - Australie), Andy Yao (Princeton - USA), Claude Megglé (GIE-cartes-bancaires), L. Fortnow (Chicago - USA), Claire Kenyon (ENS-Lyon), Joel Friedman (UBC Vancouver - Canada), Stefan Brands (CWI Amsterdam), Lex Schrijver (CWI Amsterdam), Markus Jakobsson (San Diego), Li Gong (JavaSoft), Tsutomu Matsumoto (Yokohama - Japon).
• Organisation, en Mars 1995 à l'École Normale Supérieure, Paris, d'une réunion des participants à l'appel d'offre des PRC Codage, complexité, compression et cryptographie,
• Organisation, en Septembre 1995 au CIRM de Luminy, d'une conférence internationale sur la cryptographie.
• Organisation, en avril 1997 à l'École Normale Supérieure, Paris, du ``Protocol Workshop''.

Lambda-calcul typé et langages fonctionnels

• G. Cousineau a été co-responsable du chapitre ``Programmer aujourd'hui et demain'' du numéro spécial du Courrier du CNRS consacré à l'Informatique.
• G. Cousineau a fait deux exposés invités sur l'enseignement de la programmation: workshop "Functional languages in Introductory Computing", Philadelphie, juin 1996 [151]; conférence "Declarative Programming Languages in Education ", Southampton, septembre 1997 [152].
• P.-L. Curien a séjourné en Chine de septembre 1993 à septembre 1994, dans le cadre d'un projet PRA franco-chinois (cf. Collaborations), avec mise à disposition du CNRS auprès de l'université Tsinghua et de l'Académie des Sciences de Chine. Il a dispensé un cours hebdomadaire sur la sémantique des langages de programmation.
• G. Longo a fait des exposés à l'ENS sur les thèmes suivants : ``Mémoire et systèmes déductifs'' (Exposé faisant partie d'un cycle sur la Mémoire en Biologie, Informatique et Philosophie, Février 1994) ; ``Pour une fondation de la connaissance mathématique'' (Séminaires d'Histoire et Epistémologie des Mathématiques, Mars 1996) ; ``Logique et Complexité logique'' (Cours bref, 3 heures, dans le cadre de l'Option Intermagistère en Science Cognitives, Novembre 1996) ; ``Les Fondements de l'Arithmétiques et 'la teneur du phosphore dans le Cerveaux' (Frege)", Journée de l'ELSAP, ENS-Jourdan, Janvier 1997 ; ``Sur les démonstrations des Théorèmes indémontrables'' (Séminaire de Philosophie des Mathématiques, organisé par M. Andler, P. Cartier, F. Loi, H. Sinaceur, Mai 1997).
• G. Longo a co-organisé plusieurs colloques sur les thèmes Fondements des mathématiques et Cognition, à Paris : ``Rationalité Logique et Intuition Géometrique'' (juin 1994), ``Constructivité en Mathématiques et en Vision'' (mars 1995), ``Mathématiques, Machines et Cerveau'' (mai 1996), ``Construction d'objectivité : entre intuition et raisonnement'' (Janvier 1997).
• G. Longo a rédigé un article de vulgarisation pour une encyclopédie italienne [122].
• Enseignement dans les Écoles de Printemps/Été :

  Greco de Programmation (CNRS) : Toulouse, mars 1994 (G. Longo et G. Castagna) ; Nancy, mars 1995 (G. Castagna) ; Bordeaux, mars 1996 (G. Castagna) ; Antibes, mars 1997 (G. Castagna).

  École Jeunes Chercheurs en Bases de Données, Montpellier, mars 1997 (G. Castagna).

  École d'Été ``Logic, Language and Computation'', Copenhagen, août 94 (G. Longo).

  École d'hiver ECI (août 95) et l'école d'été (février 97) de RIO IV en Argentine (R. DiCosmo).

• Les réunions suivantes dans le cadre des contrats de l'équipe ont été tenues à Paris : CLICS II, juin 1994 (organisation locale : A. Bucciarelli), CONFER, avril 1995 (organisation locale : P.-L. Curien), ``Foundations of Object-oriented Programming'', Janvier 1997 (organisation locale : G. Castagna).
• P.-L. Curien et G. Longo ont assuré l'organisation d'un colloque ``Denotational Semantics'' dans le cadre du projet HCM ``Lambda-calcul Typé'', tenu à Sienne du 7 au 9 avril 1997.

Sémantique et Interprétation Abstraite

• Organisation à l'École Normale Supérieure, d'un séminaire régulier << sémantique et interprétation abstraite >>. Ce séminaire accueille occasionnellement des orateurs prestigieux mais a principalement pour objet de permettre à de jeunes chercheurs de présenter leurs travaux et de les voir discutés :
  • 1994/95 : N. Benton, F. Bourdoncle, C. Colby, R. Cridlig, V. Danos, A. Deutsch, F. Fages, É. Goubault, J. Goubault, Ph. Granger, R. Heckmann, N. Heintze, T. Jensen, B. Monsuez, B. Le Charlier, P. Lee, I. Mackie, A. Mycroft, F. Nielson, F. Védrine ;
  • 1995/96 : S. Abramsky, A. Banerjee, B. Blanchet, R. Cridlig, P. Degano, P. Emelianov, S. Gay, R. Giacobazzi, É. Goubault, J. Goubault, J. Gunawardena, A. Kennedy, L. Lamport, P. Lee, I. Mackie, D. Méry, V. Pratt, F. Védrine, A. Venet ;
  • 1996/97 : V. Benzaken, R. Cridlig, P. Degano, L. Fajstrup, A. Frey, J. Goubault, J. Gunawardena, F. Levi, I. Mackie, S.-O. Nyström, A. Podelski, C. Priami, M. Raussen, K. Rustan M. Leino, O. Shivers.
• Organisation de réunions de groupes de travail :
  • P. Cousot a organisé la réunion du groupe de travail 2.3 de l'IFIP à Obernai (septembre 1997) ;
  • É. Goubault et B. Monsuez ont organisé la réunion du projet Esprit BRA 6809 << Lomaps >> à l'École Normale Supérieure du 6 au 9 janvier 1994, participation de R. Cridlig, P. Cousot, L. Mauborgne et et F. Védrine ;
  • P. Cousot a organisé la réunion du projet Esprit BRA 6809 << Lomaps >> à l'École Normale Supérieure les 13 et 14 janvier 1997, participation de R. Cridlig, É. Goubault, L. Mauborgne, B. Monsuez et F. Védrine ;
  • P. Cousot a organisé la réunion du projet Esprit << Atlantique >> à l'École Normale Supérieure le 18 janvier 1997, participation de R. Cridlig.
  • E. Goubault a organisé la reunion du PRC/PRS à l'École Normale Supérieure en 1996.
• Participation à des séminaires et réunions de groupes de travail :
  • P. Cousot, R. Cridlig, É. Goubault, B. Monsuez et F. Védrine ont participé aux réunions du groupe de travail Esprit BRA 6128 << Sémantique >> à Århus (juillet 1994) et Glasgow (septembre 1995) [267, 264] ;
  • R. Cridlig, É. Goubault, B. Monsuez, L. Mauborgne et F. Védrine ont participé à la réunion du projet Esprit BRA 6809 << Lomaps >> à Fontainebleau du 16 au 18 mai 1994 et avec P. Cousot à celles de Cambridge du 3 au 5 juillet 1995, Pise du 12 au 15 décembre 1996 et Stockhom en juin 1996 ;
  • P. Cousot a participé aux réunions du réseau Esprit-NSF << Atlantique >> à Portland, Oregon (janvier 1994) et San Franscisco (janvier 1995) et avec R. Cridlig, É. Goubault et F. Védrine à celle d'Århus (juillet 1994) ;
  • R. Cridlig a été invité par le pôle << Programmation Fonctionnelle >> du GDR << Programmation >> à la réunion de Noirmoutier en janvier 1994 ;
  • R. Cridlig a participé à la réunion du groupe de travail SIP du GDR << Parallélisme, réseaux et systèmes >> à Grenoble en décembre 1994 ;
  • P. Cousot organise (avec R. Cousot & A. Mycroft) le Dagstuhl-Seminar on "Abstract Interpretation" du 28 août 1995 au 1er septembre 1995 ;
  • P. Cousot participe au Dagstuhl-Seminar on "New trends in the integration of paradigms" (organisateurs C. Hankin & H. Riis Nielson) du 18 au 22 septembre 1995.
• Participation à des écoles de chercheurs :
  • Tutorial sur l'interprétation abstraite, P. Cousot, ICCL'94, Toulouse, mai 1994 [234] ;
  • Dagstuhl-Seminar on Abstract Interpretation, P. Cousot, B. Monsuez, 28 août - 1er septembre 1995 [286] ;
  • École jeunes chercheurs en programmation, P. Cousot, Bordeaux, 25 mars - 5 avril 1996 [270]
  • ESSLLI'96, Eighth European Summer School in Logic, Language, and Information, P. Cousot, 12 - 23 août 1996 [271] ;
  • Dottorato di Ricerca Corso di Interpretazione Astratta, Università di Pisa, P. Cousot, 9 - 20 septembre 1996 [269] ;
  • École jeunes chercheurs en programmation, P. Cousot, INRIA Sophia Antipolis, 17 - 28 mars 1997 [273] ;
  • Indo-French School on Abstract Interpretation, P. Cousot, B. Monsuez, F. Védrine, 14 - 20 April 1997, JNCPAR, Bangalore, Inde, organisée par R.K. Shyamasundar [279].
• R. Cridlig est coéditeur du bulletin C R de veille technologique de la DRET : article sur le langage JAVA et la sécurité des applets.

Langages Logiques, Contraintes et Optimisation

• Organisation à l'École Normale Supérieure, d'un séminaire régulier (voir http://www.ens.fr/langlog/seminaire.html.)

  Les conférenciers extérieurs ont été : D. Gilbert (City University, Londres), A. Di Pierro (City University, Londres), C. Palamidessi (Université de Genes, Italie), D. Miller (Université de Genes, Italie), A. Edalat (Imperial College), C. Retore (INRIA Lorraine, CRIN), F. Benhamou (LIFO, Univ. Orleans), J.H. Rety (INRIA Rocquencourt), M. Nivat (Paris Univ. Denis Diderot), V. Danos (Paris Univ. Denis Diderot), A. Podelski (Max Planck Institut, Saarbrucken), J.L. Krivine (Paris Univ. Denis Diderot), E. Clergerie (INRIA Rocquencourt), J.L. Lambert (Univ. de Caen), R. Gori (Université Pise), P. Van Hentenryck (Brown, Univ.), K. Mc Aloon (Brooklyn College, USA).

• Réunions de groupes de travail :
  • Organisation à l'École Normale Supérieure, d'une réunion du projet inter-PRC ``Langages logiques concurrents avec contraintes'', en novembre 1995.
  • F. Fages a animé de 93 à 95 un groupe de travail intitulé ``Production automatisée de logiciels applicatifs'' dans le groupe Thomson.
  • Exposé de F. Fages aux Journées du GRECO Programmation (Grenoble, novembre 95) [356],
  • P. Ruet a présenté l'article "Programmes concurrents par contraintes et logique linéaire non-commutative" aux Journées du GDR de Programmation, Orléans (novembre 1996).
• Écoles de chercheurs :
  • École de printemps d'informatique théorique 94, F. Fages.
  • École Jeunes Chercheurs du Greco de Programmation du CNRS :

    Nancy 1995 : F. Fages [362]

    Bordeaux 1996 : F. Fages

    Sophia-Antipolis 1997 : F. Fages

  • M. Fernández a donné le cours ``Modularité de la réécriture'' dans l'Ecole d'été de Sciences de l'Informatique (ECI), Rio Cuarto, Argentine, février 96.
  • École d'été ESSLII'97, F. Fages, août 97.
• Consultance de F. Fages au Laboratoire Central de Recherches de Thomson d'oct. 85 à déc. 95.

Logique et Physique

• P. Matherat : Collaboration au projet de "Planétarium inversé" du Palais de la Découverte en 1993-1994, et rédaction d'un rapport.
• P. Matherat : Commande d'un reportage photo sur l¹ENS de 1994, à un photographe réputé (Martine Voyeux, agence Métis), pour l'édition du livre « Vues d¹Ulm » (sorti en juin 95) et une exposition à la FNAC-Micro (mars 1996)
• P. Matherat : Organisation du concours photo de l'ENS à l¹occasion du bicentenaire en 1994 (rédaction du réglement, recherche de sponsors, constitution du jury, publicité), qui a débouché sur l'action suivante.
• P. Matherat : Organisation d'une exposition à la mairie du 5ème arrondissement de Paris, du 24 octobre au 8 novembre 1994 (montage de l'expo, publicité, organisation du vernissage)

Spécifications algébriques et Programmation logique

• Michel Bidoit a enseigné à l'Ecole des Jeunes Chercheurs en Informatique organisée par le GDR Programmation en 1991, 1992, 1993, 1994 et 1995.
• Laurent Fribourg a été co-organisateur de la réunion du pôle ``Program Development'' du Réseau d'Excellence ESPRIT Computational Logic ainsi que du workshop LOPSTR on logic programs transformation and synthesis (joint with the META workshop) qui se sont déroulés à Pise du 22 au 24 Juin 1994 [395].