Frama-C Day 2015
A one-day workshop by the Frama-C community, gathering both academic and industrial users around shared experiences and new perspectives.
We're a proud contributor to the Open Source Innovation Spring, showcasing the achievements and international impact of Libre projects from a diversity of scientific, economic, and institutional actors.
- Event Informations:
The first Frama-C Day will take place on March 13th,2015 at CEA Saclay Nano-Innov, Palaiseau.
9:00 - 9:15: Welcome Coffee and Registration 9:15 - 9:30: Opening Comments (F. Kirchner, CEA LIST) 9:30 - 10:00: History of Frama-C (C. Marché , Inria) 10:00 - 10:30: Break 10:30 - 12:00: Feedback on Frama-C in the industrial world 12:00 - 13:30: Lunch 13:30 - 15:00: Applying Frama-C to emerging challenges 15:00 - 15:30: Break 15:30 - 17:00: Frama-C as a scientific experimentation platform 17:00 -17:15: Closing Remarks (F. Kirchner, CEA LIST) 17:15: Cocktail and discussions
Salle: amphi 33, bat N2