<div style="line-height:1.7;color:#000000;font-size:12px;font-family:Arial"><div style="line-height: 1.7;"><div id="isForwardContent" style=""><div style="line-height: 1.7;"><div id="isForwardContent" style=""><div style="line-height: 1.7;"><div style="color: rgb(0, 0, 0); font-family: Arial; font-size: 12px;"><span style="line-height: 1em; font-size: 18px;">TASE 2024: 18th International Symposium on Theoretical Aspects of Software Engineering</span></div><div style=""><span style="line-height: 1em; font-size: 18px;"><div style="">July 29 - August 1,  Guiyang City, China</div><div style="">https://tase2024.github.io/</div><div style=""><br></div><div style="">***Submission Deadline Extended</div><div style="">Abstract Submission (mandatory):  February 27, 2024 (extended)</div><div style="">Paper Submission: March 5, 2024 (extended)</div><div style=""><br></div></span></div><p style="color: rgb(0, 0, 0); font-family: Arial; font-size: 12px;"><span style="line-height: 1em; font-size: 18px;">Overview</span></p><p style="color: rgb(0, 0, 0); font-family: Arial; font-size: 12px;"><span style="line-height: 1em; font-size: 18px;">---------------------------------------------------------------------------------------------</span></p><p style="color: rgb(0, 0, 0); font-family: Arial; font-size: 12px;"><span style="line-height: 1em; font-size: 18px;">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 bring together researchers and developers from academia and industry with interest in the theoretical aspects of software engineering. Modern society is increasingly dependent on software systems that are becoming larger and more complex. This poses new challenges to current software engineering methodologies that need to be enhanced using modern results from theoretical computer science. We invite submission of research papers on topics covering all theoretical aspects of software engineering, including those describing applications of theoretical computer science in industrial applications and software engineering methodologies.</span></p><p style="color: rgb(0, 0, 0); font-family: Arial; font-size: 12px;"><br></p><p style="color: rgb(0, 0, 0); font-family: Arial; font-size: 12px;"><span style="line-height: 1em; font-size: 18px;">Conference website: https://tase2024.github.io/</span></p><p style="color: rgb(0, 0, 0); font-family: Arial; font-size: 12px;"><span style="line-height: 1em; font-size: 18px;"> </span></p><p style="color: rgb(0, 0, 0); font-family: Arial; font-size: 12px;"><span style="line-height: 1em; font-size: 18px;">Topics of Interest</span></p><p style="color: rgb(0, 0, 0); font-family: Arial; font-size: 12px;"><span style="line-height: 1em; font-size: 18px;">---------------------------------------------------------------------------------------------</span></p><div style="color: rgb(0, 0, 0); font-family: Arial; font-size: 12px;"><span style="line-height: 1em; font-size: 18px;">Authors are invited to submit high quality technical papers describing original and unpublished work in all theoretical aspects of software engineering. Topics of interest include, but are not limited to:</span></div><p style="color: rgb(0, 0, 0); font-family: Arial; font-size: 12px;"><span style="line-height: 1em; font-size: 18px;">* Abstract interpretation</span></p><p style="color: rgb(0, 0, 0); font-family: Arial; font-size: 12px;"><span style="line-height: 1em; font-size: 18px;">* Algebraic and co-algebraic specifications</span></p><p style="color: rgb(0, 0, 0); font-family: Arial; font-size: 12px;"><span style="line-height: 1em; font-size: 18px;">* AI for formal methods</span></p><p style="color: rgb(0, 0, 0); font-family: Arial; font-size: 12px;"><span style="line-height: 1em; font-size: 18px;">* Component-based software engineering</span></p><p style="color: rgb(0, 0, 0); font-family: Arial; font-size: 12px;"><span style="line-height: 1em; font-size: 18px;">* Cyber-physical systems</span></p><p style="color: rgb(0, 0, 0); font-family: Arial; font-size: 12px;"><span style="line-height: 1em; font-size: 18px;">* Deductive verification</span></p><p style="color: rgb(0, 0, 0); font-family: Arial; font-size: 12px;"><span style="line-height: 1em; font-size: 18px;">* Distributed and concurrent systems</span></p><p style="color: rgb(0, 0, 0); font-family: Arial; font-size: 12px;"><span style="line-height: 1em; font-size: 18px;">* Domain Engineering</span></p><p style="color: rgb(0, 0, 0); font-family: Arial; font-size: 12px;"><span style="line-height: 1em; font-size: 18px;">* Embedded and real-time systems</span></p><p style="color: rgb(0, 0, 0); font-family: Arial; font-size: 12px;"><span style="line-height: 1em; font-size: 18px;">* Feature-oriented software</span></p><p style="color: rgb(0, 0, 0); font-family: Arial; font-size: 12px;"><span style="line-height: 1em; font-size: 18px;">* Formal methods, verification and testing for AI systems</span></p><p style="color: rgb(0, 0, 0); font-family: Arial; font-size: 12px;"><span style="line-height: 1em; font-size: 18px;">* Run-time verification and monitoring</span></p><p style="color: rgb(0, 0, 0); font-family: Arial; font-size: 12px;"><span style="line-height: 1em; font-size: 18px;">* Semantic web and web services</span></p><p style="color: rgb(0, 0, 0); font-family: Arial; font-size: 12px;"><span style="line-height: 1em; font-size: 18px;">* Service-oriented and cloud computing</span></p><p style="color: rgb(0, 0, 0); font-family: Arial; font-size: 12px;"><span style="line-height: 1em; font-size: 18px;">* Software processes and workflows</span></p><p style="color: rgb(0, 0, 0); font-family: Arial; font-size: 12px;"><span style="line-height: 1em; font-size: 18px;">* Software architectures and design</span></p><p style="color: rgb(0, 0, 0); font-family: Arial; font-size: 12px;"><span style="line-height: 1em; font-size: 18px;">* Formal verification and program semantics</span></p><p style="color: rgb(0, 0, 0); font-family: Arial; font-size: 12px;"><span style="line-height: 1em; font-size: 18px;">* Fundamental theories and techniques for trustworthy AI systems</span></p><p style="color: rgb(0, 0, 0); font-family: Arial; font-size: 12px;"><span style="line-height: 1em; font-size: 18px;">* Integration of formal methods</span></p><p style="color: rgb(0, 0, 0); font-family: Arial; font-size: 12px;"><span style="line-height: 1em; font-size: 18px;">* Language design</span></p><p style="color: rgb(0, 0, 0); font-family: Arial; font-size: 12px;"><span style="line-height: 1em; font-size: 18px;">* Model checking and theorem proving</span></p><p style="color: rgb(0, 0, 0); font-family: Arial; font-size: 12px;"><span style="line-height: 1em; font-size: 18px;">* Model-driven engineering</span></p><p style="color: rgb(0, 0, 0); font-family: Arial; font-size: 12px;"><span style="line-height: 1em; font-size: 18px;">* Object-oriented systems</span></p><p style="color: rgb(0, 0, 0); font-family: Arial; font-size: 12px;"><span style="line-height: 1em; font-size: 18px;">* Probability in software engineering</span></p><p style="color: rgb(0, 0, 0); font-family: Arial; font-size: 12px;"><span style="line-height: 1em; font-size: 18px;">* Program analysis</span></p><p style="color: rgb(0, 0, 0); font-family: Arial; font-size: 12px;"><span style="line-height: 1em; font-size: 18px;">* Program logics and calculi</span></p><p style="color: rgb(0, 0, 0); font-family: Arial; font-size: 12px;"><span style="line-height: 1em; font-size: 18px;">* Requirements engineering</span></p><p style="color: rgb(0, 0, 0); font-family: Arial; font-size: 12px;"><span style="line-height: 1em; font-size: 18px;">* Reverse engineering and software maintenance</span></p><p style="color: rgb(0, 0, 0); font-family: Arial; font-size: 12px;"><span style="line-height: 1em; font-size: 18px;">* Software testing and quality assurance</span></p><p style="color: rgb(0, 0, 0); font-family: Arial; font-size: 12px;"><span style="line-height: 1em; font-size: 18px;">* Software safety, security and reliability</span></p><p style="color: rgb(0, 0, 0); font-family: Arial; font-size: 12px;"><span style="line-height: 1em; font-size: 18px;">* Specification and verification</span></p><p style="color: rgb(0, 0, 0); font-family: Arial; font-size: 12px;"><span style="line-height: 1em; font-size: 18px;">* Type systems and behavioral typing</span></p><p style="color: rgb(0, 0, 0); font-family: Arial; font-size: 12px;"><span style="line-height: 1em; font-size: 18px;">* Tools exploiting theoretical results</span></p><p style="color: rgb(0, 0, 0); font-family: Arial; font-size: 12px;"><br></p><p style="color: rgb(0, 0, 0); font-family: Arial; font-size: 12px;"><span style="line-height: 1em; font-size: 18px;">Important Dates</span></p><p style="color: rgb(0, 0, 0); font-family: Arial; font-size: 12px;"><span style="line-height: 1em; font-size: 18px;">---------------------------------------------------------------------------------------------</span></p><p style="color: rgb(0, 0, 0); font-family: Arial; font-size: 12px;"><span style="line-height: 1em; font-size: 18px;">Abstract Submission </span><span style="font-size: 18px;">(mandatory): </span><span style="font-size: 18px;">February 27, 2024 (extended)</span></p><p style="color: rgb(0, 0, 0); font-family: Arial; font-size: 12px;"><span style="line-height: 1em; font-size: 18px;">Paper Submission: March 5, 2024 (extended)</span></p><p style="color: rgb(0, 0, 0); font-family: Arial; font-size: 12px;"><span style="line-height: 1em; font-size: 18px;">Workshop Proposal Submission: March 10, 2024</span></p><p style="color: rgb(0, 0, 0); font-family: Arial; font-size: 12px;"><span style="line-height: 1em; font-size: 18px;">Workshop Proposal Notification: March 21, 2024</span></p><p style="color: rgb(0, 0, 0); font-family: Arial; font-size: 12px;"><span style="line-height: 1em; font-size: 18px;">Author Notification: April 10, 2024</span></p><p style="color: rgb(0, 0, 0); font-family: Arial; font-size: 12px;"><span style="line-height: 1em; font-size: 18px;">Camera-ready Versions: May 10, 2024</span></p><p style="color: rgb(0, 0, 0); font-family: Arial; font-size: 12px;"><span style="line-height: 1em; font-size: 18px;">Conference: July 29 - August 1, 2024</span></p><p style="color: rgb(0, 0, 0); font-family: Arial; font-size: 12px;"><br></p><p style="color: rgb(0, 0, 0); font-family: Arial; font-size: 12px;"><span style="line-height: 1em; font-size: 18px;">Submission</span></p><p style="color: rgb(0, 0, 0); font-family: Arial; font-size: 12px;"><span style="line-height: 1em; font-size: 18px;">---------------------------------------------------------------------------------------------</span></p><p style="color: rgb(0, 0, 0); font-family: Arial; font-size: 12px;"><span style="line-height: 1em; font-size: 18px;">Submissions to the conference must not have been published or be concurrently considered for publication elsewhere. All submissions will be judged on the basis of 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 2024 submission page, handled by the EasyChair conference management system.</span></p><p style="color: rgb(0, 0, 0); font-family: Arial; font-size: 12px;"><br></p><div style="color: rgb(0, 0, 0); font-family: Arial; font-size: 12px;"><span style="line-height: 1em; font-size: 18px;">Submission link:   <a href="https://easychair.org/conferences/?conf=tase2024." _src="https://easychair.org/conferences/?conf=tase2024.">https://easychair.org/conferences/?conf=tase2024.</a></span></div><div style="color: rgb(0, 0, 0); font-family: Arial; font-size: 12px;"><br></div><p style="color: rgb(0, 0, 0); font-family: Arial; font-size: 12px;"><span style="line-height: 1em; font-size: 18px;">Keynote Speakers</span></p><p style="color: rgb(0, 0, 0); font-family: Arial; font-size: 12px;"><span style="line-height: 1em; font-size: 18px;">---------------------------------------------------------------------------------------------</span></p><p style="color: rgb(0, 0, 0); font-family: Arial; font-size: 12px;"><span style="line-height: 1em; font-size: 18px;">Nobuko Yoshida (University of Oxford)</span></p><div style="color: rgb(0, 0, 0); font-family: Arial; font-size: 12px;"><span style="line-height: 1em; font-size: 18px;">Zhenjiang Hu (Peking University)</span></div><div style="color: rgb(0, 0, 0); font-family: Arial; font-size: 12px;"><span style="line-height: 1em; font-size: 18px;"><br></span></div><p style="color: rgb(0, 0, 0); font-family: Arial; font-size: 12px;"><span style="line-height: 1em; font-size: 18px;">Committees</span></p><p style="color: rgb(0, 0, 0); font-family: Arial; font-size: 12px;"><span style="line-height: 1em; font-size: 18px;">---------------------------------------------------------------------------------------------</span></p><p style="color: rgb(0, 0, 0); font-family: Arial; font-size: 12px;"><span style="line-height: 1em; font-size: 18px;">* General Chairs:</span></p><p style="color: rgb(0, 0, 0); font-family: Arial; font-size: 12px;"><span style="line-height: 1em; font-size: 18px;">Yongbin Qin (Guizhou University)</span></p><div style="color: rgb(0, 0, 0); font-family: Arial; font-size: 12px;"><span style="line-height: 1em; font-size: 18px;">Huibiao Zhu (East China Normal University)</span></div><div style="color: rgb(0, 0, 0); font-family: Arial; font-size: 12px;"><span style="line-height: 1em; font-size: 18px;"><br></span></div><p style="color: rgb(0, 0, 0); font-family: Arial; font-size: 12px;"><span style="line-height: 1em; font-size: 18px;">* Program Co-Chairs:</span></p><p style="color: rgb(0, 0, 0); font-family: Arial; font-size: 12px;"><span style="line-height: 1em; font-size: 18px;">Wei-Ngan Chin (National University of Singapore)</span></p><div style="color: rgb(0, 0, 0); font-family: Arial; font-size: 12px;"><span style="line-height: 1em; font-size: 18px;">Zhiwu Xu (Shenzhen University)</span></div><div style="color: rgb(0, 0, 0); font-family: Arial; font-size: 12px;"><span style="line-height: 1em; font-size: 18px;"><br></span></div><p style="color: rgb(0, 0, 0); font-family: Arial; font-size: 12px;"><span style="line-height: 1em; font-size: 18px;">* Workshop Chair:</span></p><p style="color: rgb(0, 0, 0); font-family: Arial; font-size: 12px;"><span style="line-height: 1em; font-size: 18px;">Qin Li (East China Normal University)</span></p><p style="color: rgb(0, 0, 0); font-family: Arial; font-size: 12px;"><br></p><p style="color: rgb(0, 0, 0); font-family: Arial; font-size: 12px;"><span style="line-height: 1em; font-size: 18px;">* Program Committee:</span></p><p style="color: rgb(0, 0, 0); font-family: Arial; font-size: 12px;"><span style="line-height: 1em; font-size: 18px;">Yamine Ait Ameur (IRIT/INPT-ENSEEIHT)</span></p><p style="color: rgb(0, 0, 0); font-family: Arial; font-size: 12px;"><span style="line-height: 1em; font-size: 18px;">Guangdong Bai (The University of Queensland)</span></p><p style="color: rgb(0, 0, 0); font-family: Arial; font-size: 12px;"><span style="line-height: 1em; font-size: 18px;">Yuqi Chen (ShanghaiTech University)</span></p><p style="color: rgb(0, 0, 0); font-family: Arial; font-size: 12px;"><span style="line-height: 1em; font-size: 18px;">Liqian Chen (National University of Defense Technology)</span></p><p style="color: rgb(0, 0, 0); font-family: Arial; font-size: 12px;"><span style="line-height: 1em; font-size: 18px;">Wei-Ngan Chin (National University of Singapore)</span></p><p style="color: rgb(0, 0, 0); font-family: Arial; font-size: 12px;"><span style="line-height: 1em; font-size: 18px;">Zhe Hou (Griffith University)</span></p><p style="color: rgb(0, 0, 0); font-family: Arial; font-size: 12px;"><span style="line-height: 1em; font-size: 18px;">Daisuke Kimura (Toho University)</span></p><p style="color: rgb(0, 0, 0); font-family: Arial; font-size: 12px;"><span style="line-height: 1em; font-size: 18px;">Guoqiang Li (Shanghai Jiaotong University)</span></p><p style="color: rgb(0, 0, 0); font-family: Arial; font-size: 12px;"><span style="line-height: 1em; font-size: 18px;">Jiaxiang Liu (Shenzhen University)</span></p><p style="color: rgb(0, 0, 0); font-family: Arial; font-size: 12px;"><span style="line-height: 1em; font-size: 18px;">Yepang Liu (Southern University of Science and Technology)</span></p><p style="color: rgb(0, 0, 0); font-family: Arial; font-size: 12px;"><span style="line-height: 1em; font-size: 18px;">Frederic Mallet (Universite Nice Sophia-Antipolis)</span></p><p style="color: rgb(0, 0, 0); font-family: Arial; font-size: 12px;"><span style="line-height: 1em; font-size: 18px;">Dominique Mery (Université de Lorraine, LORIA)</span></p><p style="color: rgb(0, 0, 0); font-family: Arial; font-size: 12px;"><span style="line-height: 1em; font-size: 18px;">Jun Pang (University of Luxembourg)</span></p><p style="color: rgb(0, 0, 0); font-family: Arial; font-size: 12px;"><span style="line-height: 1em; font-size: 18px;">Yu Pei (The Hong Kong Polytechnic University)</span></p><p style="color: rgb(0, 0, 0); font-family: Arial; font-size: 12px;"><span style="line-height: 1em; font-size: 18px;">Shengchao Qin (Xidian University)</span></p><p style="color: rgb(0, 0, 0); font-family: Arial; font-size: 12px;"><span style="line-height: 1em; font-size: 18px;">Yahui Song (National University of Singapore)</span></p><p style="color: rgb(0, 0, 0); font-family: Arial; font-size: 12px;"><span style="line-height: 1em; font-size: 18px;">Peter Thiemann (Universität Freiburg)</span></p><p style="color: rgb(0, 0, 0); font-family: Arial; font-size: 12px;"><span style="line-height: 1em; font-size: 18px;">Jingyi Wang (Zhejiang University)</span></p><p style="color: rgb(0, 0, 0); font-family: Arial; font-size: 12px;"><span style="line-height: 1em; font-size: 18px;">Cheng Wen (Xidian University)</span></p><p style="color: rgb(0, 0, 0); font-family: Arial; font-size: 12px;"><span style="line-height: 1em; font-size: 18px;">Zhilin Wu (Institute of Software, Chinese Academy of Sciences)</span></p><p style="color: rgb(0, 0, 0); font-family: Arial; font-size: 12px;"><span style="line-height: 1em; font-size: 18px;">Lili Xiao (Donghua University)</span></p><div style="color: rgb(0, 0, 0); font-family: Arial; font-size: 12px;"><span style="line-height: 1em; font-size: 18px;">Zhiwu Xu (Shenzhen University)</span></div><p style="color: rgb(0, 0, 0); font-family: Arial; font-size: 12px;"><span style="line-height: 1em; font-size: 18px;">Hui Xu (Fudan University)</span></p><p style="color: rgb(0, 0, 0); font-family: Arial; font-size: 12px;"><span style="line-height: 1em; font-size: 18px;">Bai Xue (Institute of Software, Chinese Academy of Sciences)</span></p><p style="color: rgb(0, 0, 0); font-family: Arial; font-size: 12px;"><span style="line-height: 1em; font-size: 18px;">Naijun Zhan (Institute of Software, Chinese Academy of Sciences)</span></p><p style="color: rgb(0, 0, 0); font-family: Arial; font-size: 12px;"><span style="line-height: 1em; font-size: 18px;">Min Zhang (East China Normal University)</span></p><p style="color: rgb(0, 0, 0); font-family: Arial; font-size: 12px;"><span style="line-height: 1em; font-size: 18px;">Hengjun Zhao (Southwest University)</span></p><p style="color: rgb(0, 0, 0); font-family: Arial; font-size: 12px;"><span style="line-height: 1em; font-size: 18px;">Lixiao Zheng (Huaqiao University)</span></p><p style="color: rgb(0, 0, 0); font-family: Arial; font-size: 12px;"><span style="line-height: 1em; font-size: 18px;">Huibiao Zhu (East China Normal University)</span></p></div><br></div></div><br></div></div><br></div><br>