TASE 2021 : The 15th International Symposium on Theoretical Aspects of Software Engineering Shanghai
|
|||||||||
| Event Date: | August 25, 2021 - August 27, 2021 |
|---|---|
| Abstract Submission Deadline: | February 28, 2021 |
| Submission Deadline: | March 07, 2021 |
| Notification of Acceptance: | May 07, 2021 |
| Camera Ready Version Due: | May 31, 2021 |
Categories |
SOFTWARE ENGINEERING
FORMAL METHODS
SOFTWARE TESTING
|
About |
|
The 15th Theoretical Aspects of Software Engineering Conference (TASE 2021) will be held in Shanghai, China on August 25-27, 2021. TASE 2021 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. |
Call for Papers |
|
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 |
Summary |
|
TASE 2021 : The 15th International Symposium on Theoretical Aspects of Software Engineering will take place in Shanghai. It’s a 3 days event starting on Aug 25, 2021 (Wednesday) and will be winded up on Aug 27, 2021 (Friday). TASE 2021 falls under the following areas: SOFTWARE ENGINEERING, FORMAL METHODS, SOFTWARE TESTING, etc. Submissions for this Symposium can be made by Mar 07, 2021. Authors can expect the result of submission by May 07, 2021. Upon acceptance, authors should submit the final version of the manuscript on or before May 31, 2021 to the official website of the Symposium. Please check the official event website for possible changes before you make any travelling arrangements. Generally, events are strict with their deadlines. It is advisable to check the official website for all the deadlines. Other Details of the TASE 2021
|
Credits and Sources |
| [1] TASE 2021 : The 15th International Symposium on Theoretical Aspects of Software Engineering |
