The 20th Theoretical Aspects of Software Engineering Conference (TASE 2026) will be held in Shanghai City, China, on July 4 – 6, 2026. TASE 2026 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 event’s areas of interest encompass the following topics, without limitation: formal methods, formal verification and software engineering.