Conference Information
SETTA 2020: Symposium on Dependable Software Engineering: Theories, Tools and Applications
http://lcs.ios.ac.cn/setta2020/
Submission Date:
2020-07-31 Extended
Notification Date:
2020-09-05
Conference Date:
2020-11-24
Location:
Guangzhou, China
Viewed: 5890   Tracked: 4   Attend: 0

Conference Location
Call For Papers
Topics of interest include, but are not limited to:

    Requirements specification and analysis
    Formalisms for modeling, design and implementation
    Model checking, theorem proving, and decision procedures
    Scalable approaches to formal system analysis
    Formal approaches to simulation, run-time verification, and testing
    Integration of formal methods into software engineering practice
    Contract-based engineering of components, systems, and systems of systems
    Formal and engineering aspects of software evolution and maintenance
    Parallel and multicore programming
    Embedded, real-time, hybrid, probabilistic, and cyber-physical systems
    Mixed-critical applications and systems
    Formal aspects of service-oriented and cloud computing
    Safety, reliability, robustness, and fault-tolerance
    Dependability of smart software and systems
    Empirical analysis techniques and integration with formal methods
    Applications and industrial experience reports
    Software tools to assist the construction or analysis of software systems
Last updated by Dou Sun in 2020-07-17
Related Conferences
CCFCOREQUALISShortFull NameSubmissionNotificationConference
ICNNEInternational Conference on Nanotechnology and Nanomaterials in Energy2020-12-302021-01-202021-03-23
bb2DLTInternational Conference on Developments in Language Theory2018-05-072018-06-062018-09-10
BDIOT'International Conference on Big Data and Internet of Things2020-05-152020-06-052020-08-22
ISSMASInternational Symposium on Sensors, Mechatronics and Automation System2020-01-15 2020-02-21
SoftTechInternational Conference on Software Technology2016-03-222016-03-262016-04-22
CRISInternational Conference on Cryptography and Information Security2020-12-052021-01-202021-03-27
ICAMMCE'International Conference on Applied Mechanics, Materials and Civil Engineering2020-06-24 2020-09-20
SMBQSummer School on Machine Learning and Big Data with Quantum Computing2020-08-15 2020-09-07
AIFUInternational Conference on Artificial Intelligence and Applications2020-12-052021-01-102021-06-19
ICESDInternational Conference on Environmental Science and Development2019-09-252019-10-202020-02-10
Recommendation