2026 8th The Spring School on Engineering Trustworthy Software Systems
2026 8th The Spring School on Engineering Trustworthy Software Systems
| 08:30 - 09:00 | Opening Session Chair: Prof. Zhiming LiuWelcome Speech by President (or Vice President) of SWU Welcome Speech by Dean of CIS SETSS Briefing by Prof. Zhiming Liu School Photo Taking |
|---|---|
| 09:00 - 10:00 | Lecture: Are AI minds genuine minds? Speaker: Prof. Moshe Y. Vardi Chair: Prof. Jonathan P. Bowen |
| 10:00 - 10:30 | Coffee break |
| 10:30 - 12:00 | Lecture: Digital Twins: Connecting Models with The Real World Speaker: Prof. Einar Broch Johnsen Chair: Prof. Jonathan P. Bowen |
| 12:00 - 14:00 | Lunch |
| 14:00 - 15:30 | Lecture: Digital Twins: Connecting Models with The Real World Speaker: Prof. Einar Broch Johnsen Chair: Prof. Xinxin Liu |
| 15:30 - 16:00 | Coffee break |
| 16:00 - 17:30 | Lecture: Digital Twins: Connecting Models with The Real World Speaker: Prof. Einar Broch Johnsen Chair: Prof. Xinxin Liu |
| 08:30 - 10:00 | Lecture: Digital Twins: Connecting Models with The Real World Speaker: Prof. Einar Broch Johnsen Chair: Dr. Tianhai Liu |
|---|---|
| 10:00 - 10:30 | Coffee break |
| 10:30 - 12:00 | Lecture: Model Checking, Monitoring, Performance Analysis, Synthesis and Learning for Cyber-Physical Systems Speaker: Prof. Kim Guldstrand Larsen Chair: Dr. Tianhai Liu |
| 12:00 - 14:00 | Lunch |
| 14:00 - 15:30 | Lecture: Model Checking, Monitoring, Performance Analysis, Synthesis and Learning for Cyber-Physical Systems Speaker: Prof. Kim Guldstrand Larsen Chair: Prof. Xinxin Liu |
| 15:30 - 16:00 | Coffee break |
| 16:00 - 17:30 | Lecture: Model Checking, Monitoring, Performance Analysis, Synthesis and Learning for Cyber-Physical Systems Speaker: Prof. Kim Guldstrand Larsen Chair: Prof. Xinxin Liu |
| 08:30 - 10:00 | Lecture: Model Checking, Monitoring, Performance Analysis, Synthesis and Learning for Cyber-Physical Systems Speaker: Prof. Kim Guldstrand Larsen Chair: Prof. Tyszberowicz Shmuel |
|---|---|
| 10:00 - 10:30 | Coffee break |
| 10:30 - 12:00 | Lecture: Trustworthy Systems through Automated Reasoning, Certificates, and Runtime Monitoring Speaker: Prof. Emily Yu Chair: Prof. Tyszberowicz Shmuel |
| 12:00 - 14:00 | Lunch |
| 14:00 - 15:30 | Lecture: Trustworthy Systems through Automated Reasoning, Certificates, and Runtime Monitoring Speaker: Prof. Emily Yu Chair: Prof. Kim Guldstrand Larsen |
| 15:30 - 16:00 | Coffee break |
| 16:00 - 17:30 | Lecture: Trustworthy Systems through Automated Reasoning, Certificates, and Runtime Monitoring Speaker: Prof. Emily Yu Chair: Prof. Kim Guldstrand Larsen |
| 18:00 - 21:00 | Social Activity: Hot Pot Feast |
| 08:30 - 10:00 | Lecture: Formal and intelligent synthesis for high confidence HCPS software Speaker: Prof. Wei Dong Chair: Prof. Jonathan P. Bowen |
|---|---|
| 10:00 - 10:30 | Coffee break |
| 10:30 - 12:00 | Lecture: Formal and intelligent synthesis for high confidence HCPS software Speaker: Prof. Wei Dong Chair: Prof. Jonathan P. Bowen |
| 12:00 - 14:00 | Lunch |
| 14:00 - 15:00 | Lecture: Bringing AI to Autonomous Systems Speaker: Prof. Joseph Sifakis Chair: Dr. Tianhai Liu |
| 15:00 - 15:30 | Coffee break |
| 15:30 - 17:30 | Lecture: Learning and Verifying Timed Systems Speaker: Prof. Miaomiao Zhang Chair: Dr. Tianhai Liu |
| 08:30 - 10:00 | Lecture: Automata Learning and Testing with AALpy Speaker: Prof. DI Dr. Bernhard Aichernig Chair: Prof. Kim Guldstrand Larsen |
|---|---|
| 10:00 - 10:30 | Coffee break |
| 10:30 - 12:00 | Lecture: Automata Learning and Testing with AALpy Speaker: Prof. DI Dr. Bernhard Aichernig Chair: Prof. Kim Guldstrand Larsen |
| 12:00 - 13:30 | Lunch |
| 13:30 - 14:00 | Lecture: Automata Learning and Testing with AALpy Speaker: Prof. DI Dr. Bernhard Aichernig Chair: Prof. Tyszberowicz Shmuel |
| 14:00 - 14:15 | Break |
| 14:15 - 15:30 | Lecture: Automata Learning and Testing with AALpy Speaker: Prof. DI Dr. Bernhard Aichernig Chair: Prof. Tyszberowicz Shmuel |
| 15:30 - 21:00 | Social Activity: Chongqing Liangjiang Night Cruise |
| 08:30 - 09:30 | Lecture: Tony Hoare: A Life of Logic, Theory, and Practice Speaker: Prof. Jonathan P. Bowen Chair: Dr. Tianhai Liu |
|---|---|
| 09:30 - 10:00 | Coffee break |
| 10:00 - 11:00 | Lecture: Making Template Polyhedral Domain Practical for Real-World Programs Speaker: Prof. Liqian Chen Chair: Dr. Tianhai Liu |
| 11:00 - 12:00 | Lecture: Trustworthiness Assurance and Intelligence of Compilers Speaker: Prof. He Jiang Chair: Dr. Tianhai Liu |
| 12:00 - 14:00 | Lunch |
| 14:00 - 15:00 | Lecture: Semantic Consistency in Model-Driven Development Speaker: Dr. Tianhai Liu Chair: Prof. Xinxin Liu |
| 15:00 - 15:30 | Coffee break |
| 15:30 - 16:30 | Lecture: Automata-Based Steering of Large Language Models for Diverse Structured Generation Speaker: Prof. Meng Sun Chair: Prof. Xinxin Liu |
| 08:30 - 09:30 | Lecture: A Formally Verified Procedure for Width Inference in FIRRTL Speaker: Prof. Zhilin Wu Chair: Prof. Jonathan P. Bowen |
|---|---|
| 09:30 - 10:00 | Coffee break |
| 10:00 - 11:00 | Lecture: Code Transformation and Defect Detection for Heterogeneous Programming Design: Trials and Thoughts Speaker: Prof. Jifeng Xuan Chair: Prof. Jonathan P. Bowen |
| 11:00 - 12:00 | Lecture: From Specification Understanding to Verification: Formal Specifications as a Bridge Between LLMs and Trustworthy Software Speaker: Prof. Lei Bu Chair: Prof. Jonathan P. Bowen |
| 12:00 - 14:00 | Lunch |