conferences.computer.science

All conferences / TASE / 2026

TASE 2026

20th International Symposium on Theoretical Aspects of Software Engineering

Held4–6 Jul 2026 WhereShanghai 🇨🇳 RankCORE unranked Website tase2026.github.io/ ↗
Closed

Submission closed on 7 Mar 2026, after an extension of 14 days.

Submission timeline

  • 1 Mar 2026 Abstract registration AoE 15 Feb 2026 → 1 Mar 2026 +14 days
  • 7 Mar 2026 Full paper AoE 21 Feb 2026 → 7 Mar 2026 +14 days
  • 1 Apr 2026 Notification
  • 4 Jul 2026 Conference opens

What to submit

Format
16 pages LNCS + bibliography (long) / 6 pages (short)
Proceedings
Springer LNCS — Paywalled, for-profit
Journal
The authors of selected papers will be invited after the symposium to submit an extended version to a special issue at Science of Computer Programming (SCP)

Ranked "national Chinese conference" by CORE (since 2020). Often in China.

Call for papers

The call, as published

Reproduced verbatim from the organisers’ announcement, after a deadline extension. The conference’s own page is at tase2026.github.io/. 

*TASE 2026*

*20th International Symposium onTheoretical Aspects of Software
EngineeringShanghai, China, 4-6 July 2026https://tase2026.github.io/
<https://tase2026.github.io/>*

*Objectives and scope*
    Now in its 20th edition, TASE is an international symposium
that aims to bring together researchers and developers from
academia and industry with interests in the theoretical aspects
of software engineering. 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

*Submission*
    Submissions to the conference must not have been published
or be concurrently considered for publication elsewhere. Papers
should be written in English and should not exceed 16 pages
(excluding the bibliography) in LNCS format.

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

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

*Important dates*
    [Revised] Abstract submission: *1 March 2026*
    [Revised] Paper Submission: *7 March 2026*
    Author Notification: 1 April 2026
    Camera Ready: 1 May 2026
    TASE2026 Conference: 4-6 July 2026

Steering committee
Keijiro Araki, Kumamoto College
Jifeng He, East China Normal University
Michael Hinchey, Lero
Shengchao Qin, Xidian 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

Publicity Chairs
Jonathan Bowen, London South Bank University
Lili Xiao, Donghua University

Keynote speakers
    TBA

Programme 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, Université Nice Sophia-Antipolis
Bertrand Meyer, ETH Zurich
Dominique Mery, Loria Université de Lorraine
Yu Pei, The Hong Kong Polytechnic University
Shengchao Qin, Xidian University
Kristin Yvonne Rozier, Iowa State University
Xiaomu Shi, Shenzhen University
Stefano Tonetta, FBK
Cheng Wen, Xidian 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

--
*Prof. Jonathan Bowen *FBCS FRSA
Emeritus Professor of Computing, London South Bank University, UK
Adjunct Professor, RISE, Southwest University, Chongqing, China
Chairman, Museophile Limited, Oxford, UK

Data entirely hand-typed, one call for papers at a time. There is no scraper behind any of this: I read the announcement and type the dates in, in the gaps between other work, and with the hope it is useful to others. Organisers then move deadlines without telling anyone, calls get edited in place, and now and then the typing is simply wrong. Treat this as a well-meaning notebook rather than an authority, and check the conference’s own page before you submit anything you care about.