15-16 Nov 2017 Villeurbanne (France)

Planning

‹ Thursday, November 16, 2017
08:00
09:00
10:00
11:00
12:00
13:00
14:00
15:00
16:00
17:00
›8:30 (30min)
Welcome
›10:00 (20min)
Coffee break
›12:35 (1h20)
Lunch
›14:00 (1h)
Tutorial: Coq for beginners (II)
Pierre Courtieu
›16:40 (1h)
Discussion
Session
Speech
Logistics
Break
Tour
Online user: 1