24小时热门版块排行榜

>论坛更新日志 (4455)
>基金申请 (991)
>文献求助 (328)
>论文投稿 (212)
>虫友互识 (174)
>论文道贺祈福 (136)
>硕博家园 (125)
>考博 (96)
>休闲灌水 (92)
>导师招生 (76)
>博后之家 (55)
>考研 (48)
>公派出国 (45)
>教师之家 (44)
>绿色求助(高悬赏) (43)
>找工作 (38)

返回列表

当前主题已经存档。

forward39

木虫 (小有名气)

应助: 6 (幼儿园)
金币: 3426.8
红花: 9
帖子: 278
在线: 100.6小时
虫号: 805679
注册: 2009-07-08
专业: 地下空间工程

[交流] 【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 ]

回复此楼