FLOC 2018: FEDERATED LOGIC CONFERENCE 2018
CAV ON TUESDAY, JULY 17TH: TALK VIEW
Days:
previous day
all days

View: with abstractssession overviewside by side with other conferences

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
09:00-09:15
Suguman Bansal, Swarat Chaudhuri, Moshe Vardi
09:15-09:30
Matthew Bauer, Rohit Chadha, Mahesh Viswanathan, Prasad Sistla
09:30-09:45
Weikun Yang, Pramod Subramanyan, Yakir Vizel, Aarti Gupta, Sharad Malik
10:00-10:15
K. Chatterjee, M. Henzinger, V. Loitzenbauer, S. Oraee, V. Toman
11:00-11:15
Soonho Kong, Armando Solar-Lezama, Sicun Gao
11:15-11:30
Aina Niemetz, Mathias Preiner, Andrew Reynolds, Clark Barrett, Cesare Tinelli
11:30-11:45
Markus N. Rabe, Leander Tentrup, Cameron Rasmussen, Sanjit A. Seshia
11:45-12:00
Robert Robere, Antonina Kolokolova, Vijay Ganesh
12:00-12:15
Benjamin Farinier, Sebastien Bardin, Richard Bonichon, Marie-Laure Potet
14:00-14:15
Xinhao Yuan, Junfeng Yang, Ronghui Gu
14:15-14:30
Suha Orhun Mutluergil, Constantin Enea, Ahmed Bouajjani, Serdar Tasiran
14:30-14:45
Huyen T.T. Nguyen, Cesar Rodriguez, Marcelo Sousa, Camille Coti, Laure Petrucci
14:45-15:00
Ahmed Bouajjani, Constantin Enea, Kailiang Ji, Shaz Qadeer
15:00-15:15
Elvira Albert, Miguel Gomez-Zamalloa, Miguel Isabel, Albert Rubio
16:00-16:15
Mark Tullsen, Lee Pike, Nathan Collins, Aaron Tomb
16:30-16:45
Daniel Schemmel, Julian Büning, Oscar Soria Dustmann, Thomas Noll, Klaus Wehrle
16:45-17:00
B. Cook, K. Khazem, D. Kroening, S. Tasiran, M. Tautschnig, M.R. Tuttle
17:00-17:15
Taolue Chen, Jinlong He, Fu Song, Guozhen Wang, Zhilin Wu, Jun Yan
17:30-17:45
Eric Goubault, Sylvie Putot, Lorenz Sahlman
10:30-11:00 Coffee Break
12:30-14:00 Lunch Break
15:30-16:00 Coffee Break