| 查看: 402 | 回复: 2 | |||
| 当前主题已经存档。 | |||
forward39木虫 (小有名气)
|
[交流]
【2009-09-07】10th MPC 2010
|
||
|
Important Dates Submission of abstracts: 7 December 2009 Submission of full papers: 14 December 2009 Notification of authors: 20 February 2010 Camera-ready version: 20 March 2010 Topics Papers are solicited on mathematical methods and tools put to use in program construction. Topics of interest range from algorithmics to support for program construction in programming languages and systems. Some typical areas are type systems, program analysis and transformation, programming-language semantics, security and program logics. Theoretical contributions are welcome provided their relevance for program construction is clear. Reports on applications are welcome provided their mathematical basis is evident. For detail information ,click the following: http://mpc-amast2010.fsg.ulaval.ca/mpc/call_for_papers.html [ Last edited by 努力着 on 2009-7-19 at 22:10 ] |
回复此楼» 猜你喜欢
面上意见出来了
已经有16人回复
-
售SCI一区T0P文章，我:8.O55.1.O.54,科目全,可十急
已经有11人回复
-
有多少人是今天查系统知道结果的？
已经有18人回复
-
售SCI一区文章，我:8.O.55.1.O.54,科目齐全,可伽急
已经有3人回复
-
国自然面上复盘~欢迎讨论
已经有16人回复
-
售SCI一区文章，我:8.O.551.O.5.4,科目全,可伽急
已经有3人回复
-
售SCI一区T0P文章，我:8O.55.1.O.5.4,科目齐全,可+急
已经有4人回复
-
有没有仍没收到信息的
已经有6人回复
-
售SCI文章，我:8O5.5.1.O.54,科目齐全,可+急
已经有4人回复
-
售SCI文章，我:8O.5.5.1O.54,科目全,可十急
已经有7人回复
2楼2009-07-17 23:25:26
3楼2009-08-25 15:44:48
投票:
30