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

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 1^er janvier 2016.

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