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 of those systems are modeled by data words (i.e. finite or infinite words were positions are labeled by an unbounded alphabet), and specifications are given … 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 of the power of nondeterminism, by allowing only some aspects of it: nondeterministic choices are allowed to depend on the past of the computation but … 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 (contrats de projet d’enseignement et de recherche avec charge d'enseignement réduite). La personne recrutée sera rattachée aux départements Informatique, Réseaux et Télécom ou Sciences des … 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 this talk, we try to adapt this result to the case of subshifts, in which we consider potentially multidimensional infinite configurations rather than finite words. … 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 à https://tinyurl.com/greyc2024 Consultez le programme
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 de transformation biométrique produisent généralement des modèles binaires qui sont mieux traités par des schémas cryptographiques, et la comparaison se base sur une distance qui … 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. Titre: "Navigating the Evaluation Landscape: From Scalar Metrics to Parametrized Curves in Generative Model Assessment" Résumé: While it seems fairly easy to evaluate the "quality" … 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 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 particular machine called SMART. Combined with other techniques, this machine opened the door for a series of new findings. In this talk we will recall … 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 projet tirés aléatoirement ? Incroyable, cet exposé est fait pour vous ! (et bravo d'exister.) Nous nous intéressons ici à une famille de graphes qui … 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: Enjeux à moyen et long terme en vision, perception et interprétation multimédia Résumé: L'objectif de ce séminaire est d'explorer de futures directions de recherche possibles … 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, de diverses complexités allant des systèmes d’entropie strictement positive, comme les sous-shifts de type fini, aux systèmes de faible complexité, comme les sous-shifts de complexité … Continue reading Séminiare Algorithmique « Sous-shifts au langage stable », Samuel Petite (LAMFA, Univ. Picardie)
Séminaire IMAGE : Physically constrained generative networks for cloud and texture synthesis (Pierrick Chatillon)
ENSICAEN - Batiment F - Salle F-200 6 Bd Maréchal Juin , CaenNous aurons le plaisir d’accueillir Pierrick Chatillon, qui parla du travail de sa thèse entre Télécom Paris et l'ONERA. Il donnera un séminaire IMAGE, le jeudi 20 juin 2024, à 14h00, en salle de séminaire F-200. Title: Physically constrained generative networks for cloud and texture synthesis Abstract: Evaluating the performance of optical sensors requires large-scale … Continue reading Séminaire IMAGE : Physically constrained generative networks for cloud and texture synthesis (Pierrick Chatillon)