--- layout: fc_discuss_archives title: Message 25 from Frama-C-discuss on October 2010 ---
[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]

[Frama-c-discuss] ACSL Course in Berlin on October 21/22 2010



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