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.

TASE 2026 is the 20th 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), Guiyang ('24), Limassol ('25).

Submission Guidelines

We invite submissions of research papers on topics covering all theoretical aspects of software engineering, including, but not limited to, the following:

• Abstract interpretation 
• Algebraic and co-algebraic specifications 
• Component-based software engineering
• Cyber-physical systems
• Deductive verification
• Distributed and concurrent systems
• Domain Engineering
• Embedded and real-time systems
•  Feature-oriented software
• Formal verification and program semantics
• Integration of formal methods
• Language design
• Model checking and theorem proving
• Model-driven engineering
• Object-oriented systems
• Probability in software engineering
• Program analysis
• Program logics and calculi
• Requirements engineering
• Reverse engineering and software maintenance
• Run-time verification and monitoring
• Semantic web and web services
• Service-oriented and cloud computing
• Software processes and workflows
• Software architectures and design
• Software testing and quality assurance
• Software safety, security, and reliability
• Specification and verification
• Type systems and behavioural typing
• Tools exploiting theoretical results    

Submissions to the conference must not have been published or be concurrently considered for publication elsewhere. All submissions will be judged based on originality, contribution to the field, technical and presentation quality, and relevance to the conference. The proceedings will be published in the Springer Lecture Notes in Computer Science series. Papers should be written in English and should not exceed 16 pages (excluding bibliography) for long papers and 6 pages (excluding bibliography) for short papers in LNCS format. Submissions should be made through the TASE 2025 submission page, handled by the EasyChair conference management system.

The authors of a selected subset of accepted papers will be invited to submit extended versions of their papers to a special issue of a prominent journal.

Submission link: https://easychair.org/conferences?conf=tase2026

Committees

Program Committee

• Yamine Ait Ameur, IRIT/INPT-ENSEEIHT
• Jie An, Institute of Software, CAS
• Giuseppe De Giacomo, University of Oxford
• Hongfei Fu, Shanghai Jiaotong University
• Alberto Griggio, FBK
• Zhe Hou, Griffith University
• Daisuke Kimura, Toho University
• Guoqiang Li, Shanghai Jiaotong University
• Jianwen Li, East China Normal University
• Yeting Li, Institute of Information Engineering, CAS
• Wanwei Liu, National University of Defense Technology
• Yepang Liu, Southern University of Science and Technology
• Teng Long, China University of Geosciences
• Frederic Mallet, Universite Nice Sophia-Antipolis
• Bertrand Meyer, ETH Zurich
• Dominique Mery, Loria Université de Lorraine
• Yu Pei, The Hong Kong Polytechnic University
• Shengchao Qin, Teesside University
• Kristin Yvonne Rozier, Iowa State University
• Xiaomu Shi, Shenzhen University
• Stefano Tonetta, FBK
• Cheng Wen, Shenzhen University
• Lili Xiao, Donghua University
• Hui Xu, Fudan University
• Yedi Zhang, National University of Singapore
• Hengjun Zhao, Southwest University
• Lixiao Zheng, Huaqiao University
• Shufang Zhu, University of Liverpool

Organizing committee

• Steering committee
  • Keijiro Araki, Kumamoto College
  • Jifeng He, East China Normal University
  • Michael Hinchey, Lero
  • Shengchao Qin, Teesside University
  • Huibiao Zhu, East China Normal University
• General Chair 
  • Geguang Pu, East China Normal University
• Program Co-Chairs 
  • Giuseppe De Giacomo, University of Oxford
  • Jianwen Li, East China Normal University
• Local Organization chairs
  • Qin Li, East China Normal University
  • Lili Xiao, Donghua University

Contact

All questions about submissions should be emailed to Jianwen Li (jwli@sei.ecnu.edu.cn).