IMPACT FACTOR JOURNAL RANKING CONFERENCE RANKING Conferences Journals Workshops Seminars SYMPOSIUMS MEETINGS BLOGS LaTeX 5G Tutorial Advertise
 
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

SEFM 2021: The 19th edition of the International Conference on Software Engineering and Formal Methods
Virtual
Dec 06, 2021
SEA 2021: 10th International Conference on Software Engineering and Applications
Copenhagen, Denmark
Jun 19, 2021
SOENG 2021: 7th International Conference on Software Engineering
Copenhagen, Denmark
Apr 24, 2021
ICICA 2021: 10th International Conference on Intelligent Computing and Applications
Melbourne, Australia
Jun 25, 2021
ICCMS 2021: The 13th International Conference on Computer Modeling and Simulation
Melbourne, Australia
Jun 25, 2021
SHOW ALL

OTHER FORMAL METHODS EVENTS

SEFM 2021: The 19th edition of the International Conference on Software Engineering and Formal Methods
Virtual
Dec 06, 2021
VWLD 2021: Vienna World Logic Day Lecture
Online
Jan 14, 2021
FormaliSE 2021: International Conference on Formal Methods in Software Engineering
Madrid, Spain
May 23, 2021
F-IDE 2021: 6th Workshop on Formal Integrated Development Environment
Online
May 24, 2021
ABZ 2021: 8th International Conference on Rigorous State Based Methods
Ulm
Jun 07, 2021
SHOW ALL

OTHER SOFTWARE TESTING EVENTS

SOENG 2021: 7th International Conference on Software Engineering
Copenhagen, Denmark
Apr 24, 2021
ICSEA 2021: The Sixteenth International Conference on Software Engineering Advances
Barcelona, Spain
Oct 03, 2021
SEAS 2021: 10th International Conference on Software Engineering and Applications
Dubai, UAE
Feb 20, 2021
JSS SI on Test Automation 2021: Special Issue on - Test Automation: Trends, Benefits, and Costs

ASOFT 2020: International Conference on Advances in Software Engineering
Sydney, Australia
Oct 24, 2020
SHOW ALL