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 tutorials

  • Subject: [Frama-c-discuss] Frama-C tutorials
  • From: virgile.prevosto at m4x.org (Virgile Prevosto)
  • Date: Tue, 7 May 2013 12:30:37 +0200
Dear Frama-C users,

it is my pleasure to announce that there will be two tutorials in June
over Frama-C's deductive verification plug-ins (namely Jessie and WP)
and ACSL.

The first one is located with iFM (integrated Formal Methods) and will
take place on the afternoon of June, 11th (lunch is included in the
inscription to the tutorial). More info is available at
http://www.it.abo.fi/iFM2013/

The second one will take place one week later (June, 18th) and is
located with TAP (Tests and Proofs), part of the STAF conferences
(http://stafconferences.info/).

We hope to see you at one of these venues.

--
E tutto per oggi, a la prossima volta
Virgile