--- layout: fc_discuss_archives title: Message 25 from Frama-C-discuss on October 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