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)

Recrutement à l’IUT GON de 4 enseignant.e.s-chercheur.se.s en Informatique, IA pour les gestion et l’analyse des données, sécurité Informatique (CPER avec charge d’enseignement réduite)

Dans le cadre des projets CMA NORMANTHIIA et CYRCE, l'Université de Caen Normandie recrute quatre enseignant.e.s-chercheur.se.s en informatique, intelligence artificielle pour la gestion et l'analyse des données, et sécurité informatique … Continue reading Recrutement à l’IUT GON de 4 enseignant.e.s-chercheur.se.s en Informatique, IA pour les gestion et l’analyse des données, sécurité Informatique (CPER avec charge d’enseignement réduite)

Séminaire Algorithmique : « Computability of extender sets in multidimensional subshifts », Léo Paviet Salomon (GREYC, Caen)

Sciences 3- S3 351

A classical result from the theory of formal languages, the Myhill-Nerode theorem, gives a necessary and sufficient condition in terms of congruence classes for a language to be regular. In … Continue reading Séminaire Algorithmique : « Computability of extender sets in multidimensional subshifts », Léo Paviet Salomon (GREYC, Caen)

Séminaire IMAGE : « Navigating the Evaluation Landscape: From Scalar Metrics to Parametrized Curves in Generative Model Assessment » (Benjamin Sykes)

ENSICAEN - Batiment F - Salle F-200 6 Bd Maréchal Juin , Caen

Nous aurons le plaisir d’écouter Benjamin Sykes, doctorant de l'équipe IMAGE du GREYC. Il donnera un séminaire IMAGE, le jeudi 30 mai 2024, à 14h00, en salle de séminaire F-200. … Continue reading Séminaire IMAGE : « Navigating the Evaluation Landscape: From Scalar Metrics to Parametrized Curves in Generative Model Assessment » (Benjamin Sykes)

Séminaire Algorithmique : « Turing machine dynamics and the SMART machine », Anahi Gajardo (Univ. Conception, Chili)

Sciences 3- S3 351

The study of Turing machines as dynamical systems carried several questions that were not considered before, as the question of the existence of an «aperiodicity», finally solved by the very … Continue reading Séminaire Algorithmique : « Turing machine dynamics and the SMART machine », Anahi Gajardo (Univ. Conception, Chili)