| 查看: 356 | 回复: 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 ] |
回复此楼» 猜你喜欢
招收生物学/细胞生物学调剂
已经有4人回复
-
一志愿武汉理工，总分321，英一数二，求老师收留。
已经有5人回复
-
324求调剂
已经有8人回复
-
284求调剂
已经有12人回复
-
348求调剂
已经有3人回复
-
329求调剂
已经有7人回复
-
求调剂，一志愿 南京航空航天大学大学 ，080500材料科学与工程学硕
已经有4人回复
-
考研调剂
已经有9人回复
-
304材料求调剂
已经有4人回复
-
一志愿郑大085600，310分求调剂
已经有3人回复
2楼2009-07-17 23:25:26
3楼2009-08-25 15:44:48
