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)

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.

 Mentions légales
Carte du site |