IBP - Institut Blaise Pascal

L'Institut Blaise Pascal, Groupement de Recherche GDR 922, a été créé janvier 1989. Ne pas la confondre avec son ancêtre, l'Institut Blaise Pascal du CNRS.
Il est devenu la Fédération d'Unités FU0007 CNRS en 1994 - Fédération des laboratoires d'informatique du campus Jussieu (Paris 6 et Paris 7) regroupant le LAFORIA, le LITP et le MASI. L'enseignement est essentiellement effectué à l'UFR d'Informatique (UFR 922).

Historique

• 1989 → 1996 Jacques Sakarovitch (Directeur GDR 922)
• 1994 → 1996 Jacques Sakarovitch (Directeur FU0007), Nicole Robinet (Responsable Administrative)

Le LADL (jusqu'en 1993) et L'Equipe Combinatoire (Las Vergnas) (UFR 921) ont aussi participés à l'IBP.

L'IBP a donné ensuite naissance en 1997 au LIP6 (sans la partie Paris 7 du LITP).

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 de l'IBP.

Archives Soutenances de thèse