Précédent

Novembre 2014

Suivant
Lundi
Mardi
Mercredi
Jeudi
Vendredi
27
28
14:00 Graphes d'interaction et équations d'évolution
Salle B107, bâtiment B, Université de Villetaneuse
29
30
15:30 Modèles et paradigmes de programmation parallèle distribuée
Salle B107, bâtiment B, Université de Villetaneuse
31
3
4
5
6
16:00 Introduction to Partial Order Reductions
Salle B107, bâtiment B, Université de Villetaneuse
7
10
11
12
13
14
17
18
14:00 Cryptophie : Black-box Trace and Revoke Codes
Salle B107, bâtiment B, Université de Villetaneuse
19
20
15:30 Abstraction and Modular Verification of Services Using Symbolic Observation Graph (SOG)
Salle B107, bâtiment B, Université de Villetaneuse
21
10:30 Chemins en ludique non-linéaire
Salle B107, bâtiment B, Université de Villetaneuse
24
25
14:00 Le diamètre asymptotique des associaèdres généralisés
Salle B107, bâtiment B, Université de Villetaneuse
26
27
16:00 Precise Robustness Analysis of Real-Time Systems
Salle B107, bâtiment B, Université de Villetaneuse
28
11:00 New applications of moment-SOS hierarchies
Salle B107, bâtiment B, Université de Villetaneuse