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.
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.
1980 January → 1996 December