Programme
|
‹
jeudi 17 septembre 2015 ›
|
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
|
›9:00 (1h)
Gilles BERNOT
A genetically modified Hoare logic that identifies the parameters of a gene network
›14:00 (1h)
David HAREL
More Thoughts on the Whole Organism Challenge
|
|
Session |
|
Discours |
|
Logistique |
|
Pause |
|
Sortie |
|