08:00-08:30 |
Opening |
Morning |
Session I Chair: Geguang Pu |
08:30-09:30 |
Xiaowei Huang (Liverpool University) Safety Verification of Deep Neural Networks |
09:30-10:00 |
Jian Guo (East China Normal University) Formal Analysis of the PKMv3 Protocol |
10:00-10:30 |
Tea Break |
|
Session II Chair: Bican Xia |
10:30-11:00 |
Yijun Feng (Peking University) Finding Polynomial Loop Invariants for Probabilistic Programs |
11:00-11:30 |
Yong Li (Institute of Software, Chinese Academy of Sciences) Learning to Complement Büchi Automata |
11:30-12:00 |
Yi Li (Peking University) Capturing Stochastic and Real-time Behavior in Reo Connectors |
12:00-14:00 |
Lunch (Yan Nan Room, Second Floor, Yi Yuan Restaurant) |
Afternoon |
Session I Chair: Lijun Zhang |
14:00-15:00 |
Zhilin Wu (Institute of Software, Chinese Academy of Sciences) What is Decidable about String Constraints with the Replace All Function |
15:00-15:30 |
Tea Break |
15:30-16:30 |
Project Discussion |
