Session 1
|
Session Chair: Yuxin Deng (ECNU)
|
| | |
09:00 - 09:40
|
TBA
Mizuhito Ogawa (JAIST)
|
09:40 - 10:20
|
Reaching to the Top of the Tower
Yuxi Fu (SJTU)
|
10:20 - 10:40
|
Coffee Break
|
10:40 - 11:20
|
Synthesizing Simple Strategies for Efficient Counterexample-Guided Quantified SMT Solving
Tachio Terauchi (Waseda University)
|
11:20 - 12:00
|
Accelerating Robustness Verification of Image Classification Neural Networks Guided by Spurious Adversarial Label
Min Zhang (ECNU)
|
12:00 - 14:00
|
Lunch Break
|
Session 2
|
Session Chair: Yuxi Fu
|
| | |
14:00 - 14:40
|
Proof Script Generation from Proof Scores
Kazuhiro Ogata (JAIST)
|
14:40 - 15:20
|
Łoś and Tarski meet Lovász
Yijia Chen (Fudan University)
|
15:20 - 15:40
|
Coffee Break
|
Session 3
|
Session Chair: Hiroyuki Seki
|
| | |
15:40 - 16:20
|
Proof normalization for classical truth-table natural deduction
Koji Nakazawa (Nagoya)
|
16:20 - 17:00
|
Verifying Quantum Communication Protocols with Ground Bisimulation
Xudong Qin (ECNU)
|
Friday, 13 December, 2019
|
Session 4
|
Session Chair: Kazuhiro Ogata
|
| | |
09:00 - 09:40
|
Regularity Preservation Property of Register Pushdown Systems
Hiroyuki Seki (Nagoya University)
|
09:40 - 10:20
|
Formal Verification of Probabilistic Programs: Termination, Cost Analysis and Sensitivity
Hongfei Fu (SJTU)
|
10:20 - 11:00
|
Fully Static Multiparty Session Programming with Global
Protocol Combinators
Keigo Imai (Gifu University)
|
11:00 - 11:40
|
Formal Verification of Software Countermeasures
Fu Song (ShanghaiTech University)
|
11:30 - 13:30
|
Lunch
|