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)
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 by far the most complete one. Then I will present a general, systematic, elementary approach to generate ten different asymptotic expansions whose uniformity covers particularly … 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 le GREYC et le CERMN (laboratoire de chimie thérapeutique de l'Université), il réunira la communauté francophone de traitement de l'information chimique. Plus d'informations à https://sfci-11.sciencesconf.org/
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 of symmetries. Starting with the work of Maschke (1896), a lot of work have been done on the structure of planar Cayley graphs,and more generally … 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 prendrons un peu de recul par rapport à cette suite bien connue et très étudiée, en introduisant de l’aléa dans le choix des lettres écrites. … Continue reading Séminaire Algorithmique : « Une extension probabiliste de la suite d’Oldenburger-Kolakoski », Irène Marcovici (LITIS, Univ. Rouen)
Séminaire IMAGE: « Deep Image Compression using only Attention-based Neural Networks as analysis and synthesis transforms »
ENSICAEN - Batiment F - Salle F-200 6 Bd Maréchal Juin , CaenNous aurons le plaisir d’écouter Natacha Luka, doctorante en 3ème année dans l'équipe IMAGINE du LIGM (ENPC) , à Marne-la-Vallée. Elle donnera un séminaire IMAGE, le jeudi 26 octobre 2023, à 14h00, en salle de séminaire F-200. Titre: Deep Image Compression using only Attention-based Neural Networks as analysis and synthesis transforms Résumé: In recent years, … Continue reading Séminaire IMAGE: « Deep Image Compression using only Attention-based Neural Networks as analysis and synthesis transforms »