Welcome to TASE 2021

August 25-27, 2021, Shanghai, China

[2021-08-09] Due to the affect by the new Delta variance of the coronavirus, unfortunately we have to decide to run TASE 2021 completely online. The online program is available here.
[2021-05-28] Registration is open. Please click here.
[2021-03-10] Special issue has been approved by SCP.
[2021-03-07] Full paper submission due is extended to March 21, 2021 (AoE).
[2021-03-01] Full paper submission is allowable even if abstract due is missed.
[2021-02-01] Agreement estbalished with IEEE to publish conference proceedings.
[2021-01-25] Prof. Hai Jin accepted invitation to give a keynote.
[2021-01-15] Prof. Kokichi Futatsugi accepted invitation to give a keynote.
[2020-12-14] Prof. Moshe Vardi accepted invitation to give a keynote.
[2020-08-01] Website of TASE is open.

The 15th Theoretical Aspects of Software Engineering Conference (TASE 2021) will be held in Shanghai, China on August 25-27, 2021. TASE 2021 aims to provide a forum for people from academia and industry to communicate their latest results on innovative advances in software engineering. Modern society is increasingly dependent on software systems that are becoming larger and more complex. This poses new challenges to the various aspects of software engineering, for instance, software dependability in trusted computing, interaction with physical components in cyber physical systems, quality assurance in AI-embedded systems, distribution in cloud computing applications, security and privacy in general. Hence, new concepts and methodologies are required to enhance the development of software engineering from theoretical aspects.

The proceedings of the TASE 2021 symposium are planned to be published by the IEEE Computer Society Press. The authors of a selected subset of accepted papers will be invited to submit extended versions of their papers to a special issue of the Science of Computer Programs journal.

TASE 2021 is the 15th in the TASE series. The past TASE symposia were successfully held in Shanghai ('07), Nanjing ('08), Tianjin ('09), Taipei ('10), Xi'an ('11), Beijing ('12), Birmingham ('13), Changsha('14), Nanjing('15), Shanghai('16), Nice('17), Guangzhou('18), Guilin('19), Hangzhou (’20).