TASE is an international symposium that 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.
The 15th Theoretical Aspects of Software Engineering Conference (TASE 2021) will be held in Shanghai, China on August 25-27, 2021. The proceedings of the TASE 2021 symposium are planned to be published by the IEEE Computer Society Press. The authors of a selected subset of accepted papers will be invited to submit extended versions of their papers to a special issue of the Science of Computer Programs journal.
Sponsor Type:1; 9
* Program Chairs:
Kazuhiro Ogata (Japan Advanced Institute of Science and Technology, Japan)
Min Zhang (East China Normal University, China)
* Program Committee:
Erika Abraham (RWTH Aachen University, DE)
Yamine Ait Ameur (Toulouse National Polytechnique Institute, FR)
Toshiaki Aoki (JAIST, JP)
Cyrille Valentin Artho (KTH Royal Institute of Technology, SE)
Étienne André (Université de Lorraine, FR)
Luís Soares Barbosa (University of Minho, PT)
Richard Banach (The University of Manchester, UK)
Michael Butler (University of Southampton, UK)
Marcello Bonsangue (Leiden University, NL)
Yunja Choi (Kyungpook National University, KR)
Florin Craciun (Babes-Bolyai University, RO)
Liqian Chen (National University of Defense Technology, CN)
Marmsoler Diego (University of Exeter, UK)
Kim Guldstrand Larsen (Aalborg University, DK)
Fuyuki Ishikawa (National Institute of Informatics, JP)
Shaoying Liu (Hosei University, JP)
Dominique Mery (Université de Lorraine, FR)
Frederic Mallet (Universite Nice Sophia-Antipolis, FR)
Masaki Nakamura (Toyama Prefectural University, JP)
Shin Nakajima (National Institute of Informatics, JP)
Jun Pang (University of Luxembourg, LU)
Yu Pei (The Hong Kong Polytechnic University, CN)
Adrian Riesco (Universidad Complutense de Madrid, ES)
Meng Sun (Peking University, CN)
Rob van Glabbeek (CSIRO, AU)
Zhiwu Xu (Shenzhen University, CN)
Hongji Yang (Leicester University, UK)
Akihisa Yamada (National Institute of Informatics, JP)
Yongwang Zhao (Zhejiang University, CN)
Naijun Zhan (Institute of Software, CAS, CN)
Huibiao Zhu (East China Normal University, CN)
*Publicity Chairs:
Étienne André (Université de Lorraine, France)
Guoqiang Li (Shanghai Jiaotong University, China)
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:
Abstract interpretation
Algebraic and co-algebraic specifications
AI for formal methods
Component-based software engineering
Cyber-physical systems
Deductive verification
Distributed and concurrent systems
Domain Engineering
Embedded and real-time systems
Feature-oriented software
Formal methods, verification and testing for AI systems
Run-time verification and monitoring
Semantic web and web services
Service-oriented and cloud computing
Software processes and workflows
Software architectures and design
Formal verification and program semantics
Fundamental theories and techniques for trustworthy AI systems
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
Software testing and quality assurance
Software safety, security and reliability
Specification and verification
Type systems and behavioral typing
Tools exploiting theoretical results
Paper submissions must be made electronically in PDF format via the EASYCHAIR website. Papers must be original and not be submitted to or under review at any other conferences and journals. papers are limited to 8 pages, in camera-ready format using IEEE Conference template, included in the registration fee.
08月25日
2021
08月27日
2021
摘要截稿日期
注册截止日期
2025年07月14日 塞浦路斯 Limassol
19th International Symposium on Theoretical Aspects of Software Engineering2020年12月11日 中国 Hangzhou
The 14th International Symposium on Theoretical Aspects of Software Engineering2018年08月29日 中国
2018 International Symposium on Theoretical Aspects of Software Engineering2017年09月13日 法国
2017年国际软件工程理论研讨会2016年07月17日 中国 Shanghai,China
第10届国际软件工程理论研讨会2013年07月01日 英国
2013国际软件工程理论研讨会2009年07月29日 中国 天津市
第三届IEEE软件工程理论国际研讨会
留言