Frama-C & SPARK Day 2017

      Call for Participation

      Frama-C & SPARK Day 2017: Formal Analysis and Proof for Programs in C and Ada

      Paris, Tuesday, May 30th, 2017

      http://frama-c.com/FCSD17.html

We are pleased to invite you to attend Frama-C & SPARK Day 2017. This one-day workshop aims at gathering both academic and industrial users of the environments Frama-C and SPARK, for sharing experiences and discussing perspectives.

Location: Université Paris-Diderot, Amphithéatre Buffon, 15 rue Hélène Brion, Paris

The program, registration information and travel instructions are available from http://frama-c.com/FCSD17.html

Registration is free of charge but necessary.

The workshop takes place in the context of the event Open Source Innovation Spring 2017 initiated by thematic group `Logiciel libre' of the cluster Systematic-Paris-Region and IRILL (Initiative de Recherche et Innovation sur le Logiciel Libre). It is co-organized by CEA List, AdaCore, Inria joint lab ProofInUse, and Université Paris-Diderot.