--- layout: fc_discuss_archives title: Message 1 from Frama-C-discuss on September 2010 ---
Dear Frama-C users, In the context of the DEVICE-SOFT project on deductive verification (http://www.first.fraunhofer.de/device_soft_en), Fraunhofer FIRST and CEA LIST are offering a two day introductory course on ACSL. The workshop will take place on October 21st/22nd 2010 in Berlin at 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. For more information on registration and how to get to the workshop venue please refer to http://www.first.fraunhofer.de/veranstaltung/Workshop_DEVICE_SOFT Best regards Jens Gerlach on behalf of the DEVICE-SOFT team.