PROGRAM FOR WEDNESDAY, JULY 4TH
Days:
previous day
next day
all days
View: session overviewtalk overview
10:30-11:00Coffee Break
12:30-14:00Lunch Break
14:00-15:30 Session 13 (FoPSS)
Location: St Anne's College
14:00 | Verification of machine learning programs I |
15:30-16:00Coffee Break
16:00-17:30 Session 14 (FoPSS)
Location: St Anne's College
16:00 | Verification of machine learning programs II |