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 », Julien Grange (LACL, Univ. Paris-Est Créteil)

Salle à déterminer

We carry on the study initiated by Bérard et al. of the reactive synthesis problem for distributed systems with an unbounded number of participants interacting with an uncontrollable environment. Executions … Continue reading Séminaire Algorithmique « Synthesis for fragments of first-order logic on data words », Julien Grange (LACL, Univ. Paris-Est Créteil)