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

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

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.

Mardi, 30 Mai, 2017