Note sur la biographie et les activités : L'IRIF est une unité mixe de recherche (UMR 8243) du CNRS et de l'Université Paris-Diderot,
issue de la fusion des deux UMR LIAFA et PPS au 1er janvier 2016. Ses objectifs scientifiques
se déclinent selon trois grandes thématiques au cœur de l'informatique : les fondements
mathématiques de l’informatique ; les modèles de calcul et de preuves ; la modélisation,
les algorithmes et la conception de systèmes
Note sur la biographie et les activités : PARIS 7 - Université Paris Diderot Paris 7 (UMR 8243) : établissement tutelle à partir
de 2016 à 2020 ; CNRS - Centre national de la recherche scientifique (UMR 8243) :
établissement tutelle à partir de 2016 ; INRIA - Institut national de la recherche
en informatique et automatique : établissement participant à partir de 2016 ; U PARIS
Cité - Université Paris Cité (UMR 8243) : établissement tutelle à partir de 2020
https://appliweb.dgri.education.fr/rnsr/PresenteStruct.jsp?numNatStruct=201621976X&PUBLIC=OK,
2018-07-11
Information trouvée : PARIS 7 - Université Paris Diderot Paris 7 (UMR 8243) : établissement tutelle à partir
de 2016 ; CNRS - Centre national de la recherche scientifique (UMR 8243) : établissement
tutelle à partir de 2016 ; INRIA - Institut national de la recherche en informatique
et automatique : établissement participant à partir de 2016 et n° RNSR : 201621976X
https://aurehal.archives-ouvertes.fr/structure/read/id/444497, 2018-07-11
Information trouvée : n° HAL : 444497
https://www.irif.univ-paris-diderot.fr/, 2016-06-24
Information trouvée : Adresse physique : Bâtiment Sophie Germain, 8 place Aurélie Nemours, 75013 Paris
https://www.irif.univ-paris-diderot.fr/, 2016-06-24
Information trouvée : Adresse postale : IRIF, Université Paris-Diderot – Paris 7, Case 7014, 75205 Paris
Cedex 13
https://www.irif.univ-paris-diderot.fr/, 2016-06-24
Information trouvée : L'IRIF est une unité mixe de recherche (UMR 8243) du CNRS et de l'Université Paris-Diderot,
issue de la fusion des deux UMR LIAFA et PPS au 1er janvier 2016. Ses objectifs scientifiques
se déclinent selon trois grandes thématiques au cœur de l'informatique : les fondements
mathématiques de l’informatique ; les modèles de calcul et de preuves ; la modélisation,
les algorithmes et la conception de systèmes