--- layout: fc_discuss_archives title: Message 9 from Frama-C-discuss on December 2015 ---
[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]

[Frama-c-discuss] CfP 18th International Conference on Formal Engineering Methods (ICFEM 2016)



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>