--- layout: fc_discuss_archives title: Message 30 from Frama-C-discuss on December 2014 ---
It might be of interest to Frama-C developers & users that AdaCore and Inria are organizing a one day workshop around SMT solvers in Paris on February 2nd, to mark the start of our joint lab. Registration if free but mandatory to attend the event, see the page of the event for the program and registration: http://www.spark-2014.org/proofinuse/kickoff <http://www.spark-2014.org/proofinuse/kickoff> -- Yannick Moy, Senior Software Engineer, AdaCore -------------- next part -------------- An HTML attachment was scrubbed... URL: <http://lists.gforge.inria.fr/pipermail/frama-c-discuss/attachments/20141216/57c0e84e/attachment.html>