08:00
09:00
10:00
11:00
12:00
13:00
14:00
15:00
16:00
17:00
18:00
19:00
20:00
21:00
22:00
8:30 - 10:00 (1h30)
Formal Methods for Machine Learning Pipelines – Catarina Urban, INRIA, ANTIQUE Team
D030
10:00 - 10:15 (15min)
Coffee break
C080
10:15 - 12:15 (2h)
Formal Methods for Machine Learning Pipelines – Catarina Urban, INRIA, ANTIQUE Team
D030
12:15 - 13:30 (1h15)
Lunch
C080
13:30 - 15:30 (2h)
Multiagent trust management models – Laurent Vercouter, INSA Rouen, LITIS
D030
15:30 - 15:45 (15min)
Coffee break
C080
15:45 - 17:30 (1h45)
Multiagent trust management models – Laurent Vercouter, INSA Rouen, LITIS {continued}
D030
›20:00 (2h)
› La cuisine | 5 Places des Clercs 26 000 VALENCE | www.lacuisinevalence.fr
20:00 - 22:00 (2h)
Social Event!
La cuisine | 5 Places des Clercs 26 000 VALENCE | www.lacuisinevalence.fr
