2026 8th The Spring School on Engineering Trustworthy Software Systems
2026 8th The Spring School on Engineering Trustworthy Software Systems
The 8th Spring School on Engineering Trustworthy Software Systems (SETSS 2026) will be held on May 11-17, 2026 at the School of Computer and Information Science (CIS), Southwest University, Chongqing, China.
This school offers lectures on leading-edge research in methods and tools for computer system engineering, topical talks on the history and trends of computing, and a workshop. SETSS 2026 is intended for university researchers (master's students, PhD students, academics) and software engineering practitioners in industry. Participants will gain insight into state-of-the-art software engineering methods and technological advances from leading pioneers and outstanding young scholars.
We are proud to host the following distinguished speakers:
For detailed information, including lecture titles, abstracts, and biographies, please visit the Speakers page.
Venue: Lecture Hall 0114, Building 25, Southwest University, Chongqing, China
| Date | Time | Speaker | Lecture Title | Brief Introduction |
|---|---|---|---|---|
| May 11 (Mon) | 09:00‑10:00 | Prof. Moshe Y. Vardi | Are AI minds genuine minds? | 探讨人工智能是否具备真正的“心智”，引导思考 AI、意识与智能本质。 |
| May 11 (Mon)‑May 12 (Tue) | 5月11日 10:30‑12:00, 14:00‑15:30, 16:00‑17:30; 5月12日 08:30‑10:00 | Prof. Einar Broch Johnsen | Digital Twins: Connecting Models with The Real World | 聚焦数字孪生如何连接模型与真实世界，服务可信软件系统建模、分析与优化。 |
| May 12 (Tue)‑May 13 (Wed) | 5月12日 10:30‑12:00, 14:00‑15:30, 16:00‑17:30; 5月13日 08:30‑10:00 | Prof. Kim Guldstrand Larsen | Model Checking, Monitoring, Performance Analysis, Synthesis and Learning for Cyber-Physical Systems | 围绕信息物理系统的模型检测、运行监控、性能分析、系统综合与学习方法展开。 |
| May 13 (Wed) | 10:30‑12:00, 14:00‑15:30, 16:00‑17:30 | Prof. Emily Yu | Trustworthy Systems through Automated Reasoning, Certificates, and Runtime Monitoring | 介绍自动推理、形式化证书与运行时监控如何共同支撑可信系统构建。 |
| May 14 (Thu) | 08:30‑10:00, 10:30‑12:00 | Prof. Wei Dong | Formal and intelligent synthesis for high confidence HCPS software | 聚焦高可信人机物融合系统软件的形式化综合与智能生成方法。 |
| May 14 (Thu) | 14:00‑15:00 | Prof. Joseph Sifakis | Bringing AI to Autonomous Systems | 探讨 AI 如何赋能自主系统，以及自主系统可信构建中的关键挑战。 |
| May 14 (Thu) | 15:30‑17:30 | Prof. Miaomiao Zhang | Learning and Verifying Timed Systems | 介绍时间系统的模型学习与形式化验证方法，面向安全关键系统可靠性保障。 |
| May 15 (Fri) | 08:30‑10:00, 10:30‑12:00, 13:30‑14:00, 14:15‑15:30 | Prof. DI Dr. Bernhard Aichernig | Automata Learning and Testing with AALpy | 围绕自动机学习、黑盒测试与 AALpy 工具，介绍学习驱动的软件测试方法。 |
| May 16 (Sat) | 08:30‑09:30 | Prof. Jonathan P. Bowen | Tony Hoare: A Life of Logic, Theory, and Practice | 回顾 Tony Hoare 的学术人生与程序正确性思想，展现逻辑、理论与实践的结合。 |
| May 16 (Sat) | 10:00‑11:00 | Prof. Liqian Chen | Making Template Polyhedral Domain Practical for Real-World Programs | 介绍模板多面体抽象域在真实程序分析中的实用化方法。 |
| May 16 (Sat) | 11:00‑12:00 | Prof. He Jiang | Trustworthiness Assurance and Intelligence of Compilers | 围绕编译器可信保障与智能化技术，探讨软件基础设施质量提升路径。 |
| May 16 (Sat) | 14:00‑15:00 | Dr. Tianhai Liu | Semantic Consistency in Model-Driven Development | 聚焦模型驱动开发中的语义一致性管理，提升复杂系统演化过程中的正确性保障。 |
| May 16 (Sat) | 15:30‑16:30 | Prof. Meng Sun | Automata-Based Steering of Large Language Models for Diverse Structured Generation | 介绍如何利用自动机方法引导大语言模型生成多样化、结构化输出。 |
| May 17 (Sun) | 08:30‑09:30 | Prof. Zhilin Wu | A Formally Verified Procedure for Width Inference in FIRRTL | 介绍 FIRRTL 位宽推断问题及其形式化验证方法。 |
| May 17 (Sun) | 10:00‑11:00 | Prof. Jifeng Xuan | Code Transformation and Defect Detection for Heterogeneous Programming Design: Trials and Thoughts | 围绕异构编程设计中的代码转换与缺陷检测，分享相关探索与思考。 |
| May 17 (Sun) | 11:00‑12:00 | Prof. Lei Bu | From Specification Understanding to Verification: Formal Specifications as a Bridge Between LLMs and Trustworthy Software | 探讨形式化规格如何连接大语言模型与可信软件验证，推动智能软件工程走向可信。 |
Venue: Lecture Hall 0114, Building 25, Southwest University, Chongqing, China.
Registration & Submission: Details are available on the Registration page.
Contact: For any inquiries, please contact the organizing committee via the Transportation page or the email listed on the Committee page.