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. Titre : One more step towards the connection between topological data analysis and mathematical morphology Résumé : Some works have shown these last years that … 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 la topologie habituelle sur les pavages). Ici on s’intéresse au cas où il y a un nombre fini de tuiles à translation près, les tuiles … 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 look for monochromatic complete subgraphs, i.e., complete subgraphs in which all of the edges have the same color. Ramsey numbers have attracted the attention of … 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 prometteuse. En effet, trois des quatre premiers standard proposés par le NIST reposent sur des hypothèses de réseaux. Dans cet exposé, je vais tout d'abord … 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 un mot infini à l'aide d'une substitution (un morphisme de mots) : on itère la substitution sur une lettre initiale, et on considère le mot … 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 2023, à 15h00. Neo-Reeduc : réalité augmentée interactive pour une rééducation de la motricité finalisée Nicolas Benguigui, David Lefrançois, Heloïse Baillet, Youssef Chahir, François Rioult, … 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 will then present Tezos smart-contract language: Michelson, a statically typed stacked-based (domain-specific) language. Lastly, we will talk an ongoing work aiming to develop a static … 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 parties and the watchtower. The watchtower in FPPW learns no information about the off-chain transactions and hence the channel balance privacy is preserved. As a … 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 model of computation (for sequential algorithms) is the random access machine (RAM). Contrary to this general agreement, paradoxically, there is no consensus on how to … 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 on a ciphertext from the computation result. In this talk, we show that the FHE scheme BGV is computationally circuit private in a semi-honest context. … 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, à 14h00, en salle de séminaire F-200. Il s'agira de deux séminaires qui se suivent, d'une demi-heure chacun, dont les sujets sont : 1 ) … 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)