[2020.12.08] The physical conference venue is published.
[2020.11.18] The program of TASE 2020 is online!
[2020.11.10] Keynote Talks information has been updated!
[2020.10.11] The Hotel Reservation of TASE 2020 is open now!
[2020.09.10] The Registration of TASE 2020 is open now!
[2020.06.07] The postponed date of TASE 2020 has been determined to December 11-13, 2020!
The TASE steering committee have agreed together with the conference chairs to postpone the conference to the end of this year considering the current situation caused by COVID-19. The exact conference date will be announced later. Many thanks for the work and understanding of all participants. Wish you all safe and well!
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
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).