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…
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…
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…
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 :…
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…
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…
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é à…
2018 |DIGIT: Distributed Pulse Generation in Bacterial Colonies
Axe & tâche scientifique DigiCosme : SciLex - IID Coordinateurs : Matthias Függer & Thomas Nowak Nom & Prénom du Candidat : Da-Jung Cho Laboratoires : Paris Saclay : LSV,…
2017 |CODECSYS: Contract Based Design of Cyber-Physical Systems
Axe: SciLex Sujet : hybrid systems, compositional methods, contracts, verification and synthesis Coordinateur : Antoine Girard Equipe: Laurent Fribourg, Luca Greco, Adnane Saoud (PhD student), Alina Eqtami (Postdoc), Daniele Zonetti…
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…