Fiche d'une structure
Design, study and implementation of languages for proofs and programs Équipe de recherche90567
PI.R2 RNSR : 200920939AFrancehttp://www.inria.fr/equipes/pi.r2Date de fermeture/fusion : jeudi 31 décembre 2015
Preuves, Programmes et Systèmes Laboratoire1067
PPSUniversité Paris Diderot, Bât. Sophie Germain, case postale 7014, 75205 Paris Cedex 13Francehttp://www.pps.univ-paris-diderot.frDate de fermeture/fusion : jeudi 31 décembre 2015
Université Paris Diderot - Paris 7 Institution300301
UPD75 rue Thomas-Mann - 75205 Paris cedex 13IdRef : 027542084ISNI : 0000000121514068ROR : https://ror.org/02n7qrg46Francehttp://www.univ-paris-diderot.frDate de fermeture/fusion : mardi 31 décembre 2019
UMR7126
Centre National de la Recherche Scientifique Regroupement d'Institutions441569
CNRSIdRef : 02636817XISNI : 0000000122597504ROR : https://ror.org/02feahw73Francehttps://www.cnrs.fr/Date de création : jeudi 19 octobre 1939 Structure verrouillée
Inria Paris-Rocquencourt Laboratoire86790
INRIA Rocquencourt : Domaine de Voluceau, Rocquencourt B.P. 105 78153 le Chesnay CedexFrancehttp://www.inria.fr/centre/paris-rocquencourt
Institut National de Recherche en Informatique et en Automatique Institution300009
InriaDomaine de Voluceau Rocquencourt - BP 105 78153 Le Chesnay CedexROR : https://ror.org/02kvxyf05Francehttp://www.inria.fr/en/ Structure verrouillée
Université Paris Diderot - Paris 7 Institution300301
UPD75 rue Thomas-Mann - 75205 Paris cedex 13IdRef : 027542084ISNI : 0000000121514068ROR : https://ror.org/02n7qrg46Francehttp://www.univ-paris-diderot.frDate de fermeture/fusion : mardi 31 décembre 2019
UMR7126
Centre National de la Recherche Scientifique Regroupement d'Institutions441569
CNRSIdRef : 02636817XISNI : 0000000122597504ROR : https://ror.org/02feahw73Francehttps://www.cnrs.fr/Date de création : jeudi 19 octobre 1939 Structure verrouillée