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)
Séminaire Algorithmique : « Ten asymptotic expansions for the Stirling numbers of the second kind » Hsien-Kuei Hwang (Academia Sinica, Taipei, Taiwan)
Sciences 3- S3 351In this talk, I will first review existing asymptotic approximations in the literature for the Stirling partition numbers (or Stirling numbers of the second kind), the list of references being … Continue reading Séminaire Algorithmique : « Ten asymptotic expansions for the Stirling numbers of the second kind » Hsien-Kuei Hwang (Academia Sinica, Taipei, Taiwan)
11èmes journées de la Société Française de chémoinformatique
les 11èmes journées de la Société Française de chémoinformatique se dérouleront les jeudi 5 et vendredi 6 octobre 2023 dans l'enceinte du château de Caen. L'événement est organisé conjointement par … Continue reading 11èmes journées de la Société Française de chémoinformatique
Séminaire Algorithmique : « The structure of quasi-transitive graphs avoiding a minor with applications to the Domino Conjecture », Ugo Giocanti (G-Scop, Univ. Grenoble)
Sciences 3- S3 351An infinite graph is quasi-transitive if the action of its automorphism group on its vertex set has finitely many orbits. Roughly speaking, this means that the graph has a lot … Continue reading Séminaire Algorithmique : « The structure of quasi-transitive graphs avoiding a minor with applications to the Domino Conjecture », Ugo Giocanti (G-Scop, Univ. Grenoble)
Séminaire Algorithmique : « Une extension probabiliste de la suite d’Oldenburger-Kolakoski », Irène Marcovici (LITIS, Univ. Rouen)
Sciences 3- S3 351La suite d’Oldenburger-Kolakoski est l’unique suite infinie sur l’alphabet {1,2} qui commence par un 1 et est un point fixe de l’application de codage par plage. Dans cet exposé, nous … Continue reading Séminaire Algorithmique : « Une extension probabiliste de la suite d’Oldenburger-Kolakoski », Irène Marcovici (LITIS, Univ. Rouen)