Equipe COSMO

/Equipe COSMO

Offre de thèse de doctorat, équipe COSMO IBISC : « Analysis And Algorithmic Solutions Of Model Checking And Model Synthesis For Partial Models

2021-05-01T19:59:05+00:00 mai 1st, 2021|Equipe COSMO, Offre Doctorat/Post-Doctorat/Stage, Recherche, Recrutement|

Title of the project : « Analysis And Algorithmic Solutions [...]

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 »

2021-05-03T09:00:33+00:00 décembre 8th, 2020|Equipe COSMO, Evénements, Recherche, Soutenance de thèse|

Clément Bertrand soutient sa thèse de doctorat le jeudi [...]

Trois membres de IBISC s’impliquent au nom de l’Université d’Evry Paris-Saclay pour la co-organisation de la conférence IESM 2019

2020-11-07T14:44:14+00:00 avril 14th, 2020|Edition d'ouvrage/de proceedings, Equipe AROBAS, Equipe COSMO, Equipe SIAM, Evénements|

L'Université d'Evry Paris-Saclay  co-organise la conférence IESM (International Conference [...]

WP to LinkedIn Auto Publish Powered By : XYZScripts.com