FLOC 2022: FEDERATED LOGIC CONFERENCE 2022
SYNT ON FRIDAY, AUGUST 12TH
Days:
previous day
all days

View: session overviewtalk overviewside by side with other conferences

08:30-09:00Coffee & Refreshments
10:30-11:00Coffee Break
12:30-14:00Lunch Break

Lunches will be held in Taub hall.

15:30-16:00Coffee Break