--- layout: fc_discuss_archives title: Message 10 from Frama-C-discuss on September 2017 ---
[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]

[Frama-c-discuss] Frama-C is on European Commission's Innovation Radar



Dear Frama-C users,

readers of the Frama-C blog may experience some feeling of déjà-vu (
http://blog.frama-c.com/index.php?post/2017/09/21/
Frama-C-appears-on-European-Commission-s-Innovation-Radar), but I have the
pleasure to announce that, owing to the FP7 Stance project, Frama-C has
been selected among the 10 best innovations stemming from an EU-funded
project, in the "Tech and Society" category. A public vote is now open to
select the 4 finalists: https://ec.europa.eu/futurium/
en/innovation-radar-prize/tech-for-society We are confident that you will
help us promoting the idea that our always-connected-to-everything future
is in dire need of powerful formal analyzers by casting your vote for
Frama-C and List Institute (
https://ec.europa.eu/futurium/en/tech-society/list-institute).

In the mean time, we would like to thank our partner from Stance, and, more
generally, all of you who have contributed to Frama-C's success in code
analysis.

Best regards,
-- 
E tutto per oggi, a la prossima volta
Virgile
-------------- section suivante --------------
Une pièce jointe HTML a été nettoyée...
URL: <http://lists.gforge.inria.fr/pipermail/frama-c-discuss/attachments/20170922/e60189ba/attachment.html>