* [Caml-list] Frama-C Day 2016 | invitation
@ 2016-04-22 8:50 Zaynah Dargaye
0 siblings, 0 replies; only message in thread
From: Zaynah Dargaye @ 2016-04-22 8:50 UTC (permalink / raw)
To: caml-list
Dear all,
We are glad to invite you to the Frama-C Day on June 20th at la Maison
de la Recherche, Paris 7th; as part of the Open Source Innovation Spring.
In a society driven by information technologies and communication, the
safety and security of software have become crucial challenges. Frama-C
is a software analysis platform that enables the design, implementation,
and dissemination of formal verification solutions.
Speakers at the Frama-C Day will demonstrate and discuss innovative
approaches to software analysis, from both academic and industrial
points of views.
In addition to invited presentations, this will be a space for community
discussions, updates on new developments, and upcoming projects.
Details are available at http://frama-c.com/FCD16.html
Space is limited, register now!
--
The Frama-C Team
^ permalink raw reply [flat|nested] only message in thread
only message in thread, other threads:[~2016-04-22 8:50 UTC | newest]
Thread overview: (only message) (download: mbox.gz / follow: Atom feed)
-- links below jump to the message on this page --
2016-04-22 8:50 [Caml-list] Frama-C Day 2016 | invitation Zaynah Dargaye
This is a public inbox, see mirroring instructions
for how to clone and mirror all data and code used for this inbox