Le LITP (Laboratoire d’Informatique Théorique et Pratique) est un laboratoire entièrement consacré à la recherche en informatique théorique, avec des applications aux langages de programmation et à d'autres domaines du génie logiciel.

Le principal domaine de recherche du LITP est le développement de méthodes mathématiques en informatique. Cette activité est menée en collaboration avec le département de mathématiques et le département d'informatique.

Marcel-Paul Schutzenberger, Maurice Nivat, ainsi que Louis Nolin fondent le laboratoire en 1972. Ce laboratoire est le premier grand laboratoire d'informatique fondamentale créé en France et lui ont succédé au sein de Paris VII les laboratoires LIAFA (Laboratoire Informatique, Algorithmique Fondamentale et Automates), PPS (Preuves, Programmes et Systèmes), et aujourd'hui l'IRIF (Institut de Recherche en Informatique fondamentale).

Une gazette hebdomadaire a été créée au sein du laboratoire afin de permettre au personnel de raconter leurs voyages, les nouvelles avancées scientifiques, les naissances de leurs enfants et tout autre changement dans leur vie personnelle. Il était aussi possible de mettre en avant la vente de biens comme du vin ou des fromages.