Overview

Welcome to TASE 2024

July 29 - August 1, 2024, Guiyang, China

News:
[2024-07-17] The proceedings of TASE 2024 is available here until August 24, 2024.
[2024-07-02] Conference schedule online.
[2024-05-02] Registration open!
[2024-04-12] Accepted papers online.
[2024-02-20] Extended deadlines
[2024-02-08] The special issue proposal of Journal Science of Computer Programming is accepted.
[2024-01-13] Two invited speakers (Prof. Nobuko Yoshida and Prof. Zhenjiang Hu) have been added here.
[2023-09-09] Website of TASE is open.

Conference Venue: Confucius Hotel (大成精舍酒店), Guiyang, China.

The 18th Theoretical Aspects of Software Engineering Conference (TASE 2024) will be held in Guiyang City, China on July 29 - August 1, 2024. TASE 2024 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.

TASE 2024 is the 18th 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), Shanghai ('21), Cluj-Napoca ('22), Bristol ('23).

The proceedings of the TASE 2024 symposium will be published in Lecture Notes in Computer Science (Springer). The authors of a selected subset of accepted papers will be invited to submit extended versions of their papers to a special issue in journal Science of Computer Programming (https://www.journals.elsevier.com/science-of-computer-programming).