CONFERENCE SCHEDULE
SPECIAL EVENTS
17:10-18:00 Moshe Vardi - How to be an ethical computer scientist
18:00 -19:00 a session to honor 100 years since the birth of the late Boris (Boaz) Trakhtenbrot
18:30-20:00 Workshop Dinner (at the Technion) Paid event
Aug 1
11:00-11:10 Opening notes
11:10-12:10 Catuscia Palamidessi's Keynote Talk
17:30-18:30 Logic Lounge - Thinking Fast and Slow in AI - Francesca Rossi
19:00-20:30 FloC Reception (at the Technion)
Aug 2
09:00-10:00 Don Knuth's CP Invited Speaker Talk
16:00-17:30 Olympic Games
18:30-20:30 Walking tour | pickup at 18:00 from the Technion (Tour at Haifa, no food will be provided)
Aug 3
16:00-17:00 Orna Kupferman's Plenary Talk
17:00 Piano concert at KR 2022 (open to the public)
19:30-22:00 FLoC Banquet (at Bikta Bayar - Beit Oren) Paid event
Aug 4
Excursion Day - 3 Routes Paid event
(starting early morning 'till very late afternoon)
Aug 6
11:00-11:10 Opening notes
11:10-12:10 Ziyad Hanna's Keynote Talk
17:30-18:45 Logic Lounge - Future of Autonomous Driving: Keynote: Shai Shalev-Shwartz | Panel: Gila Kamhi, Sanjit Seshia, Shai Shalev-Shwartz
19:00-20:30 FLoC Reception (at the Technion)
Aug 7
18:30-20:30 Walking tour | pickup at 18:00 from the Technion (Tour at Haifa, no food will be provided)
Aug 8
15:00-16:00 Olympic Games | 16:00 Coffee Break (30 min)
16:30-17:30 Aarti Gupta's Plenary Talk
19:30 FLoC Banquet (at Bikta Bayar - Beit Oren) Paid event
Aug 9
18:00-19:30 Workshop Dinner (at the Technion) Paid event
Aug 11
Aug 14-17
08:30
Coffee & Refreshments (30 min)
09:00
Session 1 (90 min)
10:30
Coffee Break (30 min)
11:00
Session 2 (90 min)
12:30
Lunch (90 min)
14:00
Session 3 (90 min)
15:30
Coffee Break (30 min)
16:00
Session 4 (90 min)