Program
| 2025-05-17I0 | Room 334 | |
|---|---|---|
| 09:30—12:00 |
Welcome
|
|
| 12:00—14:15 |
Lunch
|
|
| 14:15—14:30 |
Opening
|
|
| 14:30—15:30 |
On Temporal Verification of Stateful P4 Programs Chair: Wanwei Liu
|
|
| 15:30—16:00 |
Coffee break
|
|
| 16:00—17:00 |
Formal Synthesis of Neural Controllers for Autonomous Systems Chair: Wanwei Liu
|
| 2025-05-18I0 | Room 402 | |
|---|---|---|
| 09:30—10:30 |
New Progress in Computational Number Theory and Number-Theoretic Cryptography Chair: Wanwei Liu
|
|
| 10:30—11:00 |
Coffee break
|
|
| 11:00—12:00 |
Certifying Adversarial Robustness in Quantum Machine Learning: From Theory to Physical Validation Chair: Wanwei Liu
|
|
| 12:00—14:00 |
Lunch
|
|
| 14:00—15:00 |
Neural Code Generation Models with Programming Language Knowledge Chair: Song Y. Yan
|
|
| 15:00—16:00 |
Runtime Backdoor Detection for Federated Learning via Representational Dissimilarity Analysis Chair: Song Y. Yan
|
|
| 16:00—16:30 |
Coffee break
|
|
| 16:30—17:30 |
Stochastic System Safety: Probabilistic Invariance Verification Chair: Song Y. Yan
|
| 2025-05-19I0 | Room 402 | |
|---|---|---|
| 08:45—09:00 |
Opening
|
|
| 09:00—10:30 |
Hardware-Software Leakage Contracts for Side-Channel Security Chair: Lijun Zhang
|
|
| 10:30—11:00 |
Coffee break
|
|
| 11:00—12:30 |
Hardware-Software Leakage Contracts for Side-Channel Security Chair: Lijun Zhang
|
|
| 12:30—14:00 |
Lunch
|
|
| 14:00—15:30 |
Chair: Jonathan P. Bowen
|
|
| 15:30—16:00 |
Coffee break
|
|
| 16:00—17:30 |
Chair: Jonathan P. Bowen
|
|
| 18:00—21:00 |
Banquet
|
| 2025-05-20I0 | Room 402 | |
|---|---|---|
| 09:00—10:30 |
Hardware-Software Leakage Contracts for Side-Channel Security Chair: Lijun Zhang
|
|
| 10:30—11:00 |
Coffee break
|
|
| 11:00—12:30 |
Hardware-Software Leakage Contracts for Side-Channel Security Chair: Lijun Zhang
|
|
| 12:30—14:00 |
Lunch
|
|
| 14:00—15:30 |
Simulation Testing of Autonomous Driving Systems Based on Safety-Critical Scenario Generation Chair: Jonathan P. Bowen
|
|
| 15:30—16:00 |
Coffee break
|
|
| 16:00—17:30 |
Simulation Testing of Autonomous Driving Systems Based on Safety-Critical Scenario Generation Chair: Jonathan P. Bowen
|
| 2025-05-21I0 | Room 402 | |
|---|---|---|
| 09:00—10:30 |
Model-based Software Engineering for Robotics Chair: Jim Woodcock
|
|
| 10:30—11:00 |
Coffee break
|
|
| 11:00—12:30 |
Model-based Software Engineering for Robotics Chair: Jim Woodcock
|
|
| 12:30—14:00 |
Lunch
|
|
| 14:00—17:30 |
Social event
|
| 2025-05-22I0 | Room 402 | |
|---|---|---|
| 09:00—10:30 |
Building Safe Autonomous Systems using Imperfect Components Chair: Shmuel Tyszberowicz
|
|
| 10:30—11:00 |
Coffee break
|
|
| 11:00—12:30 |
Building Safe Autonomous Systems using Imperfect Components Chair: Shmuel Tyszberowicz
|
|
| 12:30—14:00 |
Lunch
|
|
| 14:00—15:30 |
Model-based Software Engineering for Robotics Chair: Jim Woodcock
|
|
| 15:30—16:00 |
Coffee break
|
|
| 16:00—17:30 |
Model-based Software Engineering for Robotics Chair: Jim Woodcock
|
| 2025-05-23I0 | Room 402 | |
|---|---|---|
| 09:00—10:30 |
Advances on SAT and SMT Solving Chair: Shmuel Tyszberowicz
|
|
| 10:30—11:00 |
Coffee break
|
|
| 11:00—12:30 |
Advances on SAT and SMT Solving Chair: Shmuel Tyszberowicz
|
|
| 12:30—14:00 |
Lunch
|
|
| 14:00—15:30 |
Model Checking, Monitoring, Performance Analysis, Synthesis and Learning for Cyber-Physical Systems Chair: David N. Jansen
|
|
| 15:30—16:00 |
Coffee break
|
|
| 16:00—17:30 |
Model Checking, Monitoring, Performance Analysis, Synthesis and Learning for Cyber-Physical Systems Chair: David N. Jansen
|
|
| 17:30—17:45 |
Closing
|