2024 6th International Conference on Information Science, Computer Technology and Transportation（SETTSS 2024）

CFP

Call for Presentations: Workshop on Engineering

Trustworthy Software Systems (SETSS 2024)

Date: April 20-21, 2024 Location: Chongqing, China

We invite submissions for presentations 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.

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.

Submission Details

All submissions should be made through EasyChair. Please visit https://easychair.org/conferences/?conf=setss2024 to submit your presentation abstract.

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

Some presentations will be invited to submit a full paper to be included in an edited volume of LNCS, together with the lecture notes of the SETSS 2024 school, which is planed to be published in 6 months after the event.

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:

David N. Jansen (dnjansen@ios.ac.cn)

Claudio Gomes ( claudio.gomes@ece.au.dk ).

Program