| 查看: 198 | 回复: 0 | |||
| 当前主题已经存档。 | |||
wpq113
|
[交流]
【2009-05-01】2009 ATVA（LNCS)(中国澳门）
|
||
|
【2009.5.1】2009 ATVA（LNCS)(中国澳门） http://www.iist.unu.edu/atva09/index.html 7th International Symposium on Automated Technology for Verification and Analysis 14-16 October 2009, Macao SAR, China IMPORTANT DATES Paper submission: 1 May 2009 Notification of acceptance: 15 June 2009 Final copy for proceedings: 29 June 2009 Symposium: 14-16 October 2009 AIMS AND OBJECTIVES The purpose of ATVA is to promote research on theoretical and practical aspects of automated analysis, verification and synthesis in East Asia by providing a forum for interaction between the regional and the international research communities and industry in the field. The previous six events were held in Taiwan (2003-5), Beijing (2006), Tokyo (2007) and Seoul (2008). The proceedings of ATVA 2009 will be published by Springer as a volume in the LNCS series. SCOPE AND TOPICS The scope of interest is intentionally kept broad; it includes: Theory useful for providing designers with automated support for obtaining correct software or hardware systems, including both functional and non functional aspects, such as: theory of (timed and hybrid) automata, process calculi, Petri-nets, concurrency [ Last edited by 努力着 on 2009-4-17 at 02:36 ] |
回复此楼» 猜你喜欢
生命口C13面上会评时间
已经有11人回复
-
内心匮乏
已经有16人回复
-
生命口面上会评结束了吗大家有知道结果吗？现在还没有结果正常不？
已经有9人回复
-
投英文期刊如何查重
已经有6人回复
-
不要再数国自然申请书的 filecode 的分隔符个数了
已经有21人回复
-
伯胺上甲基求助
已经有7人回复
-
跨出版社商投稿
已经有5人回复
-
5个%2F，非固定段22个字母
已经有7人回复
-
生生命学部会评
已经有4人回复
-
H口，面上，时间戳7月7日。
已经有3人回复