18th International Summer School Program
Zoom Meeting: 会议链接
Meeting ID: 994 5056 7556
Passcode: 363935
|
2022.08.15 Monday |
2022.08.16 Tuesday |
2022.08.17 Wednesday |
2022.08.18 Thursday |
2022.8.19 Friday |
2022.8.20 Saturday |
|
08:00-11:00 ( UTC-5 8.16 19:00-22:00 ) Xin Chen Functional Overapproximation for Reachability Analysis of Neural Network Control Systems |
08:00-11:00 ( UTC-5 8.17 19:00-22:00 ) Xin Chen Functional Overapproximation for Reachability Analysis of Neural Network Control Systems |
08:00-11:00 ( UTC-5 8.18 19:00-22:00 ) Xin Chen Functional Overapproximation for Reachability Analysis of Neural Network Control Systems |
|||
|
15:00-18:00 ( BST 8.15 8:00-11:00 ) Ana Cavalcanti RoboStar framework for design and verification of robotic systems |
15:00-18:00 ( BST 8.16 8:00-11:00 ) Jim Woodcock An introduction to modelling and verification in Isabelle/HOL |
15:00-18:00 ( BST 8.17 8:00-11:00 ) Ana Cavalcanti RoboStar framework for design and verification of robotic systems |
15:00-18:00 ( BST 8.18 8:00-11:00 ) Jim Woodcock An introduction to modelling and verification in Isabelle/HOL |
15:00-18:00 ( BST 8.19 8:00-11:00 ) Ana Cavalcanti RoboStar framework for design and verification of robotic systems |
15:00-18:00 ( BST 8.20 8:00-11:00 ) Jim Woodcock An introduction to modelling and verification in Isabelle/HOL |
