Design, study and implementation of languages for proofs and programs Équipe de recherche1005019

PI.R2RNSR : 200920939AFranceDate de création : mercredi 1 janvier 2020Date de fermeture/fusion : samedi 31 décembre 2022

 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

 Université Paris Cité Institution557826

UPCité85 boulevard Saint-Germain 75006 ParisIdRef : 236453505ISNI : 0000 0004 7885 7602ROR : https://ror.org/05f82e368Francehttps://u-paris.fr/Date de création : mercredi 1 janvier 2020 Structure verrouillée

 Institut de Recherche en Informatique Fondamentale Laboratoire1005016

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 : mercredi 1 janvier 2020

 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

 Université Paris Cité Institution557826

UPCité85 boulevard Saint-Germain 75006 ParisIdRef : 236453505ISNI : 0000 0004 7885 7602ROR : https://ror.org/05f82e368Francehttps://u-paris.fr/Date de création : mercredi 1 janvier 2020 Structure verrouillée