2017 | LFAT

Linking Focusing and Automated Theorem Proving Axe & tâche scientifique DigiCosme : SciLexCoordinateurs :Guillaume Burel, SAMOVAR - Kaustuv Chaudhuri, LIX - Dale Miller, LIXNom & Prénom du Candidat : en…

Continue Reading 2017 | LFAT

2018 | DafPUP

Domain Approximations for Programs with Uncertain Probabilities Axe & tâche scientifique DigiCosme : SciLex - Tâche 2Coordinateurs :Jean Goubault-LarrecqNom & Prénom du Candidat : Jia, XiaodongLaboratoires : Paris Saclay :LSVLIX…

Continue Reading 2018 | DafPUP

2018 | FAC

Full Abstraction for Languages with Demonic and Probabilistic Choice  Axe & tâche scientifique DigiCosme : SciLex -Coordinateurs :Jean-Goubault Larrecq, LSV - Evelyne Contejean, LRINom & Prénom du Candidat : Zhenchao…

Continue Reading 2018 | FAC

2018 | DynaRNA

Dynamics of RNA Axe & tâche scientifique DigiCosme : SciLex - IIDCoordinateurs :Loïc Paulevé - Yann PontyNom & Prénom du Candidat : Christelle RovettaAdresse mail :christelle.rovetta à inria.frLaboratoire(s) : LRI/LIXAdossé à…

Continue Reading 2018 | DynaRNA

2020 | ATOM

Attack Tolerance using Machine learning and Big Data Axe & tâche scientifique DigiCosme : SciLex / IIDCoordinateurs : Fatiha Zaïdi, LRI - Ana Rosa Cavalli, SAMOVARChercheur postdoctoral : Felipe Lisboa…

Continue Reading 2020 | ATOM

2019 | PREGARI

Commande PREdictive Garantie Robuste aux Incertitudes Axe : SciLexCoordinateurs : Julien Alexandre dit Sandretto, U2IS - Laurent Fribourg, LSVChercheur postdoctoral : Mohamed FNADIInstitution : ENS Paris-SaclayLaboratoire gestionnaire: U2ISAdossé à l'action…

Continue Reading 2019 | PREGARI

2019 | TacticTHo

Tactiques de preuve pour formaliser des modèles de la théorie des types homotopiques en déduction modulo réécriture  Axe : SciLexCoordinateurs : Bruno Barras, LSV - Georges Gonthier, Inria - Samuel…

Continue Reading 2019 | TacticTHo

2019 | LFAT

Méthodes informatiques pour la modélisation et l’analyse des réseaux biologiques  Axe : SciLexCoordinateurs : Guillaume Burel, SAMOVAR - Kaustuv Chaudhuri, LIX - Dale Miller, LIXChercheur postdoctoral : Matteo AcclavioInstitution :…

Continue Reading 2019 | LFAT