BEGIN:VCALENDAR VERSION:2.0 PRODID:icalendar-ruby CALSCALE:GREGORIAN METHOD:PUBLISH BEGIN:VTIMEZONE TZID:Europe/Paris BEGIN:DAYLIGHT DTSTART:20190331T030000 TZOFFSETFROM:+0100 TZOFFSETTO:+0200 RRULE:FREQ=YEARLY;BYDAY=-1SU;BYMONTH=3 TZNAME:CEST END:DAYLIGHT BEGIN:STANDARD DTSTART:20191027T020000 TZOFFSETFROM:+0200 TZOFFSETTO:+0100 RRULE:FREQ=YEARLY;BYDAY=-1SU;BYMONTH=10 TZNAME:CET END:STANDARD END:VTIMEZONE BEGIN:VEVENT DTSTAMP;TZID=Europe/Paris:20190517T173310 UID:19556@assets1.agendadulibre.org DTSTART;TZID=Europe/Paris:20190603T090000 DTEND;TZID=Europe/Paris:20190603T170000 DESCRIPTION:Dans le cadre du **Printemps de l’Innovation Open Source** (O SIS)\, initié par le Pôle Systematic et l'Irill\, le workshop **Frama-C &\; SPARK réunit sur une journée les utilisateurs académiques et ind ustriels des environnements Frama-C et SPARK.**\n\nPartage d’expérience s\, nouvelles perspectives\, les intervenants internationaux expliqueront et discuteront des approches innovantes en matière d’analyse logicielle .\n\nIl s'agit d'un événement gratuit\, présenté en anglais\, et co-or ganisé par CEA List\, AdaCore\, TrustInSoft et Inria.\n\nLe programme\, e n bref:\n\n* Une keynote sur la technologie Why3 utilisée dans SPARK and Frama-C\, suivie d’une conférence sur comment enseigner avec SPARK et F rama-C\n* 3 conférences sur le recours à la vérification formelle dans **l’industrie de la voiture autonome**\n* 3 conférences sur le recours à la vérification formelle aux **logiciels embarqués**\n* 3 conférence s sur le recours à la vérification formelle pour la **sécurité**\n\nD écouvrir le programme détaillé: [http://open-source-innovation-spring.o rg/2019/frama-c-and-spark-day-2019/][1]\n\n**A propos de Frama-C**\n\nFram a-C est une plateforme open source d'analyse statique de code C qui garant it l'absence totale de bugs.\n\n**A propos de SPARK**\n\nSPARK is a softwa re development technology specifically designed for engineering high-relia bility applications.\n\n**A propos de l'OSIS**\n\nLe Printemps de l’Inno vation Open Source est le rendez-vous de l’excellence scientifique et te chnologique du libre et de l’open source.\nInitié par le GTLL (Groupe T hématique Logiciel Libre du Pôle Systematic) et l’Irill (Initiative de Recherche et Innovation sur le Logiciel libre)\, l’OSIS vise à montrer le rayonnement international de projets issus de la recherche et de l’i nnovation française.\n\n\n\n[1]: http://open-source-innovation-spring.org /2019/frama-c-and-spark-day-2019/\n LOCATION:52 ter Rue des Vinaigriers\, Paris\, Île-de-France\, France ORGANIZER:mailto:Florence.BLAZY@systematic-paris-region.org SUMMARY:Open Source Innovation Spring : Frama-C & SPARK Day 2019 URL;VALUE=URI:http://open-source-innovation-spring.org/2019/frama-c-and-spa rk-day-2019/ X-ALT-DESC;FMTTYPE=text/html:
Dans le cadre du Printemps de l’I nnovation Open Source (OSIS)\, initié par le Pôle Systematic et l'Irill\, le workshop Frama-C &\; SPARK réunit sur une journ ée les utilisateurs académiques et industriels des environnements Frama- C et SPARK.
Partage d’expériences\, nouvelles perspectiv es\, les intervenants internationaux expliqueront et discuteront des appro ches innovantes en matière d’analyse logicielle.
Il s'agit d'un événement gratuit\, présenté en anglais\, et co-organisé par CEA List \, AdaCore\, TrustInSoft et Inria.
Le programme\, en bref :
Découvrir le programme détaillé: http://open-source-innovation-spring.org/2019/frama -c-and-spark-day-2019/
A propos de Frama-C
< p>Frama-C est une plateforme open source d'analyse statique de code C qui garantit l'absence totale de bugs.A propos de SPARK
SPARK is a software development technology specifically designed f or engineering high-reliability applications.
A propos de l' OSIS
Le Printemps de l’Innovation Open Source est le rend
ez-vous de l’excellence scientifique et technologique du libre et de l
’open source.
Initié par le GTLL (Groupe Thématique Logiciel Libr
e du Pôle Systematic) et l’Irill (Initiative de Recherche et Innovation
sur le Logiciel libre)\, l’OSIS vise à montrer le rayonnement internat
ional de projets issus de la recherche et de l’innovation française.