FLOC 2018: FEDERATED LOGIC CONFERENCE 2018
PROGRAM FOR TUESDAY, JULY 3RD
Days:
previous day
next day
all days

View: session overviewtalk overview

09:00-10:30 Session 9 (FoPSS)
Location: St Anne's College
09:00
Borja Balle
Automata learning I
10:30-11:00Coffee Break
11:00-12:30 Session 10 (FoPSS)
Location: St Anne's College
11:00
Borja Balle
Automata learning II
12:30-14:00Lunch Break