CAV 2020: 32ND INTERNATIONAL CONFERENCE ON COMPUTER AIDED VERIFICATION
PROGRAM FOR THURSDAY, JULY 23RD: TALK VIEW
Days:
previous day
next day
all days

View: with abstractssession overview

8:00
8:30
9:00
9:30
10:00
10:30
11:00
11:30
09:15-09:35
A. Raad, J. Berdine, H.-H. Dang, D. Dreyer, P. O'Hearn, J. Villard
09:35-09:55
James Brotherston, Diana Costa, Aquinas Hobor, John Wickerson
09:55-10:15
Jaroslav Bendík, Kuldeep S. Meel
10:15-10:35
Ting Gan, Bican Xia, Bai Xue, Naijun Zhan, Liyun Dai
10:35-10:45
Claire Dross, Johannes Kanig
09:15-09:35
Shenghua Feng, Mingshuai Chen, Bai Xue, Sriram Sankaranarayanan, Naijun Zhan
09:35-09:55
Kittiphon Phalakarn, Toru Takisaka, Thomas Haas, Ichiro Hasuo
09:55-10:15
Hugo Bazille, Blaise Genest, Cyrille Jegourel, Jun Sun
10:15-10:25
Nima Roohi, Yu Wang, Matthew West, Geir Dullerud, Mahesh Viswanathan
09:15-09:35
Bernd Finkbeiner, Christopher Hahn, Jana Hofmann, Leander Tentrup
09:35-09:45
Abolfazl Lavaei, Mahmoud Khaled, Sadegh Soudjani, Majid Zamani
09:45-09:55
Xujie Si, Aaditya Naik, Hanjun Dai, Mayur Naik, Le Song
09:55-10:15
Marcell Vazquez-Chanlatte, Sanjit A. Seshia
10:15-10:25
L. D'Antoni, M. Helfrich, J. Kretinsky, E. Ramneantu, M. Weininger
10:25-10:45
Priyanka Golia, Subhajit Roy, Kuldeep S. Meel
10:45-11:30 CAV Breakout