Précédent

Décembre 2014

Suivant
Lundi
Mardi
Mercredi
Jeudi
Vendredi
1
2
12:30 Robust network design with uncertain outsourcing cost
Salle B107, bâtiment B, Université de Villetaneuse
14:00 Analyse en moyenne d'algorithmes sur les graphes
Salle B107, bâtiment B, Université de Villetaneuse
3
4
5
8
9
12:30 Complexity aspects of graph convexities
Salle B107, bâtiment B, Université de Villetaneuse
14:00 Asymptotic expansion for random tensor models
Salle B107, bâtiment B, Université de Villetaneuse
10
11
16:00 CosyVerif: An Open Source Extensible Verification Environment
Salle B107, bâtiment B, Université de Villetaneuse
12
11:00 Asynchronous Interaction with Theorem Provers: ProofGeneral's Last March
Salle B107, bâtiment B, Université de Villetaneuse
15
16
14:10 Plus long cycle dans les graphes aléatoires
Salle B107, bâtiment B, Université de Villetaneuse
15:10 Dependence and phase change in random m-ary search trees
Salle B107, bâtiment B, Université de Villetaneuse
17
18
16:00 Teaching Formal Methods: Experience at UPMC and UP13 with CosyVerif
Salle B107, bâtiment B, Université de Villetaneuse
19
22
23
24
25
26
29
30
31
1
2