| 查看: 392 | 回复: 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与中标关系的预测
已经有3人回复
-
filecode变化情况
已经有22人回复
-
十年后又回来了，论文投稿求助
已经有4人回复
-
听说今天filecode变了
已经有45人回复
-
大家散了吧，后缀研究没有意义，别浪费时间了，过好目前的每一天，不要焦虑
已经有7人回复
-
关于豆爷回答的JTJC与%2F数量
已经有6人回复
-
面上再次挂了，太难了，躺也躺不了，倦也卷不过，小学校之殇！
已经有31人回复
-
filecode
已经有19人回复
-
基金中了
已经有11人回复
-
固定端突然变了，今天
已经有8人回复
2楼2009-07-17 23:25:26
3楼2009-08-25 15:44:48
100