IMPACT SCORE JOURNAL RANKING CONFERENCE RANKING Conferences Journals Workshops Seminars SYMPOSIUMS MEETINGS BLOG LaTeX 5G Tutorial Free Tools
 
TASE 2021 : The 15th International Symposium on Theoretical Aspects of Software Engineering
TASE 2021 : The 15th International Symposium on Theoretical Aspects of Software Engineering

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




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



Best Deals



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

  • Short Name: TASE 2021
  • Full Name: The 15th International Symposium on Theoretical Aspects of Software Engineering
  • Timing: 09:00 AM-06:00 PM (expected)
  • Fees: Check the official website of TASE 2021
  • Event Type: Symposium
  • Website Link: https://tase2021.github.io/
  • Location/Address: Shanghai


Credits and Sources

[1] TASE 2021 : The 15th International Symposium on Theoretical Aspects of Software Engineering


Check other Conferences, Workshops, Seminars, and Events


OTHER SOFTWARE ENGINEERING EVENTS

ACM ICMLSC 2023: ACM--2023 The 7th International Conference on Machine Learning and Soft Computing (ICMLSC 2023)
Chongqing, China
Jan 5, 2023
IPMV 2023: 2023 5th International Conference on Image Processing and Machine Vision (IPMV 2023)
Macau, China
Jan 13, 2023
SPIE ICMV 2022: SPIE--2022 The 15th International Conference on Machine Vision (ICMV 2022)
Rome, Italy
Nov 18, 2022
ICSEB 2022: 2022 6th International Conference on Software and e-Business (ICSEB 2022)
Shenzhen, China
Dec 9, 2022
CIIS 2022: CIIS-UL 2022 : V International Congress in Systems Engineering
Lima-Perú
Oct 10, 2022
SHOW ALL

OTHER FORMAL METHODS EVENTS

OVERLAY 2022: 4th Workshop on Artificial Intelligence and fOrmal VERification, Logic, Automata, and sYnthesis
Udine (Italy)
Nov 28, 2022
F-IDE 2022: 7th Workshop on Formal Integrated Development Environment
Berlin, Germany
Sep 26, 2022
RL-CONFORM 2022: 2nd RL-CONFORM Workshop: Reinforcement Learning meets HRI, Control, and Formal Methods
Kyoto, Japan
Oct 23, 2022
SOFTPA 2022: International Conference on Emerging Practices in Software Process & Architecture
Sydney, Australia
Jun 18, 2022
TIME 2022: 29th International Symposium on Temporal Representation and Reasoning
online
Nov 7, 2022
SHOW ALL

OTHER SOFTWARE TESTING EVENTS

A-TEST 2022: 13th Workshop on Automating Test Case Design, Selection and Evaluation
Singapore
Nov 17, 2022
SOEN 2022: 7th International Conference on Software Engineering
London, United Kingdom
Jul 30, 2022
SBMF 2022: 25th Brazilian Symposium on Formal Methods
Aracaju, Brazil
Dec 5, 2022
AITest 2022: The IEEE Fourth International Conference On Artificial Intelligence Testing
San Francisco, USA
Aug 15, 2022
IEEE AITEST 2022: THE 4TH IEEE INTERNATIONAL CONFERENCE ON ARTIFICIAL INTELLIGENCE TESTING
San Francisco Bay Area
Aug 15, 2022
SHOW ALL