Laboratoire : LITP - Laboratoire d'Informatique Théorique et Programmation

Brève présentation

Le LITP est issu de l'Équipe Associée du CNRS & Paris VII “Informatique théorique” (ERA 295) créée en 1972 par Maurice Nivat, Louis Nolin et Marcel-Paul Schützenberger.

Historique du LITP LA248 (Laboratoire Associé P6/P7/CNRS)

  • 1975 → 1976 Directeurs Jacques Arsac (P6) et Maurice Nivat (P7) (co-responsable)
  • 1977 → 1981/82 ???
  • 1981/82 → 1985 Directeurs Bernard Robinet (P6) et Maurice Nivat (P7)
  • 1985 → 1986 Jean Berstel (Directeur)
  • 1986 → 1987 Directeur Jean Berstel (parti au Canada), directeur par intérim Jacques Sakarovitch (CNRS)
  • 1987 → 1988 Directeur ???
  • 1989 → 1994 Directeur Dominique Perrin (P7)
  • 1994 → 1997 Directeur Jean-Eric Pin (CNRS), directeurs adjoints Christian Choffrut (P7) et Philippe Chrétienne (P6)
En 1989 le LITP a rejoint l'Institut Blaise Pascal (IBP) puis en 1997, la partie Paris 6 du LITP a fusionné au sein du Laboratoire d'Informatique de Paris 6 (LIP6).

La partie Paris 7 du LITP a donné naissance au LIAFA (Laboratoire d'Informatique Algorithmique: Fondements et Applications) qui a fusionné avec le PPS (Preuves, Programmes et Systèmes) au sein de l'IRIF (Institut de Recherche en Informatique Fondamentale) au 1er janvier 2016.

Vous trouverez ici les rapports de recherches du LITP avec ceux de l'IBP.



janvier 1980 → décembre 1996