En cours

Recrutement de 6 enseignant.e.s-chercheur.se.s en TAL, Apprentissage, IA et Algorithmique, Sécurité Informatique(CPER avec charge d’enseignement réduite)

Dans le cadre des projets CMA SATIN, NORMANTHIIA et CYRCE, l'Université de Caen Normandie recrute six enseignant.e.s-chercheur.se.s en traitement automatique des langues, apprentissage machine, intelligence artificielle et algorithmique, et sécurité … Continue reading Recrutement de 6 enseignant.e.s-chercheur.se.s en TAL, Apprentissage, IA et Algorithmique, Sécurité Informatique(CPER avec charge d’enseignement réduite)

Séminaire Algorithmique « Synthesis for fragments of first-order logic on data words », Denis Kuperberg (LIP, ENS Lyon)

Sciences 3- S3 351

History-deterministic automata are intermediary between deterministic and nondeterministic ones, and have been the object of thorough study in the last decade. They offer a way to get a better grasp … Continue reading Séminaire Algorithmique « Synthesis for fragments of first-order logic on data words », Denis Kuperberg (LIP, ENS Lyon)