Frama-C Days 2024 | June, 13 and 14
Maison de la Radio et de la Musique
Frama-C Team - 15th Apr 2024 After 5 years of absence, the Frama-C Days are back!
On June 13 and 14, will be held the Frama-C Days at Maison de la Radio et de la Musique in Paris.
What to expect? Many exciting interventions from both academic and industrial users of the Frama-C environment, for sharing experiences and discussing perspectives: talks by the Frama-C community, talks about the current and future developments by the Frama-C team, posters from junior contributors and demos of new or experimental features.
The complete program is available through this link.
Save the date and stay tuned! Registration to follow shortly.