FLOC 2022: FEDERATED LOGIC CONFERENCE 2022
NSV 2022 PROGRAM
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