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 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.