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:20260629T062132
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:20260629T062132
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
END:VCALENDAR