Participations à l'évaluation de la recherche

Groupe de Recherche en Complexité et Cryptographie

• J. Stern :
  • membre du comité de programme, Eurocrypt'94 et Eurocrypt'95,
  • membre du comité de programme, ACM Conference on Security and privacy 1994 et 1997 ; président du comité en 1996,
  • membre du comité de programme, STACS 95.
  • membre du comité de programme, Crypto'96.
  • membre du comité de programme, International Conference of the Chilean Computer Science Society 1997.
  • 1995- : membre du comité éditorial, Journal of Cryptology.
  • 1997- : membre du comité éditorial, ACM Transactions on Information Security.
• C. Crépeau :
  • Éditeur Associé à la Complexité et la Cryptographie, IEEE Transactions on Information Theory (1/95 - 1/98)
  • membre du comité de rédaction, Journal of Cryptology (1/91-1/95)
  • membre du comité de programme, Eurocrypt'94
  • membre du comité de programme, XIV International Conference of the Chilean Computer Science Society
• S. Vaudenay :
  • membre du comité de programme, Eurocrypt'96 et Eurocrypt'98.
  • membre du comité de programme, Crypto'95.
  • président du comité de programme, Fast Software Encryption'98.

Lambda-calcul typé et langages fonctionnels

• Revues :

  P.-L. Curien est rédacteur de Theoretical Computer Science, depuis 1988, et de Journal of Functional Programming, depuis 1990.

  G. Longo est rédacteur en chef, et P.-L. Curien est rédacteur en chef adjoint de Mathematical Structures in Computer Science, depuis la naissance de cette revue (1990).

  G. Longo est rédacteur de Information and Computation, depuis 1982, de Informatique Théorique et Applications (auparavant : R.A.I.R.O.), depuis 1985, de La Nuova Critica (revue de philosophie des sciences) depuis 1993, et de The Journal of Universal Computer Science (journal diffusé électroniquement par Springer Verlag) depuis 1994.

• Comités de Programme :

  G. Castagna :

  • ``Langages et Modèles à Objets'' Brest, 1997 ;
  • ``Foundation of Object-Oriented Languages'' New Brunswich, 1996 et Paris, 1997.

  G. Cousineau :

  • ``European Symposium on Programming'' (ESOP 94) ;
  • ``ACM SIGPLAN Workshop on ML and its applications'', Orlando 94.

  P.-L. Curien :

  • "Category Theory and Computer Science'' (CTCS), Cambridge, 1995, et S. Margherita Ligure, 1997 ;
  • ``Logic in Computer Science'' (LICS), Varsovie 1997 ;
  • ``Foundamentals of Computation Theory'' (FCT), Dresden, 1995
  • ``Formal Models of Programming and Applications'', Pékin, 1997 (CEE Programme KIT - Acad. Sci. Chine).

  R. Di Cosmo :

  • ``Rewriting Techniques and Applications'', Tsukuba (JP), 1998.

  G. Longo :

  • ``Typed Lambda Calculus and Applications, Edinburgh, avril, 1995 ;
  • ``World Conference on Foundamentals of A. I.'', Paris, juillet, 1995 ;
  • ``Category Theory and Computer Science'', Cambridge, août, 1995 et S. Margherita Ligure, septembre 1997 ;
  • ``Logic Methodology and Philosophy of Science'', Florence, août, 1995 ;
  • ``Foundation of Objet-Oriented Programming Languages'', Rutgers University, N.Y., USA, juillet 1996 et Paris, janvier 1997 ;
  • ``Logical Foundations of Computer Science'', Yaroslavl, Russie, juillet 1997 ;
  • ``Computer Science Logic'', Brno, Czech Republic, septembre, 1998.
  • Il vient d'être nommé Chairman du colloque ``Logic in Computer Science'' (LICS 1999), juillet 1999, Trento.

• Autres responsabilités :

  G. Cousineau a été membre de l'Equipe de direction du PRC/GRECO de Programmation.

  G. Cousineau a été expert auprès du Comité National d'Evaluation et des Communautés Européennes.

  G. Cousineau a été membre du Comité Scientifique du LABRI (Laboratoire en Informatique de Bordeaux) et du CERMICS (Ecole des Ponts et Chaussées).

  G. Cousineau a été membre du Comité d'Admission des Chercheurs de l'INRIA.

  G. Cousineau est membre du conseil scientifique de l'UFR de mathématiques de l'université Paris VII.

  G. Cousineau est membre des commissions de spécialistes de l'ENS, de Paris VII et de Paris Sud.

  P.-L. Curien a été membre du jury de sélection des chargés de recherche INRIA (1995) et des directeurs de recherche INRIA (1996).

  P.-L. Curien est membre du Conseil Scientifique du Laboratoire Franco-Chinois d'Informatique, Automatique et Mathématiques Appliquées (INRIA - Académie des Sciences de Chine).

  G. Longo est membre du Comite' Scientifique du Centre Applications Maths. (CAMS) de l'EHESS.

  G. Longo est membre du conseil de coordination régional des activités en Cogniscience (CogniSeine, présidé par A. Berthoz du Collège de France).

Sémantique et Interprétation Abstraite

=5000 =5000
• P. Cousot :
  • membre du comité de rédaction de la revue << Science of Computer programming >> ;
  • membre des comités de programme de ICCL'94, SAS'94, PLILP'94, PLILP'95, SAS'95, JFPLC'96 ;
  • membre du comité scientifique du laboratoire d'ingénierie des systèmes d'information (LISI) de l'Institut National des Sciences Appliquées de Lyon et de l'Université Claude Bernard - Lyon I ;
  • expert de recrutements (referee for academic promotion comitees) DAIMI (Århus, Danemark), DIKU (Copenhague, Danemark), Imperial College of Science, Technology and Medicine (Londres), INRIA, Universités de Cambridge, Loyola (Chicago), Melbourne, Sarrebrück, Ben-Gurion University of the Negev (Israël) ;
  • membre des commissions de spécialistes d'informatique, 27 section de l'École Normale Supérieure et de l'Université de Paris 9, Dauphine ;
  • membre du conseil de laboratoire du LIENS ;
  • expertises de soumissions de projets de recherche : projets américains de la NSF, projets européens ESPRIT et LTR, Israel Science Foundation ;
  • expertise (reviewer) de projets européens ESPRIT II et III :
    • Esprit B.R.A. project 6021 REACT (P. Wolper (coordinateur), Liège, Belgique, 8 juillet 1994 et 20-22 novembre 1995) ;
    • Esprit B.R.A. project 7071 PROCOS II (C. Hoare (coordinateur), Bruxelles, 30 septembre 1994 et 13 octobre 1995) ;
  • évaluateur (referee) pour les revues Acta Informatica, Information Processing Letters, Science of Computer Programming, TOPLAS et les conférences ESOP'94, ICCL'94, ILPS'94, SAS'94, PEPM'94, POPL'95, PLILP'95, SAS'95, POPL'96, SAS'96 ;
• R. Cridlig :
  • évaluateur (referee) pour les conférences SAS'94, ICCL'94, SAS'95, ESOP'96, FMPPTA'96, SAS'97, FMPPTA'97, FME'97 ;
• É. Goubault :
  • évaluateur (referee) pour les revues Fundamenta Informaticae (1993), Information Processing Letters (1994), Theoretical Computer Science (1994), Mathematical Structures in Computer Science (1995) et les conférences SAS'94, STACS'95, PEPM'95, CONCUR'95, ESOP'96, CAAP'96, LICS'96, CONCUR'96, FMPPTA'96, Imperial College Worshop'96, SAS'97, FME'97, FMPPTA'97 ;
  • Membre du conseil du laboratoire (depuis 1996)
• B. Monsuez :
  • membre du conseil de Laboratoire du LIENS.
  • évaluateur (referee) pour les conférences SAS'94, PLILP'95, SAS'95, SAS'97 ;

Langages Logiques, Contraintes et Optimisation

• C. Codognet :
  • membre du comité de programme du ``First International Workshop on Concurrent Constraint Programming'', Venise 29-31 Mai 1995.
  • membre de la Commission de Spécialistes de l'Université Paris 13
• F. Fages :
  • membre du comité de programme de ALP'97.
  • membre du comité de programme de JFPLC'97 et JFPLC'96.
  • rapporteur pour les revues Theoretical Computer Science, Journal of Logic Programming, Journal of Logic and Computation, Information and Computation, Journal of Symbolic Computation, Technique et Science Informatique, RAIRO Informatique Théorique, New Generation Computing.
  • rapporteur pour les conférences ICLP, ILPS, CP, PLILP, ALP, IJCAI, JFPLC, RTA, ASIAN.
  • membre du Comité Scientifique du LIM, Univ. de Marseille.
  • membre de la Commission de Spécialistes du DMI de l'ENS-ULM.
  • membre de la Commission de Spécialistes de l'Université d'Orléans.
  • membre du Collège Scientifique et Technique du Groupe Thomson jusqu'en 96.
• M. Fernández :
  • membre du comité de programme de WFP96 (Latin American Workshop on Functional Programming) et CLaPF97 (Conférence Latino-américaine de Programmation Fonctionnelle).
  • membre du comité de programme de RTA'97 et RTA'98.
  • rapporteur pour les revues Theoretical Computer Science, Information and Computation, Fundamenta Informaticae, Information Processing Letters, Journal of Symbolic Computation, Journal of Functional Programming, Applicable Algebra in Engineering, Communications and Computing.
  • rapporteur pour les conférences CAAP, CCL, HOA, LICS, MFCS, PLILP, RTA, ALP, STACS, ESOP, FASE.
  • membre de la Commission de Spécialistes du DMI de l'ENS-ULM.

Logique et Physique

• P. Matherat : Membre de la commission de spécialistes du LIENS de 1988 à 1995.

Spécifications algébriques et Programmation logique

• Michel Bidoit est membre du Groupe d'Experts GE-4 du MESR.
• Michel Bidoit est membre de l'Observatoire de la Recherche Fondamentale en Informatique.
• Laurent Fribourg est Rédacteur-en-chef adjoint de ``Technique et Science Informatiques'' depuis Janvier 1993 (membre du Comité de Rédaction depuis 1992). Il est, en outre, co-rédacteur en chef (avec Marc Corsini) du numéro spécial de Juin 1995 de ce journal consacré à la Programmation en Logique.
• Laurent Fribourg a été membre du Comité de Programme de International Logic Programming Symposium (Ithaca, Etats Unis, Novembre 1994).
• Laurent Fribourg a été membre des Comités de Programme de International Workshop on Logic Program Synthesis and Transformation LOPSTR en 1993 (Louvain, Belgique), 1994 (Pise, Italie) et 1995 (Utrecht, Pays-Bas). En 1994, il assurait la présidence du comité de programme.
• Laurent Fribourg a été membre du Comité de Programme des Journées Francophones de Programmation Logique JFPL en 1993 (Nîmes), 1994 (Bordeaux) et 1995 (Dijon).
• Laurent Fribourg représente le LIENS dans le Réseau d'Excellence Européen ``Compulog''.