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