FLOC 2018: FEDERATED LOGIC CONFERENCE 2018
ADHS ON WEDNESDAY, JULY 11TH: TALK VIEW
Days:
next 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
18:00
18:30
19:00
19:30
20:00
20:30
21:00
21:30
10:50-11:15
Ivan Zapreev, Cees Verdier, Manuel Mazo Jr.
11:15-11:40
M. Vazquez-Chanlatte, S. Ghosh, V. Raman, A. Sangiovanni-Vincentelli, S. Seshia
11:40-12:05
Adnane Saoud, Pushpak Jagtap, Majid Zamani, Antoine Girard
12:05-12:30
Oscar Bulancea Lindvall, Petter Nilsson, Necmiye Ozay
11:15-11:40
Victor Dolk, Menno Lauret, Duarte Antunes, Patrick Anderson, Maurice Heemels
11:40-12:05
Fatima Zohra Taousser, Michael Defoort, Mohamed Djemai, Seddik Djouadi
12:05-12:30
Nikolaos Athanasopoulos, Raphaël M. Jungers
14:25-14:50
Brandon Bohrer, Adriel Luo, Xue An Chuang, Andre Platzer
14:50-15:15
Ronald Robert Paul van Nooijen, Alla G. Kolechkina
15:15-15:40
Luan Nguyen, Bardh Hoxha, Taylor T Johnson, Georgios Fainekos
14:50-15:15
Yu Wang, Nima Roohi, Mahesh Viswanathan, Geir E. Dullerud, Matthew West
15:15-15:40
Yuriy Zacchia Lun, Jack Wheatley, Alessandro D'Innocenzo, Alessandro Abate
17:00-17:25
Ulrich Fahrenberg
16:10-16:35
Murat Cubuktepe, Mohamadreza Ahmadi, Ufuk Topcu, Brandon Hencey
16:35-17:00
Bacem Ben Nasser, Michael Defoort, Mohamed Djemai, Taous-Meriem Laleg-Kirati
17:00-17:25
Tjorben Groß, Stephan Trenn, Andreas Wirsen
10:30-11:00 Coffee Break
12:30-14:00 Lunch Break
15:30-16:00 Coffee Break
19:00-21:30 FLoC banquet at Examination Schools