欢迎访问19世纪的网站第个验证和分析自动化技术国际研讨会(ATVA 2021)
ATVA系列专题讨论会旨在通过提供区域和国际研究界以及该领域产业之间互动的论坛,促进自动化分析、验证和合成的理论和实践方面的研究。之前的18场比赛分别在台北(2003-2005)、北京(2006)、东京(2007)、首尔(2008)、澳门(2009)、新加坡(2010)、台北(2011)、蒂鲁瓦南塔普拉姆(2012)、河内(2013)、悉尼(2014)、,上海(2015),千叶(2016),普纳(2017),洛杉矶(2018),台北(2019)和河内/在线(2020年)。
会议记录将在《施普林格报》上发表计算机科学(LNCS)课堂讲稿系列,与往年相同。您可以找到以前的程序在这里。
您可以下载ATVA 2021的A4海报在这里。
重要性通知:ATVA 2021会议的精选论文将被邀请在系统和软件工程创新——NASA杂志(ISSE)ISSE特刊的重要日期如下。
提交文件:2021年10月15日2021年10月23日
通知:2021年11月15日2021年12月15日
摄像头就绪:2021年12月20日2022年1月20日
出版物:待定
请在上提交ISSE网站并在提交过程中选择ATVA 2021特刊。
将主办ATVA 2021联机。有关更多信息,请参阅以下部分。
主讲人
|
![](img/tony-round.png) |
![](img/moshi-round.png) |
![](img/andrew-round.png) |
![](img/somesh-jha-round.png) |
|
托尼·霍尔爵士 |
Moshe Vardi教授 |
安德鲁·姚教授 |
Somesh Jha教授 |
观看ATVA 2021演示文稿 在这里。