Séminaire Algorithmique « Synthesis for fragments of first-order logic on data words », Julien Grange (LACL, Univ. Paris-Est Créteil)
Salle à déterminerWe 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)
Séminaire Algorithmique « History-deterministic and explorable automata », Denis Kuperberg (LIP, ENS Lyon)
Sciences 3- S3 351History-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 « History-deterministic and explorable automata », Denis Kuperberg (LIP, ENS Lyon)
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 351A 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)
Journée 2024 du laboratoire GREYC : 21 Juin 2024
La journée 2024 du GREYC aura lieu à la CCI de Caen (1 Rue René Cassin, 14280 Saint-Contest) le 21 Juin 2024. Au programme : présentations, démonstrations ! Inscriptions à … Continue reading Journée 2024 du laboratoire GREYC : 21 Juin 2024
Kévin Atighehchi – Untargeted Near-collision Attacks on 2FA Biometric Systems
Sciences 3- S3 351Un système de reconnaissance biométrique peut fonctionner en mode vérification, où le système valide l'identité revendiquée par un utilisateur en comparant le modèle fourni avec le modèle enregistré. Les schémas … Continue reading Kévin Atighehchi – Untargeted Near-collision Attacks on 2FA Biometric Systems
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 , CaenNous 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)
Recrutement pour une chaire de professeur junior « IA pour les sciences »
L'université de Caen et le GREYC recrutent un.e professeur.e pour une chaire de professeur junior en "IA pour les sciences". L'offre est disponible sur le site internet de l'université et … Continue reading Recrutement pour une chaire de professeur junior « IA pour les sciences »
Séminaire Algorithmique : « Turing machine dynamics and the SMART machine », Anahi Gajardo (Univ. Conception, Chili)
Sciences 3- S3 351The 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)
Séminaire Algorithmique : « Génération aléatoire des graphes de Git », Julien Courtiel (GREYC)
Sciences 3- S3 351Vous développez pour un logiciel de gestions de versions, tel Mercurial ou Git ? Et en plus vous aimeriez avoir un moyen de tester vos programmes via des graphes de … Continue reading Séminaire Algorithmique : « Génération aléatoire des graphes de Git », Julien Courtiel (GREYC)
Séminaire IMAGE : Enjeux à moyen et long terme en vision, perception et interprétation multimédia (Frédéric Jurie)
ENSICAEN - Batiment F - Salle F-200 6 Bd Maréchal Juin , CaenNous aurons le plaisir d’écouter Frédéric Jurie, Professeur de l'Université de Caen. Il donnera un séminaire IMAGE, le jeudi 13 juin 2024, à 14h00, en salle de séminaire F-200. Titre: … Continue reading Séminaire IMAGE : Enjeux à moyen et long terme en vision, perception et interprétation multimédia (Frédéric Jurie)
Séminiare Algorithmique « Sous-shifts au langage stable », Samuel Petite (LAMFA, Univ. Picardie)
Sciences 3- S3 351Les sous-shifts au langage stable forment une classe de sous-shifts qui a été récemment introduite par V. Cyr et B. Kra. Cette famille contient de nombreux exemples classiques de sous-shifts, … Continue reading Séminiare Algorithmique « Sous-shifts au langage stable », Samuel Petite (LAMFA, Univ. Picardie)