FLOC 2018: FEDERATED LOGIC CONFERENCE 2018
FOPSS ON WEDNESDAY, JULY 4TH
Days:
previous day
next day
all days

View: session overviewtalk overviewside by side with other conferences

09:00-10:30 Session 11
09:00
Learning in Verification I
10:30-11:00Coffee Break
11:00-12:30 Session 12
11:00
Learning in Verification II
12:30-14:00Lunch Break
14:00-15:30 Session 13
14:00
Verification of machine learning programs I
15:30-16:00Coffee Break
16:00-17:30 Session 14
16:00
Verification of machine learning programs II