| 查看: 158 | 回复: 1 | ||
| 当前主题已经存档。 | ||
[资源]
【2009-05-04】16th FM Symposium and 2nd World Congress Theory meets practice
|
||
|
********************************************************* * * * FM2009: 16th FM Symposium and 2nd World Congress * * >>> Theory meets practice <<< * * * * October 30 - November 7, 2009 * * Eindhoven, the Netherlands * * http://www.win.tue.nl/fm2009 * * * * CALL FOR PAPERS * * * ********************************************************* * * * ** NEWS ** * * * * >> 2nd Special Issue: FORMAL METHODS IN SYSTEM DESIGN * * Authors of selected papers will be invited to * * submit a journal version for a special anniversary * * issue of Springer's FMSD. * * * * >> Workshops: 7 satellite workshops confirmed. * * - FMIS: Formal Methods for Interactive Systems * * - VDM and Overture * * - CompMod: Computational Models for Cell Processes * * - FAVO: Formal Aspects of Virtual Organizations * * - FMA: Formal Methods for Aeronautics * * - FOPARA: Foundational and Practical Aspects of * * Resource Analysis * * - Formal Aspects of Probabilistic Systems * * * ********************************************************* * * * FACJ Special Issue - Authors of selected papers * * will be invited to submit a journal version for a * * special anniversary issue of Springer's Formal * * Aspects of Computing. * * * * Prize for best paper - awarded by Springer. * * * * Worldwide PC- Including members from 46 countries. * * * * LNCS proceedings - Springer has confirmed that the * * proceedings will be published in their Lecture * * Notes in Computer Science series. * * * * Special tracks - on tools and industrial * * applications. * * * ********************************************************* * * * INVITED SPEAKERS * * Wan Fokkink, The Netherlands * * Carroll Morgan, Australia * * Colin O'Halloran, UK * * Sriram Rajamani, India * * Jeannette Wing, USA * * * ********************************************************* * ** IMPORTANT DATES ** * * * * May 4 - Submission deadline (firm) * * [submission site to open soon] * * July 6 - Notification of acceptance * * August 10 - Camera-ready version due * * * ********************************************************* FM2009 is part of: ********************************************************* * * * +============================================+ * * | | * * | ** FMweek ** | * * | | * * +============================================+ * * | CPA | FACS | FAST | * * +--------------------------------------------+ * * | FM2009 | FMCO | FMICS | * * +--------------------------------------------+ * * | PDMC | REFINE | TESTCOM/FATES | * * +--------------------------------------------+ * * | http://www.win.tue.nl/fmweek | * * +============================================+ * * * ********************************************************* |
回复此楼» 猜你喜欢
售SCI-T0P文章，我:8O.5.5.1.O.54,科目齐全,可+急
已经有6人回复
-
售SCI一区文章，我:8.O.55.1.O.54,科目齐全,可伽急
已经有6人回复
-
有多少人是今天查系统知道结果的？
已经有18人回复
-
2026年叶企孙基金
已经有7人回复
-
我就是申请一个面上项目而已，这评审意见是按照杰青的条件评的吧？
已经有6人回复
-
售SCI一区文章，我:8.O.55.1.O.54,科目齐全,可伽急
已经有5人回复
-
售SCI文章，我:8O.5.5.1O.54,科目全,可十急
已经有4人回复
-
国自然评审意见
已经有15人回复
-
为什么资助数各大高校都创新高，自己申请怎么就这么难
已经有13人回复
-
国自然面上复盘~欢迎讨论
已经有14人回复
,不太明白呢 2楼2009-02-22 12:36:45
投票:
10