Registration

The 8th Spring School on Engineering Trustworthy

Software Systems (SETSS 2026)

Conference Notice

The "8th Spring School on Engineering Trustworthy Software Systems (SETSS 2026)" hosted by Southwest University will take place from May 11 to 17, 2026, at Southwest University, Chongqing, China. The school will feature a series of lectures on cutting-edge research in software systems engineering, formal methods, AI, cyber-physical systems, and digital twins, along with a dedicated workshop. Invited speakers include Turing Award laureate Prof. Joseph Sifakis (online), Prof. Moshe Y. Vardi (online), Prof. Einar Broch Johnsen, Prof. Kim Guldstrand Larsen, Prof. Bernhard Aichernig, Dr. Emily Yu, Prof. Jonathan P. Bowen, Prof. Wei Dong, Prof. Miaomiao Zhang, and other distinguished experts.

The program combines five days of lectures (May 11–15) and a two‑day workshop (May 16–17). Participants will have opportunities for in‑depth discussions, networking, and social events including a hotpot banquet and a two‑river cruise.

Meeting time:

May 11–17, 2026

Meeting venue:

Lecture Hall 0114, Building 25, Southwest University (Beibei Campus), Chongqing, China

Registration method:

(1) On‑site payment; (2) Online registration

Conference registration fee：

Category	Fee (RMB)
May 11 – May 15 (Mon–Fri Lectures)	1600 RMB / person
May 16 – May 17 (Sat–Sun Workshop)	500 RMB / person

Registration fee includes: lunch (Mon–Fri, except dinner), Wednesday hotpot banquet, and Friday two‑river cruise ticket (168 RMB ticket + 50 RMB round‑trip transportation).

Bank Transfer Details

Account Name: Southwest University

Bank: Industrial and Commercial Bank of China (ICBC), Chongqing Chaoyang Sub‑branch

Account Number: 3100028109024968877

Bank Code: 102653000474

Remittance Note: Please write "SETSS2026-Your Name" when transferring.

After payment: Send the transfer voucher and invoice information (title, tax ID) to liubocq@swu.edu.cn.

📱 Payment QR Code / 缴费二维码

Please scan to pay (or use bank transfer above).

Other information: Participants are responsible for their own travel and accommodation expenses not listed above.

SETSS 2026 can provide a training certificate of 32 instructional hours for those in need. (SETSS 2026可提供32学时培训证明)

Official Website: https://www.rise-swu.cn/SETSS2026/