IBISC vous souhaite la bienvenue – 1er semestre 2021 !
IBISC a la joie de souhaiter la bienvenue aux [...]
IBISC obtient des allocations de recherche post-doctorale financée par Genopole sur le thème : « Network medicine controllability »
Grâce à au financement de Genopole, Ismaïl BELGACEM démarre [...]
« LA LIGNE ROUGE » Lauréat de l’appel à projets « Expérimentation 2020 » Paris-Saclay !
« La ligne rouge » est un projet artistique [...]
Adnan Imeri soutient sa thèse de doctorat le vendredi 2 juillet 2021 « Utilisation de la technologie blockchain pour l’amélioration de la confiance dans les processus de logistique et de transport »
Adnan IMERI soutient sa thèse de doctorat le vendredi [...]
Des doctorants et des stagiaires du laboratoire IBISC participent à la course sénartaise au profit de la Ligue contre le cancer de Seine-et-Marne, les 11 et 18 juin 2021 !
Cette année, des doctorants et stagiaires du laboratoire IBISC [...]
Offre de thèse de doctorat, équipe COSMO IBISC : « Analysis And Algorithmic Solutions Of Model Checking And Model Synthesis For Partial Models
Title of the project : « Analysis And Algorithmic Solutions [...]
Offre de stage Master 2, équipe COSMO de IBISC : « Tableaux and Partial Model Synthesis »
TITRE : Tableaux and Partial Model Synthesis Context Traditionally tableaux [...]
IBISC co-organise la Workshop internationale ADVANCE 2021, qui a lieu le 2 février 2021 !
Nazim AGOULMINE co-organise la 9ème International Workshop on ADVANCEs in [...]
Clément Bertrand soutient sa thèse de doctorat le jeudi 17 décembre 2020 : « Reconnaissance de motifs dynamiques par automates temporisés à mémoire »
Clément Bertrand soutient sa thèse de doctorat le jeudi [...]
Offre de stage Master 2, équipe COSMO IBISC : « The Verification of General Game Playing »
Sujet : « The Verification of General Game Playing » Background [...]