International Symposium on Theoretical Aspects of Software Engineering
摘要截稿: 2020-01-05
全文截稿: 2020-01-12
开会时间: 2020-07-15
会议难度:
CCF分类: C类
会议地点: Hangzhou, China
Overview
The 14th Theoretical Aspects of Software Engineering Conference (TASE2020) will be held in Hangzhou City, China on 15-17 July 2020. 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 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. TASE 2020 aims to provide a forum for people from academia and industry to communicate their latest results on innovative advances in software engineering. TASE 2020 is the 14th in the TASE series. The past TASE symposia were successfully held in Shanghai ('07), Nanjing ('08), Tianjin ('09), Taipei ('10), Xi'an ('11), Beijing ('12), Birmingham ('13), Changsha('14), Nanjing('15), Shanghai('16), Nice('17), Guangzhou('18), Guilin('19). The proceedings of the TASE 2020 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.
The symposium is devoted to 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
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
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