CAV2024: 36TH INTERNATIONAL CONFERENCE ON COMPUTER AIDED VERIFICATION
PROGRAM FOR SATURDAY, JULY 27TH: TALK VIEW
Days:
previous day
all days

View: with abstractssession overview

8:30
9:00
9:30
10:00
10:30
11:00
11:30
12:00
12:30
13:00
13:30
14:00
14:30
15:00
15:30
16:00
16:30
17:00
17:30
18:00
09:20-09:40
Sota Sato, Jie An, Zhenya Zhang, Ichiro Hasuo
09:40-09:50
Judson, Elacqua, Cano, Antonopoulos, Könighofer, Shapiro, Piskac
09:50-10:10
Dejin Ren, Zhen Liang, Chenyu Wu, Jianqiang Ding, Taoran Wu, Bai Xue
10:10-10:30
J. Wang, W. Liu, M. Zhang, J. Wei, Y. Shi, L. Bu, X. Li
11:00-12:00
Erika Abraham
14:20-14:40
Kazuki Watanabe, Marck van der Vegt, Sebastian Junges, Ichiro Hasuo
14:40-15:00
Peng Yan, Hanru Jiang, Nengkun Yu
15:10-15:30
Ji Guan, Yuan Feng, Andrea Turrini, Mingsheng Ying
16:00-16:20
Yixuan Li, Julian Parsert, Elizabeth Polgreen
16:20-16:40
Dapeng Zhi, Peixin Wang, Si Liu, Luke Ong, Min Zhang
17:00-17:20
Yuval Shapira, Naor Wiesel, Shahar Shabelman, Dana Drachsler-Cohen
17:20-17:40
Athavale, Bartocci, Christakis, Maffei, Nickovic, Weissenbacher
17:40-18:00
C. Wen, J. Cao, J. Su, Z. Xu, S. Qin, M. He, H. Li, S.-C. Cheung, C. Tian
08:30-09:00 Breakfast
10:30-11:00 Coffee Break
12:00-14:00 Lunch (Not Provided)
15:30-16:00 Coffee Break