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
14:00
soutenance de thèse
Salle B107, bâtiment B, Université de Villetaneuse
24
25
26
29
14:00
Peuplement d'ontologies par des techniques de TAL
Salle B107, bâtiment B, Université de Villetaneuse
30
14:00
Polynomials invariants on stranded graphs
Salle B107, bâtiment B, Université de Villetaneuse
1
2
3