About us

TASE 2026 aims to provide a forum for people from academia and industry to communicate their latest results on innovative advances in software engineering, addressing challenges in software dependability, cyber-physical systems, AI-embedded systems, and cloud computing.

Important Dates

Sun, Mar 1, 2026
Abstract Submission
Sat, Mar 7, 2026
Paper Submission
Wed, Apr 1, 2026
Author Notification
Fri, May 1, 2026
Camera-ready Versions

Call For Paper

Software Engineering
Component-Based Software Engineering
Requirements Engineering
Software processes and workflows
Software architectures and design
Formal methods
Formal verification
Abstract interpretation
Algebraic and co-algebraic specifications
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
Reverse engineering and software maintenance
Run-time verification and monitoring
Semantic web and web services
Service-oriented and cloud computing
Software testing and quality assurance
Software safety, security, and reliability
Specification and verification
Type systems and behavioural typing
Tools exploiting theoretical results

We invite submissions of research papers on topics covering all theoretical aspects of software engineering. 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.

Committee

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

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

General Chair

East China Normal University

Program Co-Chairs

Giuseppe De Giacomo

Program Co-Chair

University of Oxford

Jianwen Li

Program Co-Chair

East China Normal University

Local Organization chairs

Qin Li

Local Organization chair

East China Normal University

Lili Xiao

Local Organization chair

Donghua University

Speakers

Alessandro Cimatti

FBK

Alessandro Abate

University of Oxford