FLOC 2022: FEDERATED LOGIC CONFERENCE 2022
OG-22 PROGRAM

Days: Sunday, July 31st Monday, August 1st Tuesday, August 2nd Wednesday, August 3rd Thursday, August 4th Friday, August 5th Saturday, August 6th Sunday, August 7th Monday, August 8th Tuesday, August 9th Wednesday, August 10th Thursday, August 11th Friday, August 12th

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
16:00-17:30 Session 40F: The Olympic Games Session (Block 1)

Results of Confluence Competition, LP/CP Programming Contest, XCSP3, MiniZinc, SAT Competition, MaxSAT Evaluation, Model counting competition, Quantified Boolean Formulas.

Chair:
Dana Drachsler Cohen
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
15:00-16:00 Session 81: The Olympic Games Session (Block 2)

Results of SYNTComp, SyGuS+SemGuS, CASC-J11, termCOMP, SMT Competition, SL Competition.

Chair:
Dana Drachsler Cohen
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