| 查看: 394 | 回复: 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 ] |
回复此楼» 猜你喜欢
FileCode能看出啥？
已经有16人回复
-
帮忙看看fileCode
已经有9人回复
-
小木虫上这么多卖论文的，真有人买论文么？感觉没必要啊
已经有4人回复
-
为什么网上很多人说本周 12号出结果
已经有4人回复
-
基金中了
已经有15人回复
-
filecode
已经有8人回复
-
确定了，国自然21号放榜
已经有7人回复
-
综述论文作为代表作会不会影响评审专家的印象分？
已经有11人回复
-
关于代码变化问题，想知道的进来
已经有24人回复
-
静等基金结果
已经有16人回复
3楼2009-08-25 15:44:48
