FLOC 2022: FEDERATED LOGIC CONFERENCE 2022
HOTT/UF 2022 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