Frama-C-discuss mailing list archives

This page gathers the archives of the old Frama-C-discuss archives, that was hosted by Inria's gforge before its demise at the end of 2020. To search for mails newer than September 2020, please visit the page of the new mailing list on Renater.

[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]

[Frama-c-discuss] Frama-C & SPARK Day, May 30th, 2017 - Second call for participation

  • Subject: [Frama-c-discuss] Frama-C & SPARK Day, May 30th, 2017 - Second call for participation
  • From: nikolay.kosmatov at (Nikolai Kosmatov)
  • Date: Tue, 9 May 2017 18:35:03 +0200

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

Software Safety Laboratory, CEA LIST
Mail : CEA Saclay Nano-INNOV
91191 Gif-sur-Yvette Cedex, France
Phone: +33 (0)1 69 08 71 83
Fax:   +33 (0)1 69 08 83 95
Email: nikolai.kosmatov at