Equipe COSMO

/Equipe COSMO

Johan Arcile soutient sa thèse de doctorat le vendredi 13 décembre 2019 : « Conception, modélisation et vérification formelle d’un système temps-réel d’agents coopératifs : Application aux véhicules autonomes communicants »

2020-06-14T12:17:41+00:00 novembre 20th, 2019|Equipe COSMO, Evénements, Recherche, Soutenance de thèse|

Johan Arcile soutient sa thèse de doctorat le vendredi [...]

Serenella Cerrito est PC Chair et co-éditrice du proceeding de la conférence TABLEAUX 2019, 3 au 5 septembre 2019, Londres, Royaume-Uni.

2020-03-05T00:51:34+00:00 octobre 6th, 2019|Edition d'ouvrage/de proceedings, Equipe COSMO, Evénements, Recherche|

Serenella CERRITO (PR Univ. Evry, IBISC équipe COSMO) est [...]

Séminaire de Loïc Paulevé le 22 mars 2019, 14h, site IBGBI: « Reconciling qualitative and abstract (and scalable) reasoning with Boolean networks »

2019-05-03T22:53:34+00:00 mars 5th, 2019|Equipe COSMO, Recherche, Séminaires organisés à l'IBISC ou par des membres de l'IBISC|

Dans le cadre du séminaire du MeFoSyLoMA, Loïc Paulevé, [...]