Séminaire IMAGE : « One more step towards the connection between topological data analysis and mathematical morphology » (Nicolas Boutry)
ENSICAEN - Batiment F - Salle F-200 6 Bd Maréchal Juin , CaenNous aurons le plaisir d’écouter Nicolas Boutry, enseignant-chercheur au LRDE / EPITA, Paris. Il donnera un séminaire IMAGE, le jeudi 11 mai 2023, à 14h00, en salle de séminaire F-200. … Continue reading Séminaire IMAGE : « One more step towards the connection between topological data analysis and mathematical morphology » (Nicolas Boutry)
Séminaire Algorithmique : Victor Lutfalla (GREYC, Caen)
Salle à déterminerUn pavage est un recouvrement du plan par des tuiles qui ne se chevauchent pas. On appelle sous-shift un ensemble de pavages qui est invariant par translation et fermé (pour … Continue reading Séminaire Algorithmique : Victor Lutfalla (GREYC, Caen)
Séminaire Algorithmique : Mostafa Gholami (GREYC, Caen) « Multicolor bipartite Ramsey numbers for paths, cycles, and stripes »
Sciences 3- S3 351Frank Ramsey introduced the theory that bears his name in 1930. The main subject of the theory are complete graphs whose subgraphs can have some regular properties. Most commonly, we … Continue reading Séminaire Algorithmique : Mostafa Gholami (GREYC, Caen) « Multicolor bipartite Ramsey numbers for paths, cycles, and stripes »
Adeline Roux-Langlois – Difficulté du problème « Module Learning with Errors »
Sciences 3- S3 351Parmi toutes les possibilités de constructions post-quantiques, mises en avant par la compétition de standardisation post-quantique organisée par le NIST, la cryptographie reposant sur les réseaux euclidiens est la plus … Continue reading Adeline Roux-Langlois – Difficulté du problème « Module Learning with Errors »
Séminaire Algorithmique : Pierre Béaur (LISN, Université Paris-Saclay) « Walking On a Line: détection de marches S-adiques dans les ω-automates »
Sciences 3- S3 351En dynamique symbolique s'intersectent études des langages, des mots infinis et des structures dynamiques associées. Deux méthodes classiques de construction de ces objets coexistent. D'abord, la méthode de Thue construit … Continue reading Séminaire Algorithmique : Pierre Béaur (LISN, Université Paris-Saclay) « Walking On a Line: détection de marches S-adiques dans les ω-automates »
Séminaire CODAG & IMAGE : « Neo-Reeduc : réalité augmentée interactive pour une rééducation de la motricité finalisée » (N. Benguigui, etal.)
ENSICAEN - Batiment F - Salle F-200 6 Bd Maréchal Juin , CaenNicolas Benguigui, de l'UFR STAPS et rattaché à l'équipe CODAG, viendra faire un séminaire commun CODAG & IMAGE, en salle F-200 du bâtiment F du GREYC, le mardi 6 juin … Continue reading Séminaire CODAG & IMAGE : « Neo-Reeduc : réalité augmentée interactive pour une rééducation de la motricité finalisée » (N. Benguigui, etal.)
Vincent Botbol – Introduction to the Tezos blockchain and static analysis of smart-contracts
Sciences 3- S3 351In this talk, we will give a broad introduction of the Tezos blockchain by introducing its architecture and design choices regarding safety and security in an adversarial distributed system. We … Continue reading Vincent Botbol – Introduction to the Tezos blockchain and static analysis of smart-contracts
Journée 2023 du laboratoire GREYC : 16 Juin 2023
CCI Caen 1 Rue René Cassin , Saint-ContestLa journée 2023 du GREYC aura lieu à la CCI de Caen (1 Rue René Cassin, 14280 Saint-Contest) le 16 Juin 2023. Au programme : présentations, démonstrations ! Inscriptions à https://tinyurl.com/GREYC2023
Amin Sakzad – FPPW: A Fair and Privacy-Preserving Watchtower For Bitcoin
Sciences 3- S3 351In this talk, I will introduce FPPW, a new payment channel with watchtower scheme for Bitcoin. This new scheme provides fairness with respect to all channel participants including both channel … Continue reading Amin Sakzad – FPPW: A Fair and Privacy-Preserving Watchtower For Bitcoin
Séminaire Algorithmique : “Robustness of the RAM model” or “how to perform a division in constant time”, Etienne Granjean (GREYC, Caen)
Sciences 3- S3 351Accurately measuring the complexity of algorithms and establishing the intrinsic computational complexity of problems are among the most important tasks/goals in computer science. For this, everyone agrees that the right … Continue reading Séminaire Algorithmique : “Robustness of the RAM model” or “how to perform a division in constant time”, Etienne Granjean (GREYC, Caen)
Séminaire Algorithmique : Ana Maria Costache (NTNU, Trondheim, Norvège) « FHE Circuit Privacy for Free »
Sciences 3- S3 351Circuit privacy is an important notion in Fully Homomorphic Encryption (FHE), well-illustrated by the Machine Learning-as-a-Service scenario. A scheme is circuit private if an adversary cannot learn the circuit evaluated … Continue reading Séminaire Algorithmique : Ana Maria Costache (NTNU, Trondheim, Norvège) « FHE Circuit Privacy for Free »
Séminaire IMAGE : « Digital topology constraints in computational anatomy models of embryonic human brains » (Akinobu Shimizu, Tokyo University of Agriculture and Technology), et « On the distribution of texture in the nuclei of follicular cells in malignant lymphoma » (Hidekata Hontani, Nogoya Institute of Technology)
ENSICAEN - Batiment F - Salle F-200 6 Bd Maréchal Juin , CaenNous aurons le plaisir d’écouter Akinobu Shimizu (Tokyo University of Agriculture and Technology) et Hidekata Hontani (Nogoya Institute of Technology), qui donneront un séminaire IMAGE, le jeudi 14 septembre 2023, … Continue reading Séminaire IMAGE : « Digital topology constraints in computational anatomy models of embryonic human brains » (Akinobu Shimizu, Tokyo University of Agriculture and Technology), et « On the distribution of texture in the nuclei of follicular cells in malignant lymphoma » (Hidekata Hontani, Nogoya Institute of Technology)