Journée thématique Santé et Sciences du Numérique
ENSICAEN - Bâtiment E - Salle multi-activité 6 boulevard Maréchal Juin , CaenLe laboratoire GREYC organise une journée thématique pour favoriser l'émergence de projets entre les Sciences du numérique et le monde de la Santé.
Miruna Rosca – Private Set Intersection from Homomorphic Encryption: A Python Implementation
En distancielPrivate Set Intersection (PSI) is an interactive protocol between a client and a server. The client holds a set of items X and the server holds a set of items … Continue reading Miruna Rosca – Private Set Intersection from Homomorphic Encryption: A Python Implementation
Séminaire ALGO, Florian Bridoux (LIS, Université Aix-Marseille) : « Réseaux d’automates expansifs »
Sciences 3- S3 351Résumé : An Automata Network is a map f:Qn→Qn where Q is a finite alphabet. It can be viewed as a network of n entities, each holding a state from … Continue reading Séminaire ALGO, Florian Bridoux (LIS, Université Aix-Marseille) : « Réseaux d’automates expansifs »
Séminaire ALGO : Vincent Botbol (Nomadic labs.), Matthieu Dien (GREYC) et Ghiles Ziat (IRIF, Univ. Paris), « Génération de tests aléatoires pour des types numériques contraints ».
Sciences 3- S3 351Il est fréquent de manipuler des valeurs numériques avec des contraintes non explicitées par leur types. Par exemple, les intervalles sont des couples de nombres avec la contraintes que le … Continue reading Séminaire ALGO : Vincent Botbol (Nomadic labs.), Matthieu Dien (GREYC) et Ghiles Ziat (IRIF, Univ. Paris), « Génération de tests aléatoires pour des types numériques contraints ».
Benoit Barbot (LACL, Univ. Paris Est Créteil) : « Sampling uniforme de langage d’automate temporisé »
Sciences 3- S3 351Résumé : In this work we develop Monte-Carlo model checking techniques to evaluate quantitative properties of timed languages. Our approach is based on uniform random sampling of behaviors, as opposed … Continue reading Benoit Barbot (LACL, Univ. Paris Est Créteil) : « Sampling uniforme de langage d’automate temporisé »
Boly Seck – Cryptographie basée sur les codes et attaque template sur ”Classic McEliece”
Sciences 3- S3 351Les protocoles de sécurité modernes dans la plupart de nos systèmes reposent principalement sur trois fonctions de base de la cryptographie asymétrique : le chiffrement à clé publique, la signature … Continue reading Boly Seck – Cryptographie basée sur les codes et attaque template sur ”Classic McEliece”
Séminaire ALGO : Benjamin Hellouin (LRI, Univ. Paris Sud), « Comportement asymptotique de l’automate cyclique à 3 états »
Sciences 3- S3 351La dominance cyclique est un phénomène où différents états (espèces, stratégies...) sont dans une relation cyclique de proie à prédateur : A mange B mange C mange A. Il s'agit … Continue reading Séminaire ALGO : Benjamin Hellouin (LRI, Univ. Paris Sud), « Comportement asymptotique de l’automate cyclique à 3 états »
Séminaire ALGO : Léo Pavlet Salomon (GREYC), « Groupe fondamental et pavages du plan: quelques constructions ».
Sciences 3- S3 351Résumé : On appelle sous-shift (ou sous-décalage) un ensemble de pavages ou de coloriages du plan respectant certaines contraintes locales. Historiquement introduits comme discrétisations de systèmes dynamiques continus, on se … Continue reading Séminaire ALGO : Léo Pavlet Salomon (GREYC), « Groupe fondamental et pavages du plan: quelques constructions ».
Séminaire ALGO : Olivier Bournez (LIX, Ecole Polytechnique), « Computing with analog models. Computing with ordinary differential equations ».
Abstract : Differential equations is some universal language in many contexts, and in particular in experimental sciences. Motivated initially by analog models of computation, we will review various results demonstrating … Continue reading Séminaire ALGO : Olivier Bournez (LIX, Ecole Polytechnique), « Computing with analog models. Computing with ordinary differential equations ».
Séminaire IMAGE : Quentin Bertrand (MILA), « Hyperparameter selection for high dimensional sparse learning: application to neuro-imaging »
En distancielSpeaker: Quentin Bertrand (https://qb3.github.io/) Abstract: Due to non-invasiveness and excellent time resolution, magneto- and electroencephalography (M/EEG) have emerged as tools of choice to monitor brain activity. Reconstructing brain signals from … Continue reading Séminaire IMAGE : Quentin Bertrand (MILA), « Hyperparameter selection for high dimensional sparse learning: application to neuro-imaging »
Le GREYC recherche un-e Gestionnaire financier-e et comptable
Ce poste est disponible en mobilité interne au CNRS : cliquez-ici
Parité : Osez les métiers du numérique !
Du 8 au 16 décembre 2021, le laboratoire GREYC, l’ENSICAEN, le CNRS notamment l’INS2I et l’Université de Caen Normandie lancent une campagne de communication : « Osez les métiers du numérique » pour … Continue reading Parité : Osez les métiers du numérique !