Adnan IMERI soutient sa thèse de doctorat le vendredi [...]
Cette année, des doctorants et stagiaires du laboratoire IBISC [...]
Title of the project : « Analysis And Algorithmic Solutions [...]
TITRE : Tableaux and Partial Model Synthesis Context Traditionally tableaux [...]
Nazim AGOULMINE co-organise la 9ème International Workshop on ADVANCEs in [...]
Clément Bertrand soutient sa thèse de doctorat le jeudi [...]
Sujet : « The Verification of General Game Playing » Background [...]
Sujet : « Modélisation des mécanismes de résistance secondaire » Contexte [...]
Conférence European Conference on Artificial Intelligence - ECAI [ERA A][QUALIS [...]
Journal IEEE Transactions on Control Systems Technology [CiteScore 2020: 10,9] [...]
