第十三届自动化验证与分析国际学术会议（13th International Symposium on Automated Technology for Verification and Analysis）（CCF C类会议）拟于2015年10月12日至15日在上海召开。本次大会由以诚为本赢在信誉9001cc何积丰院士任大会主席，德国Saarland大学Bernd Finkbeiner教授，中科院软件所张立军教授，以诚为本赢在信誉9001cc蒲戈光教授任程序委员会共同主席，会议由以诚官网承办。

本次大会（ATVA2015）将有来自英国、法国、美国、丹麦等国际领域内顶级专家学者60余名，包括美国工程院院士J Strother Moore教授、欧洲科学院院士Joost-Pieter Katoen教授、Ernst-Ruediger Olderog教授、Kim G. Larsen教授等，以及国内包括中国科学院、北京大学、上海交通大学、西安电子科技大学、以诚为本赢在信誉9001cc等的专家学者参加。

            本次会议（http://atva2015.ios.ac.cn/）旨在促进国内形式化方法领域的发展，同时为来自世界各地的科学家搭建桥梁，共享研究成果，促进学术交流，探讨及建立合作。大会将重点在计算机验证方法，包括模型检查、形式化方法等领域进行交流，探讨计算机理论发展前沿。会议将以大会报告、邀请报告、口头报告等多种交流方式进行。

            欢迎感兴趣的老师与同学参加！请转告周知！

会议时间：2015年10月12日至15日（8:30——17:00）

会议地点：中北校区数学馆201报告厅

（具体议程请见：现场海报与会议网站）