Collaborations

Groupe de Recherche en Complexité et Cryptographie

• Contrat avec la DRET
  • ``Intégrité, Authentification, Signature.''
    Début : novembre 94. Fin : octobre 96.
• Contrats avec le CNET
  • ``Étude de nouveaux problèmes combinatoires susceptibles de permettre la conception de nouveaux schémas d'authentification à apport nul de connaissance.''
    Début : novembre 94. Fin : novembre 95.
  • ``Authentification d'entités et de messages.''
    Début : juin 96. Fin : juin 98.

• Appel d'offre des PRC ``Codage, complexité et cryptographie''
  en collaboration avec Projet CODES (INRIA), Universités de Caen, Bordeaux, Toulon, Paris 7, Marne-la-Vallée.
  Responsable : J. Stern
  1993-1995

• Contrats CELAR Convention générale entre le CELAR et l'ENS, notifiée le 26/11/93 (Études dans le domaine de la Cryptographie publique), renouvelée en novembre 1996. Conventions particulières :
  • ``Étude de l'algorithme SHA (secure hash standard)''
    Début : décembre 93. Fin : avril 94.
  • ``Études des générateurs pseudo-aléatoires cryptographiques.''
    Début : décembre 93. Fin : mars 95.
  • ``Étude d'algorithmes de crible pour la factorisation d'entiers.''
    Début : décembre 93. Fin : mars 95.
  • ``Optimisation d'algorithmes de crible pour la factorisation d'entiers.''
    Début : mars 95. Fin : mars 97.
  • ``Étude d'algorithmes cryptographiques mettant en jeu les courbes elliptiques.''
    Début : décembre 93. Fin : mars 95.
• Contrat avec le SCSSI (Service Central de la Sécurité des Systèmes d'Information)
  Etude d'un protocole cryptologique
  Début : décembre 96. Fin : juin 97.
• Projet Balaton
  Programme franco/hongrois du ministère des Affaires Étrangères.
  Projet ENS-Académie des Sciences de Budapest.
  Années 1993-94 et 94-95
• Accord CNRS/FNRS.
  Théorie et applications optimisées de protocoles et d'algorithmes pour l'intégrité et l'authentification de l'information, avec cartes à puces.
  Programme franco/belge du CNRS.
  Coopération entre le Laboratoire d'Informatique de l'ENS et le laboratoire DICE de l'Université Catholique de Louvain.
  Années 1993-94 et 94-95.
• Projet Mobilité et Capital Humain.
  Coopération avec Aarhus (Danemark), CWI (Amsterdam - Pays-Bas), Saarbrucken (Allemagne) et Salerno (Italie).
  Début : janvier 95. Fin : juin 97.

Lambda-calcul typé et langages fonctionnels

=1000 =2000
• Contrat européen réseau CHM (Capital Humain et Mobilité)
  ``Lambda-calcul Typé'',
  liant le Laboratoire de Mathématiques Discrètes de Marseille (contractant principal), les universités d'Edimbourg, Pise, Turin, Nimègues, Cambridge, Chambéry, Paris VII, et le LIENS.
  Début : Juillet 1993. Fin : Juillet 1998.
• Contrat européen réseau CHM
  ``European Institute in the Foundations of Computer Science (EUROFOCS)'',
  liant l'université d'Edimbourg (contractant principal), le CWI, l'université de Pise, Imperial College, l'INRIA Sophia-Antipolis, et le LIENS (en collaboration avec l'INRIA-Rocquencourt).
  Début : Juillet 1993. Fin : Juillet 1997.
  Commentaire : U. de Liguoro, postdoctorant du laboratoire, a été financé dans le cadre de ce projet. Un autre boursier (E. Poll) a été accueilli à l'INRIA Rocquencourt.
  Ce projet couvre assez largement les domaines des fondements logiques de l'informatique, et est axé sur la mobilité de doctorants et post-doctorants issus de centres de formation majeurs dans ces domaines.
• Contrat européen (ESPRIT BRA)
  ``Categorical Logic in Computer Science II (CLICS II)'',
  liant Imperial College (contractant principal), Cambridge University, Universita di Genova, Universität Darmstadt, l'université d'Aarhus et le LIENS.
  Début : Septembre 1992. Fin : Septembre 1995.
  Suite prévue : Une demande de Working Group ESPRIT a été déposée.
  Ce projet regroupe l'essentiel de la communauté scientifique en Europe autour de la théorie des domaines, et des applications de la théorie des catégories à la sémantique des langages de programmation.
• Contrat européen (ESPRIT BRA)
  ``Concurrency and functions : evaluation and reduction (CONFER)'',
  liant l'INRIA Rocquencourt (contractant principal), l'INRIA Sophia-Antipolis, le CWI (Amsterdam), l'université d'Edimbourg, Imperial College, l'ECRC (Munich), et le LIENS.
  Début : Juillet 1992. Fin : Juillet 1995. Suite sous-forme de WG (Working Group) ESPRIT ``CONFER - 2'' : mars 1997 - mars 1999.
  Ce projet regroupe une communauté de chercheurs travaillant sur l'intégration de la programmation fonctionnelle et des calculs de processus.
• Contrat NSF-ESPRIT
  ``Functional and Object Oriented Programming Languages'',
  (responsable USA : K. Bruce).
  Début : janvier 1994. Fin : décembre 1996.
• Projet PRA (Programme de Recherches Avancées) franco-chinois
  ``Logique et fondements de l'informatique'',
  liant l'université Paris VII (J.-L. Krivine), le LIENS, et l'Institut du Logiciel de l'Académie des Sciences de Chine.
  Début : Janvier 94. Fin : Décembre 1996.
• Contrat CEE KIT (Keep in Touch) 119,
  portant sur les outils de vérification pour les calculs de processus mobiles,
  liant l'université du Sussex (contractant principal), l'Institut du Logiciel de l'Académie des Sciences de Chine et le LIENS
  Début : Janvier 95. Fin : Décembre 98.
  Commentaire : Les projets KIT sont destinés à permettre à un chercheur d'un pays étranger à la CEE (Lin Huimin), ayant participé à un projet européen (BRA CONCUR), retourné dans son pays (Chine), de poursuivre et d'élargir cette collaboration.
• Collaborations avec les laboratoires DEC Paris Research Laboratory et DEC Systems Research Center (Palo-Alto), avec l'INRIA Roquencourt (projets COQ et CRISTAL), avec l'université Paris VII (Equipe de Logique Mathématique), avec le Laboratoire de Mathématiques Discrètes (CNRS, Marseille), avec le laboratoire CNET (Issy les Moulineaux), avec l'université Paris XI (LRI), avec les universités de Pise, Gênes, Udine, Rome, avec Rice University (Houston, USA), et avec l'Institut du Logiciel de l'Académie des Sciences de Chine.
• Participation au PRC-GDR Programmation (Pôle ``Langages Fonctionnels'').
• INTAS : contrat CE/Russie, 1996 - 98
  (financement sur place de 3 chercheurs Russes, pour activités de recherche conjointes, plus missions des russes et des participants CE - Paris, Udine, Pise).
• Académie des Sciences Polonaise et Ambassade de France : contrat d'échange de chercheurs, 1995 - 97.
• Contrat d'échanges scientifiques GALILEE,
  liant l'université de Pise, l'ENS et l'INRIA, 1996 - 97.

Sémantique et Interprétation Abstraite

• Contrat << Action Informatique 92 >> du MRT, Techniques symbolique pour l'analyse statique et la vérification des systèmes, BULL (J. Goubault & D, Bolignano), IMAG (N. Halbwachs), LIENS (P. Cousot), novembre 1992 à novembre 1996 [292].
• Projet << Sémantique, interprétation abstraite et parallélisme >>, thème 2.1 : << Spécification et vérification >> du GDR 1169 du CNRS << Parallélisme, Réseaux et Systèmes >>, depuis octobre 1994 ;
• Groupe de travail 6809 << SÉMANTIQUE >> du programme européen << ESPRIT II Basic Research Action >> Semantics-based program manipulation techniques liant l'École Normale Supérieure (P. Cousot), l'École Polytechnique (R. Cousot), l'Imperial College (C. Hankin, coordinateur), l'Université de Chalmers (J. Hugues), l'Université de Copenhagen (N. Jones), l'Université d'Århus (F. Nielson) et l'Université de Glasgow (P. Wadler), de juillet 1992 à septembre 1995 [267, 264].
• Projet 6809 << LOMAPS >> du programme européen `ESPRIT III Basic Research Action' Logical and operational methods in the analysis of programs and systems liant l'École Normale Supérieure (P. Cousot), l'École Polytechnique (R. Cousot), le Swedish Institute of Computer Science (M. Dam), l'Université de Pise (P. Degano), l'École Des Mines de Paris (P. Jouvelot), l'Université de Cambridge (A. Mycroft), l'Université d'Århus (F. Nielson, coordinateur), le European Computer-Industry Research Center (B. Thomsen), de décembre 1993 à juin 1997 [293, 294, 260].
• Projet NSF-ESPRIT << Atlantique >> liant l'École Normale Supérieure (P. Cousot), l'École Polytechnique (R. Cousot), l'Université d'Århus (F. Nielson & H. Nielon), l'Université de Boston (M. Wand), l'Université de Carnegie Mellon (P. Lee), l'Université de Chalmers (J. Hughes), l'Université de Copenhague (N. Jones), l'Université de Glasgow (P. Wadler), l'Université du Kansas (D. Schmidt), l'Université de New York (A. Turchin), l'Université d'Oregon (J. Launchburry), l'Université de Stanford (C. Talcott) et l'Université de Yale (P. Hudak) de janvier 1993 à juin 1997 [291].
• Réseau << ABILE >> du programme européen `CHM (Capital Humain et Mobilité) Network on stract nterpretation for decarativ languages, liant l'Université Catholique de Louvain (M. Bruynooghe), les Facultés Universitaires de Namur (B. Le Charlier, coordinateur), l'Université de Copenhagen (N. Jones), l'Université de Bordeaux (M. Corsini), l'École Normale Supérieure (P. Cousot), l'Université de Lille (P. Devienne), l'INRIA, Rocquencourt (P. Codognet), le Max-Planck-Institut für Informatik de Saarbrücken (M. Hanus), l'Université de Cambridge (A. Mycroft), l'Université de Padoue (G. Filé), l'Université de Pise (G. Levi), l'Université Polytechnique de Madrid (M. Hermenegildo) et l'Université de Linköping (J. Ma uszynski), depuis janvier 1995.

Langages Logiques, Contraintes et Optimisation

• Contrat Européen Réseau TMR
  ``Linear Logic and Applications''
  liant les Universités de Marseille, Bologne, Cambridge, Paris Denis Diderot, et Rome.

  Demande déposée en février 1997.

• Collaboration Research Grant (NATO International Scientific Exchange Programs)
  ``Extended Rewriting and Types''
  liant les universités de Turin, Amsterdam, Oregon, Imperial College.

  Durée : avril 97 - avril 99.

• Contrat avec Bouygues dans le cadre du Projet Européen CHIC-2
  ``Creating Hybrid Solutions for Industry and Commerce''
  liant Renault, Bouygues, Eastern Electric, Hellenic Steel, ICL, Euro-Decision, Imperial College, IC-Parc, Université d'Athènes, ECRC.

  Durée : août 96 - août 98

• Convention CIFRE de l'ANRT entre le LIENS et le LCR de Thomson,

  Durée : avril 93 - avril 96.

• Participation au GDR Programmation, pôle ``Contraintes et Programmation Logique''
  depuis sa création.
• Contrat MESR 93S0051 Projet inter-PRC AMN sur les ``Langages Logiques Concurrents avec Contraintes'' avec l'INRIA, le LIX, le LIM et le LaBRI.

  Durée : sép. 93 - sép. 95.

• Contrat d'étude MESR 92S0777, entre le LIENS, le LCR Thomson et SYSECA sur un ``Langage concurrent avec contraintes pour la planification multi-utilisateurs''.

  Durée : déc. 92 - déc. 94.

• Participation au GDR-PRC AMI ``Algorithmique, Modèles, Infographie'' et organisation (avec D. Kesner, LRI, et R. Di Cosmo, ENS) du Groupe de travail ``Mélanges de systèmes de réécriture et de systèmes logiques'', depuis sa création en Juin 1995.
• Collaborations avec S. van Bakel (Imperial College, U.K.) et F. Barbanera (Université de Turin, Italie), qui ont donné lieu à des publications [301, 310, 353, 351, 308, 350].
• Collaborations avec I. Mackie (École Polytechnique), qui ont donné lieu à des publications [333, 332, 305].
• Collaborations avec R. Giacobazzi et R. Gori (Université de Pise) qui ont donné lieu à des publications [325] [364], F. Fages et R. Giacobazzi ont donné en commun un cours du DEA IMA en 1995.
• Collaborations avec le Laboratoire Central de Recherches de Thomson à Orsay, qui ont donné lieu à des publications [302] [324] [335] [336] [323]

Logique et Physique

• P. Matherat : Collaboration avec M.-T. Jaekel du Laboratoire de Physique Théorique de l'ENS.

Spécifications algébriques et Programmation logique

• Action Procope (1992-1994) LIENS-Munich, collaboration avec l'équipe de Pierre-Louis Curien et l'équipe du Prof. Martin Wirsing.
• Action de coopération TFR (Agence Suédoise de Développement Technique) sur quatre ans (1992-1996) LIENS-Linköping, qui porte sur la validation de programmes logiques, et sert notamment à financer le Ph.D. Thesis de Hans Olsén dont Laurent Fribourg et Jan Maluszynski co-dirigent les recherches.
• ESPRIT Basic Research Working Group 6112 COMPASS-II ``a COMPrehensive Algebraic approach to System Specification and development'' (Octobre 1992 - Mars 1996).
• HCM-Network ``Logic Program Synthesis and Transformation'' (Janvier 1994 - Décembre 1996) qui regroupe notamment les universités de Bristol, Edimbourg, Leuven, Manchester et Rome.
• HCM-Network ``Computational Logic'' (Janvier 1994 - Décembre 1996) qui regroupe notamment les universités de Darmstadt, Lisbonne, Londres, et Rome.
• Coopération avec le Prof. Andrzej Tarlecki de l'Académie des Sciences de Varsovie.
• Michel Bidoit est membre du goupe de travail IFIP WG 1.3.
• Participation au PRC/GDR Programmation.
• Plusieurs contrats d'étude et de recherche avec le Centre de Recherches d'EDF sur l'applicabilité des spécifications algébriques aux logiciels numériques et à la formalisation de cahiers des charges.
• Collaborations avec l'équipe ``Programmation et Génie Logiciel'' du L.R.I. sur les spécifications algébriques et l'environnement de spécification algébrique ASSPEGIQUE.