BEGIN:VCALENDAR
VERSION:2.0
PRODID:-//GREYC UMR CNRS 6072 - Groupe de Recherche en Informatique, Image, et Instrumentation de Caen - ECPv5.7.0//NONSGML v1.0//EN
CALSCALE:GREGORIAN
METHOD:PUBLISH
X-WR-CALNAME:GREYC UMR CNRS 6072 - Groupe de Recherche en Informatique, Image, et Instrumentation de Caen
X-ORIGINAL-URL:https://www.greyc.fr
X-WR-CALDESC:évènements pour GREYC UMR CNRS 6072 - Groupe de Recherche en Informatique, Image, et Instrumentation de Caen
BEGIN:VTIMEZONE
TZID:Europe/Paris
BEGIN:DAYLIGHT
TZOFFSETFROM:+0100
TZOFFSETTO:+0200
TZNAME:CEST
DTSTART:20230326T010000
END:DAYLIGHT
BEGIN:STANDARD
TZOFFSETFROM:+0200
TZOFFSETTO:+0100
TZNAME:CET
DTSTART:20231029T010000
END:STANDARD
END:VTIMEZONE
BEGIN:VEVENT
DTSTART;TZID=Europe/Paris:20230606T150000
DTEND;TZID=Europe/Paris:20230607T163000
DTSTAMP:20260629T050118
CREATED:20230605T095635Z
LAST-MODIFIED:20230605T095635Z
UID:11210-1686063600-1686155400@www.greyc.fr
SUMMARY:Séminaire CODAG & IMAGE : "Neo-Reeduc : réalité augmentée interactive pour une rééducation de la motricité finalisée" (N. Benguigui\, etal.)
DESCRIPTION:Nicolas 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. \nNeo-Reeduc : réalité augmentée interactive pour une rééducation de la motricité finalisée \nNicolas Benguigui\, David Lefrançois\, Heloïse Baillet\, Youssef Chahir\, François Rioult\, Laure Lejeune\, Pascale Leconte\, \, Boris Courté (Labo Greyc équipe Codag et Image\, Labo Comete et Société NeoXperiences) \nLe projet Neo-Reeduc a été financé par la Région Normandie dans le cadre des Projets de collaboration et d’innovation. Il a pour but de concevoir\, de développer et de commercialiser des jeux interactifs de rééducation pour des patients atteints de troubles de la motricité (paralysie cérébrale\, AVC\, traumatologie\, maladies neuro-dégénératives) à partir de dispositif de réalité augmenté. Parmi les objectifs de ce projet\, les questions relatives à la réalité augmentée\, à l’interaction temps réél à partir de capture d’images vidéo et à l’auto-adaptation des protocoles de rééducation seront particulièrement abordés. \nOn vous attend nombreux !
URL:https://www.greyc.fr/event/seminaire-codag-image-neo-reeduc-realite-augmentee-interactive-pour-une-reeducation-de-la-motricite-finalisee-n-benguigui-etal/
LOCATION:ENSICAEN – Batiment F – Salle F-200\, 6 Bd Maréchal Juin\, Caen\, 14050\, France
CATEGORIES:Codag,Seminaire Image
END:VEVENT
BEGIN:VEVENT
DTSTART;TZID=Europe/Paris:20230607T140000
DTEND;TZID=Europe/Paris:20230607T150000
DTSTAMP:20260629T050118
CREATED:20230524T102631Z
LAST-MODIFIED:20230524T102631Z
UID:11208-1686146400-1686150000@www.greyc.fr
SUMMARY:Vincent Botbol - Introduction to the Tezos blockchain and static analysis of smart-contracts
DESCRIPTION:In 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 analyzer tool using abstract interpretation to automatically infers (numerical) invariants allowing us to formally prove numerical safety properties along with more blockchain-specific functional properties\, e.g.\, validating user authentication patterns\, analyzing the evolution of contract’s storage\, determining an upper-bound gas usage of a smart-contract\, etc. This work is integrated as an addition to a modular abstract interpretation based platform\, MOPSA\, already capable of analyzing of C and Python programs.
URL:https://www.greyc.fr/event/vincent-botbol-introduction-to-the-tezos-blockchain-and-static-analysis-of-smart-contracts/
LOCATION:Sciences 3- S3 351
CATEGORIES:Séminaire Cryptologie et sécurité
END:VEVENT
BEGIN:VEVENT
DTSTART;VALUE=DATE:20230616
DTEND;VALUE=DATE:20230617
DTSTAMP:20260629T050118
CREATED:20230325T124405Z
LAST-MODIFIED:20230325T124832Z
UID:11153-1686873600-1686959999@www.greyc.fr
SUMMARY:Journée 2023 du laboratoire GREYC : 16 Juin 2023
DESCRIPTION:La journée 2023 du GREYC aura lieu à la CCI de Caen (1 Rue René Cassin\, 14280 Saint-Contest) le 16 Juin 2023. \nAu programme : présentations\, démonstrations ! \nInscriptions à https://tinyurl.com/GREYC2023
URL:https://www.greyc.fr/event/journee-2023-du-laboratoire-greyc-16-juin-2023/
LOCATION:CCI Caen\, 1 Rue René Cassin\, Saint-Contest\, 14280
CATEGORIES:General,News
END:VEVENT
BEGIN:VEVENT
DTSTART;TZID=Europe/Paris:20230621T140000
DTEND;TZID=Europe/Paris:20230621T150000
DTSTAMP:20260629T050118
CREATED:20230619T112136Z
LAST-MODIFIED:20230619T112136Z
UID:11219-1687356000-1687359600@www.greyc.fr
SUMMARY:Amin Sakzad - FPPW: A Fair and Privacy-Preserving Watchtower For Bitcoin
DESCRIPTION:In 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 byproduct\, we also define the coverage of a watchtower scheme\, that is the total capacity of channels that a watchtower can cover on a scale of 0 to 1\, and show that FPPW’s coverage is higher than those of PISA and Cerberus. If time allows\, I will discuss two other watchtowers Garrison and Daric with various other properties and try to formalise the definitions of payment channels and watchtowers.
URL:https://www.greyc.fr/event/amin-sakzad-fppw-a-fair-and-privacy-preserving-watchtower-for-bitcoin/
LOCATION:Sciences 3- S3 351
CATEGORIES:Séminaire Cryptologie et sécurité
END:VEVENT
BEGIN:VEVENT
DTSTART;TZID=Europe/Paris:20230627T100000
DTEND;TZID=Europe/Paris:20230627T110000
DTSTAMP:20260629T050118
CREATED:20240108T100025Z
LAST-MODIFIED:20240108T100025Z
UID:11392-1687860000-1687863600@www.greyc.fr
SUMMARY:Séminaire Algorithmique : “Robustness of the RAM model” or “how to perform a division in constant time”\, Etienne Granjean (GREYC\, Caen)
DESCRIPTION:Accurately 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 define the RAM model. It is like a Babel tower. Since the 1970s\, the literature has presented a plethora of definitions of RAMs and their complexity with no unifying result. \nIn this talk\, I will present a simple model of RAM. I will show that this model on the one hand sticks to the algorithms\, their data structures and their fine-grained complexity (linear time\, or even constant time\, etc.) and on the other hand is robust to many variations. In particular\, we demonstrate that the complexity classes — linear time\, quadratic time\, enumeration complexity classes\, etc. — do not change depending on whether the only primitive operation of a RAM is addition\, or whether the usual arithmetic operations — subtraction\, multiplication or even division (!!!!) and many others — are allowed. This is a joint work with Louis Jachiet.
URL:https://www.greyc.fr/event/seminaire-algorithmique-robustness-of-the-ram-model-or-how-to-perform-a-division-in-constant-time-etienne-granjean-greyc-caen/
LOCATION:Sciences 3- S3 351
CATEGORIES:Amacc,General,Séminaire Algo
END:VEVENT
END:VCALENDAR