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] ACSL Course in Berlin on October 21/22 2010

  • Subject: [Frama-c-discuss] ACSL Course in Berlin on October 21/22 2010
  • From: virgile.prevosto at cea.fr (Virgile Prevosto)
  • Date: Thu, 7 Oct 2010 19:58:45 +0200
Dear Frama-C users,

this mail is just to remind you that you have until tomorrow, Friday
8th to register for the training session on Frama-C and ACSL that will
take place in Berlin in two weeks. The course is organised by
Fraunhofer FIRST and CEA LIST and is hosted by Fraunhofer FIRST.

The course is expressly aimed at experienced C programmers who are
novices in the area of formal verification. 
The course will consist of lectures combined with exercises in Frama-C. 
There will also be several opportunities for plenary discussions.

Participants shall supply their own note-books to perform the
exercises. Having Frama-C pre-installed on it is recommended (Download:
http://frama-c.com/download.html) but not mandatory. 
A Live CD will be provided and is included in the symbolic course fee
of ? 100.

All necessary information is here:
http://www.first.fraunhofer.de/veranstaltung/Workshop_DEVICE_SOFT

Hoping to see you in Berlin,
-- 
E tutto per oggi, a la prossima volta.
Virgile Prevosto