| 查看: 336 | 回复: 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 ] |
回复此楼» 猜你喜欢
博士延得我，科研能力直往上蹿
已经有7人回复
-
退学或坚持读
已经有27人回复
-
面上基金申报没有其他的参与者成吗
已经有5人回复
-
有70后还继续奋斗在职场上的吗？
已经有5人回复
-
遇见不省心的家人很难过
已经有22人回复
-
多组分精馏求助
已经有6人回复
3楼2009-08-25 15:44:48