BEGIN:VCALENDAR
VERSION:2.0
PRODID:-//LORIA - ECPv6.15.20//NONSGML v1.0//EN
CALSCALE:GREGORIAN
METHOD:PUBLISH
X-WR-CALNAME:LORIA
X-ORIGINAL-URL:https://www.loria.fr
X-WR-CALDESC:Évènements pour LORIA
REFRESH-INTERVAL;VALUE=DURATION:PT1H
X-Robots-Tag:noindex
X-PUBLISHED-TTL:PT1H
BEGIN:VTIMEZONE
TZID:Europe/Paris
BEGIN:DAYLIGHT
TZOFFSETFROM:+0100
TZOFFSETTO:+0200
TZNAME:CEST
DTSTART:20210328T010000
END:DAYLIGHT
BEGIN:STANDARD
TZOFFSETFROM:+0200
TZOFFSETTO:+0100
TZNAME:CET
DTSTART:20211031T010000
END:STANDARD
BEGIN:DAYLIGHT
TZOFFSETFROM:+0100
TZOFFSETTO:+0200
TZNAME:CEST
DTSTART:20220327T010000
END:DAYLIGHT
BEGIN:STANDARD
TZOFFSETFROM:+0200
TZOFFSETTO:+0100
TZNAME:CET
DTSTART:20221030T010000
END:STANDARD
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;VALUE=DATE:20220321
DTEND;VALUE=DATE:20220324
DTSTAMP:20260430T100450
CREATED:20220209T073939Z
LAST-MODIFIED:20220209T073939Z
UID:15171-1647820800-1648079999@www.loria.fr
SUMMARY:Journées Annuelles du GT Méthodes Formelles pour la Sécurité
DESCRIPTION:Les journées 2022 du Groupe de Travail « Méthodes Formelles pour la Sécurité » auront lieu du 21 au 23 mars 2022 à la Villa Clythia à Fréjus. \nLes journées du Groupe de Travail « Méthodes Formelles pour la Sécurité »\nont pour objectif de permettre aux personnes de la communauté des\nméthodes formelles intéressées par les applications liées à la sécurité\nde se regrouper et d’échanger autour de ces thèmes. Elles comportent des\nexposés de chercheurs\, d’industriels et de doctorants. \nEn 2022 les journées du GT MFS passent sur un nouveau format de trois\njours. Le programme comporte à la fois des exposés invités introductifs\ndestinés à un public large\, ainsi que des exposés plus courts visant à\nprésenter des travaux de recherche récents sur des sujets plus pointus\,\net également du temps pour les échanges informels. \nProgramme\nLe programme préliminaire est disponible en ligne :\nhttps://gtmfs2022.sciencesconf.org/program \nAppel à Participation\nLes inscriptions sont ouvertes et se font via la page web :\nhttps://gtmfs2022.sciencesconf.org/ \nDates importantes\n– 16/02/2022 : Date limite pour les inscriptions\n– 21-23/03/2022 : Journées du GT MFS \n  \nThe 2022 edition of the Working Group (GT) « Formal Methods for\nSecurity » will take place from March 21 to 23 at Villa Clythia in Fréjus. \nThe annual meeting of the Working Group (GT) « Formal Methods for\nSecurity » aims to allow everybody in the formal methods community\ninterested by applications linked to security to meet and discuss around\nthese subjects. The meeting welcomes presentations by researchers\,\npractitioners and PhD students. \nIn 2022 the meeting changes for a new three-day format. The program\ncontains both invited introductory talks suitable for a large audience\,\nas well as shorter contributed talks presenting works on more\nspecialized subjects\, and – last but not least – time for informal\nmeetings and discussions. \nInvited speakers (to be completed)\n– Bruno Blanchet (INRIA Paris)\n– Sandrine Blazy (IRISA\, Rennes)\n– Pierre-Yves Strub (Meta\, France) \nProgram\nThe preliminary program is available online:\nhttps://gtmfs2022.sciencesconf.org/program \nCall for participation\nRegistration is now open\, please see the web page:\nhttps://gtmfs2022.sciencesconf.org/ \nImportant Dates\n– 16/02/2022: Registration Deadline\n– 21-23/03/2022: Date of the meeting
URL:https://www.loria.fr/event/journees-annuelles-du-gt-methodes-formelles-pour-la-securite/
LOCATION:Villa Clythia – Fréjus
CATEGORIES:Conférence
END:VEVENT
END:VCALENDAR