Design, study and implementation of languages for proofs and programs Équipe de recherche454672
PI.R2RNSR : 200920939AFranceDate de création : vendredi 1 janvier 2016Date de fermeture/fusion : mardi 31 décembre 2019
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
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
Institut de Recherche en Informatique Fondamentale Laboratoire444497
IRIF (UMR_8243)Université de Paris
Bâtiment Sophie Germain, Case courrier 7014
8 Place Aurélie Nemours
75205 Paris Cedex 13 IdRef : 193993007RNSR : 201621976XFrancehttps://www.irif.fr/Date de création : vendredi 1 janvier 2016Date de fermeture/fusion : mardi 31 décembre 2019
UMR_8243
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
UMR8243
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 de Paris Laboratoire454310
2 rue Simone Iff -
CS 42112 -
75589 Paris Cedex 12IdRef : 241614864RNSR : 196718247GFrancehttp://www.inria.fr/centre/parisDate de création : jeudi 10 mars 2016
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