EasyChair Smart CFPDocs/Log in
CFP
SETSS2024: SETSS 2024 Workshop
Chongqing, China, April 1-3, 2025
Submission linkhttps://easychair.org/conferences/?conf=setss2024
Submission deadlineSeptember 1, 2024

We invite updated papers for the presentations delivered at the Workshop on Engineering Trustworthy Software Systems. This workshop aims to showcase ongoing or completed work in the field of engineering trustworthy software systems and create opportunities for collaboration among participants. We are particularly interested in contributions that explore the intersection of formal verification, practical engineering principles, and best practices to enhance the trustworthiness of software systems.

Important Deadlines for Full Paper

  • 01-September-2024 Deadline for submitting papers
  • 10-November-2024 Notification of accepted contributions
  • 10-December-2024 Camera Ready submission
  • 10-January-2024 Camera Ready re-submission (for minor edits)
  • April-2025 Publication (tentative)

Submission Details

All submissions should be made through EasyChair. Please visit https://easychair.org/conferences/?conf=setss2024 to update your previous submission.

Submissions should include a title and an abstract with relevant details about the work being presented, with a maximum of 15 pages following the Springer LNCS format.

We look forward to your contributions to the Workshop on Engineering Trustworthy Software Systems. Together, let's advance the state of the art in building reliable and secure software. For any inquiries, please contact:

Venue

The workshop was held at Southwest University in Chongqing, as part of the Spring School on Engineering Trustworthy Software Systems (SETSS)

Directions on how to get there can be found on the main event website

Registration & Payment

Registration and payment is done through the main event website.

Participants who only wish to participate in the workshop can indicate so in the registration form.

Program

April 20

09:00 - 09:30 Opening Speech, and Introduction of Participants

09:30 - 09:40 Foundation Ceremony of United Lab

09:40 - 10:00 Invited talk by Prof. Zhang (Chinese Academy of Sciences)

10:00 - 10:30 Registration and Welcome Coffee

10:30 - 12:30 Session 1: Reconfigurable Cyber-Physical Systems

  • Invited Talk: Naijun Zhan. Invariant Generation.
  • Jiawan Wang and Lei Bu. Scenario-based Flexible Modeling and Scalable Falsification for Reconfigurable CPSs
  • Thomas Wright. An Architecture for Formally Verified Self-Adaptation of Cyber-Physical Systems

12:30 - 14:30 Lunch Break

14:30 - 16:00 Session 2.1: Large Language Models

  • Invited Talk Xiaohong Chen. Proof-Certifying Formal Verification.
  • Qin Li and Rundong Mu. A software engineering framework for LLM-based computing

16:00 - 16:30 Coffee Break

16:30 - 17:00 Session 2.1: Large Language Models

  • Sirui Liu, Wei Dong, Tiecheng Ma, Yanqi Dong and Dong Yang. Automating Component-Based Embedded Software Construction via Formal Synthesis and LLM

17:00 - 17:30 Discussions

April 21

09:00 - 10:00 Invited Talk by Miaomiao Zhang. Learning Assumptions for Compositional Verification of Timed Automata.

10:00 - 10:30 Coffee Break

10:30 - 12:00 Session 3: (Autonomous) Control.

  • Min Zhang. Bridging Formal Methods and Machine Learning for Safe DNN-Controlled Systems via Abstraction
  • Yue Zhao, Shen Bo, Gang Yang and Xingshe Zhou. SL4U: A Scenario Description Language for Unmanned Swarm
  • Zhaokai Li and Quan Sun. Combinations of Hybrid Automata From Control Perspective

12:00 - 12:15 Closing Remarks and Goodbye

12:15 Lunch

Topics of Interest

  1. Ongoing or Finished Work We welcome presentations on ongoing or completed projects that have the potential to foster collaboration among workshop participants. Share your insights, challenges, and outcomes to contribute to the collective knowledge in engineering trustworthy software systems.
  2. Formal Verification of Computer Systems We encourage theoretical contributions, experience reports, and case studies related to formal verification techniques for ensuring the correctness and reliability of computer systems. Share your advancements, methodologies, and lessons learned in this critical aspect of software engineering.
  3. Engineering Principles Explore and discuss engineering principles that contribute to the development of reliable and secure software systems. Presentations may cover topics such as architecture design, code quality, and software testing methodologies.
  4. Best Practices for Trustworthiness Share best practices, methodologies, and real-world experiences that contribute to enhancing the trustworthiness of software systems. This could include but is not limited to security practices, fault tolerance, and resilience engineering.

Contact

Copyright © 2002 – 2024 EasyChair