FLOC 2022: FEDERATED LOGIC CONFERENCE 2022
BCORE-22 PROGRAM
Sunday, July 31st

View this program: with abstractssession overviewtalk overviewside by side with other conferences

10:30-11:00Coffee Break
12:30-14:00Lunch Break
15:30-16:00Coffee Break
Monday, August 1st

View this program: with abstractssession overviewtalk overviewside by side with other conferences

10:30-11:00Coffee Break
12:30-14:00Lunch Break
15:30-16:00Coffee Break
18:30-20:00Workshop Dinner (at the Technion) - Paid event
Tuesday, August 2nd

View this program: with abstractssession overviewtalk overviewside by side with other conferences

10:30-11:00Coffee Break
11:00-12:00 Session 28: Keynote
11:00
Catuscia Palamidessi
TBA
12:30-14:00Lunch Break
15:30-16:00Coffee Break
17:30-18:30 Session 34: Logic Lounge: Thinking Fast and Slow in AI (Francesca Rossi, IBM Research, USA)
19:00-20:30 FloC Reception (at the Technion)
Wednesday, August 3rd

View this program: with abstractssession overviewtalk overviewside by side with other conferences

10:30-11:00Coffee Break
12:30-14:00Lunch Break
15:30-16:00Coffee Break
18:30-20:30 Walking tour (at Haifa)
Thursday, August 4th

View this program: with abstractssession overviewtalk overviewside by side with other conferences

10:30-11:00Coffee Break
12:30-14:00Lunch Break
15:30-16:00Coffee Break
16:00-17:00 Session 49: Plenary
16:00
Orna Kupferman
Complexity Measures for Reactive Systems (abstract)
19:30-22:00 FLoC Banquet (at Bikta Bayar - Beit Oren) - Paid event
Friday, August 5th

View this program: with abstractssession overviewtalk overviewside by side with other conferences

10:30-11:00Coffee Break
12:30-14:00Lunch Break
15:30-16:00Coffee Break
Saturday, August 6th

View this program: with abstractssession overviewtalk overviewside by side with other conferences

00:00-23:59 Excursion Day (3 routes) - Paid event
Sunday, August 7th

View this program: with abstractssession overviewtalk overviewside by side with other conferences

10:30-11:00Coffee Break
11:00-12:00 Session 66: Keynote
11:00
Ziyad Hanna
Harnessing the Power of Formal Verification for the $Trillion Chip Design Industry (abstract)
12:30-14:00Lunch Break
15:30-16:00Coffee Break
17:30-18:45 Session 70: Logic Lounge: Future of Autonomous Driving; Keynote by Shai Shalev-Shwartz (Mobileye and The Hebrew University of Jerusalem); Panel: Gila Kamhi (Intel, Haifa), Sanjit Seshia (UC Berkeley)
19:00-20:30 FLoC Reception (at the Technion)
Monday, August 8th

View this program: with abstractssession overviewtalk overviewside by side with other conferences

10:30-11:00Coffee Break
12:30-14:00Lunch Break
15:30-16:00Coffee Break
18:30-20:30 Walking tour (at Haifa)
Tuesday, August 9th

View this program: with abstractssession overviewtalk overviewside by side with other conferences

10:30-11:00Coffee Break
12:30-14:00Lunch Break
16:00-16:30Coffee Break
16:30-17:30 Session 83: Plenary
16:30
Aarti Gupta
SMT-based Verification of Distributed Network Control Planes (abstract)
19:30-22:00 FLoC Banquet (at Bikta Bayar - Beit Oren) - Paid event
Wednesday, August 10th

View this program: with abstractssession overviewtalk overviewside by side with other conferences

10:30-11:00Coffee Break
12:30-14:00Lunch Break
15:30-16:00Coffee Break
Thursday, August 11th

View this program: with abstractssession overviewtalk overviewside by side with other conferences

10:30-11:00Coffee Break
12:30-14:00Lunch Break
15:30-16:00Coffee Break
18:00-19:30Workshop Dinner (at the Technion) - Paid event
Friday, August 12th

View this program: with abstractssession overviewtalk overviewside by side with other conferences

10:30-11:00Coffee Break
12:30-14:00Lunch Break
15:30-16:00Coffee Break