Welcome to TASE 2020

July 15-17, 2020 Hangzhou, China

The Science of Computer Programming Special Issue has been confirmed!

The submission deadline has been extended:

*Abstract submission (Preferred):

January 5, 2020    January 24, 2020

*Paper Submission:

January 12, 2020    January 31, 2020

The 14th Theoretical Aspects of Software Engineering Conference (TASE 2020) will be held in Hangzhou City, China on 15-17 July 2020. 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 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. TASE 2020 aims to provide a forum for people from academia and industry to communicate their latest results on innovative advances in software engineering. The proceedings of the TASE 2020 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 2020 is the 14th 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).


  Zhejiang SCI-Tech University