--- layout: fc_discuss_archives title: Message 9 from Frama-C-discuss on December 2015 ---
Dear Frama-C users, please consider submitting articles to the 18th International Conference on Formal Engineering Methods (ICFEM 2016) in Tokyo, Japan: 14 ~ 18 November 2016 Important Dates: Abstract Submissions Due: 22 April 2016 Full Paper Submissions Due: 30 April 2016 Workshop/Tutorial Proposals Due: 25 March 2016 Acceptance / Rejection Notification: 18 June 2016 Camera-ready Papers Due: 15 July 2016 More informations can be found under: http://icfem2016.xyz/index.html Regards Jens Gerlach -------------- next part -------------- An HTML attachment was scrubbed... URL: <http://lists.gforge.inria.fr/pipermail/frama-c-discuss/attachments/20151222/be1252ea/attachment.html> -------------- next part -------------- A non-text attachment was scrubbed... Name: page1image5424.png Type: image/png Size: 109 bytes Desc: page1image5424.png URL: <http://lists.gforge.inria.fr/pipermail/frama-c-discuss/attachments/20151222/be1252ea/attachment.png>