CAV 2019: 31ST INTERNATIONAL CONFERENCE ON COMPUTER AIDED VERIFICATION
PROGRAM FOR THURSDAY, JULY 18TH: TALK VIEW
Days:
previous day
all days

View: with abstractssession overview

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:00-09:20
J. Liu, B. Zhan, S. Wang, S. Ying, T. Liu, Y. Li, M. Ying, N. Zhan
09:20-09:40
Gidon Ernst, Toby Murray
10:20-10:30 Results of Sygus competition
10:30-10:50
Idan Berkovits, Marijana Lazic, Giuliano Lossa, Oded Padon, Sharon Shoham
10:50-11:10
Rachid Zennou, Ahmed Bouajjani, Constantin Enea, Mohammed Erradi
11:10-11:30
Sidi Mohamed Beillahi, Ahmed Bouajjani, Constantin Enea
11:30-11:50
Nick Giannarakis, Ryan Beckett, Ratul Mahajan, David Walker
11:50-12:10
Ranadeep Biswas, Michael Emmi, Constantin Enea
12:10-12:30
Andrei Damian, Cezara Dragoi, Alexandru Militaru, Josef Widder
14:30-14:50
Hari Govind Vediramana Krishnan, Yakir Vizel, Vijay Ganesh, Arie Gurfinkel
15:10-15:30
Yotam M. Y. Feldman, James R. Wilcox, Sharon Shoham, Mooly Sagiv
15:30-15:50
Florian Frohn, Jürgen Giesl
15:50-16:00
Juneyoung Lee, Chung-Kil Hur, Nuno P. Lopes
16:30-16:50
Kartik Nagar, Suresh Jagannathan
17:10-17:30
Xiaojie Guo, Maxime Lesourd, Mengqi Liu, Lionel Rieg, Zhong Shao
09:50-10:20 Coffee Break
12:30-14:30 Lunch Break
16:00-16:30 Coffee Break