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 [...]
Offre de stage Master 2, équipe COSMO IBISC : « Modélisation des mécanismes de résistance secondaire »
Sujet : « Modélisation des mécanismes de résistance secondaire » Contexte [...]
Publications à fort impact du mois d’août 2020
Conférence European Conference on Artificial Intelligence - ECAI [ERA A][QUALIS [...]
Publications à fort impact du mois de mai 2020
Journal IEEE Transactions on Control Systems Technology [CiteScore 2019: 11,5] [...]
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
L'Université d'Evry Paris-Saclay co-organise la conférence IESM (International Conference [...]
IBISC co-organise la Workshop internationale ADVANCE 2020, qui a lieu du 27 au 29 janvier 2020 !
Nazim AGOULMINE co-organise la 8ème International Workshop on ADVANCEs in [...]