The 13th International Symposium on Automated Technology for Verification and Analysis, hosted by East China Normal University, was held in Shanghai from October 11th to 15th, 2015. The conference was chaired by Academician Jifeng He, Professor Bernd Finkbeiner, Professor Lijun Zhang and Professor Geguang Pu.

The conference had more than 60 top experts and scholars from the UK, France, the United States,  Denmark and other countries. It was divided into seven sections: SMT, program verification, probability system, tools, test cases and auto-generation of counter-examples, verification, synthesis, and hybrid systems, conducted in various approaches.

With the invitation of the conference, Professor J Strother Moore gave a special report on the establishment of computer hardware and software into a data model that could be run in a specific data environment through Boyer-Moore theorem and proof of example. 

Professor Dino Distefano was an expert in international software verification. At the conference, he gave an invitation report entitled "Moving fast with software verification", focusing on the Facebook software development cycle and the integration process of the analysis tool.

Professor Joost-Pieter Katoen reported on the probabilistic program related to loops, analysis of parameterization schemes and termination program probabilities.

Martin Fränzle, professor of mixed systems research at the University of Oldenburg, discussed the safety and reliability of the Internet of Things and the coverage and limitations of some automated analysis techniques in this area.

The conference focused on computer verification methods, including model checking and formal methods, and discussed the frontiers of computer theory development, aiming at promoting the development of formal methods and building a bridge for research and communication.