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: Formal Analysis and Proof for Programs in C and Ada, 30 May 2017 - Call for participation
- Subject: [Frama-c-discuss] Frama-C & SPARK Day: Formal Analysis and Proof for Programs in C and Ada, 30 May 2017 - Call for participation
- From: nikolay.kosmatov at cea.fr (Nikolai Kosmatov)
- Date: Tue, 18 Apr 2017 11:26:12 +0200
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' (http://www.open-source-innovation-spring.org/) 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 (http://www-list.cea.fr/en/), AdaCore (http://www.adacore.com/), Inria joint lab `ProofInUse' (http://www.spark-2014.org/proofinuse), and Université Paris-Diderot. -- Nikolai KOSMATOV, PhD Software Safety Laboratory, CEA LIST Mail : CEA Saclay Nano-INNOV Institut CARNOT CEA LIST DILS/LSL, PC 174 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 cea.fr
- Prev by Date: [Frama-c-discuss] ACSL by Example: contradiction in Count axiomatic
- Next by Date: [Frama-c-discuss] ACSL by Example: contradiction in Count axiomatic (Denis Efremov)
- Previous by thread: [Frama-c-discuss] ACSL by Example: contradiction in Count axiomatic
- Next by thread: [Frama-c-discuss] ACSL by Example: contradiction in Count axiomatic (Denis Efremov)
- Index(es):