Précédent

Janvier 2019

Suivant
Lundi
Mardi
Mercredi
Jeudi
Vendredi
31
1
2
3
4
7
8
9
10
10:30 Linear Implicative Algebras, a Brouwer-Heyting-Kolmogorov interpretation of linear logic
Salle B107, bâtiment B, Université de Villetaneuse
11
14
15
12:15 Towards parallel verification of concurrent systems
Salle A303, bâtiment A, Université de Villetaneuse
16
17
12:15 Characterizing community detection algorithms and detected modules in large-scale complex networks
Salle B107, bâtiment B, Université de Villetaneuse
18
21
22
23
24
25
28
29
30
31
12:15 Approches génériques pour le traitement des données textuelles et numériques volumineuses, changeantes et multi-vues et des données en graphes
Salle B107, bâtiment B, Université de Villetaneuse
1