FLOC 2018: FEDERATED LOGIC CONFERENCE 2018
PROGRAM FOR TUESDAY, JULY 17TH: TALK VIEW
Days:
previous day
next 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: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
09:00-09:30
Takumi Akazaki, Shuang Liu, Yoriyuki Yamagata, Yihai Duan, Jianye Hao
09:30-10:00
Dhriti Khanna, Subodh Sharma, César Rodríguez, Rahul Purandare
09:00-09:30
Cesar Munoz, Anthony Narkawicz, Aaron Dutle
10:00-10:30
Joerg Brauer, Uwe Schulze
09:00-09:30
Tbd Tbd
09:30-10:00
Tbd Tbd
10:00-10:30
Tbd Tbd
10:00-10:30
Jens Katelaan, Dejan Jovanović, Georg Weissenbacher
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
11:30-12:00
M. Gebser, V. Nguyen, P. Obermeier, T. Otto, O. Sabuncu, T. Schaub, T.C. Son
11:30-12:00
Miika Hannula, Sebastian Link
12:00-12:30
Julio Cesar Lopez Hernandez, Konstantin Korovin
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
14:00-14:30
F. Zhang, Y. Zhao, D. Sanan, Y. Liu, A. Tiu, S.-W. Lin, J. Sun
14:30-15:00
Axel Legay, Dirk Nowotka, Danny Bøgsted Poulsen, Louis-Marie Traonouez
14:00-14:30
Daniel Kaestner, Laurent Mauborgne, Christian Ferdinand
14:30-15:00
Pavel Avgustinov, Kevin Backhouse, Man Yue Mo
15:00-15:30
Ernie Cohen
14:00-14:30
Gregory Duck, Joxan Jaffar, Roland Yap
14:30-15:00
Joohyung Lee, Yi Wang
15:00-15:30
Arun Nampally, Timothy Zhang, C. R. Ramakrishnan
14:00-14:15
Alexander Steen, Christoph Benzmüller
14:30-14:45
Sylvain Conchon, David Declerck, Fatiha Zaidi
14:45-15:00
Sarah Winkler, Georg Moser
15:00-15:15
Nao Hirokawa, Julian Nagele, Aart Middeldorp
15:15-15:30
Franziska Rapp, Aart Middeldorp
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
16:00-16:30
Sorawee Porncharoenwase, Tim Nelson, Shriram Krishnamurthi
16:30-17:00
Chuchu Fan, Zhenqi Huang, Sayan Mitra
17:00-17:30
E. Albert, M. Gomez-Zamalloa, A. Rubio, M. Sammartino, A. Silva
17:30-18:00
Alessandro Cimatti, Ivan Stojic, Stefano Tonetta
16:00-16:30
Nikolaj Bjorner
16:00-16:30 Doctoral Consortium teaser talks
16:00-18:00 CADE/IJCAR Business Meeting
16:30-16:45
M. Klemen, N. Stulova, P. López-García, J.F. Morales, M.V. Hermenegildo
16:45-17:00
Isabel Garcia-Contreras, Jose F. Morales, Manuel V. Hermenegildo
17:00-17:15
Benjamin Wu, Alessandra Russo, Mark Law, Katsumi Inoue
17:30-17:45
Nada Sharaf, Slim Abdennadher, Thom Fruehwirth
17:45-18:00
C. Zaniolo, A. Das, M. Yang, A. Shkapsky, M. Interlandi, T. Condie
10:30-11:00 Coffee Break
12:30-14:00 Lunch Break
15:30-16:00 Coffee Break