Septembre 2014
Lundi
Mardi
Mercredi
Jeudi
Vendredi
1
2
3
4
5
8
9
10
11
12
15
16
12:00
Lexicographical polytopes
Salle B107, bâtiment B, Université de Villetaneuse
17
18
19
22
23
12:00
Vérification distribuée par exploration d'un espace de paramètres
Salle B107, bâtiment B, Université de Villetaneuse
24
25
26
29
30
1
2
3
