The 10th International Symposium on Theoretical Aspects of Software Engineering (TASE 2016) was successfully held at ECNU from July 17th to 19th, 2016. The conference was supported by the IEEE Computer Society. Prof. W.Eric Wong and prof. Huibiao Zhu served as the chairmen of the conference. Prof. Marcello Bonsangue and prof. Yuxin Deng served as the program committee members.

The TASE conference has a high international reputation. The conference proceedings are published by the IEEE Computer Society and are all indexed by EI. In the past few years, the conference was hosted in Beijing, Xi'an, Nanjing, China and Birmingham, UK.

This year's conference invited famous scholars from home and abroad, attacted many scholars from well-known research institutions and universities from different countries. It focused on various aspects of software engineering theory such as formal modeling, verification, testing, formal semantics, and program analysis.

The conference was hosted by Prof. Deng and prof. Marcello Bonsangue.  At the conference, Prof. Christel Baier of the Technical University of Dresden, Germany, gave a special report entitled "Cost-Utility Analysis in Probabilistic Models" to discuss the cost efficiency analysis of probability models.

Academician Jifeng HE, dean of the School of Computer Science and Software Engineering, gave a special report entitled "A New Roadmap on Linking Theories of Programming", discussing the test theory in the unified programming theory and proposing a new roadmap for link programming theory.

Prof. Ana Cavalcanti gave a special report entitled "A Suspension-trace Semantics for CSP" to discuss the semantics of the suspension trajectory of CSP at the conference. The research content aroused widespread interest from the participating experts and conducted in-depth exchanges.