Précédent

Octobre 2016

Suivant
Lundi
Mardi
Mercredi
Jeudi
Vendredi
26
27
14:00 TBA
Salle B107, bâtiment B, Université de Villetaneuse
28
29
30
3
4
14:00 Évaluation multi-précision rigoureuse de fonctions D-finies en Sage
Salle B107, bâtiment B, Université de Villetaneuse
5
6
10:30 Solving the Asymmetric Travelling Salesman Problem
Salle B107, bâtiment B, Université de Villetaneuse
13:00 Automatic Extraction of Malicious Behaviors
Salle B107, bâtiment B, Université de Villetaneuse
14:00 Évaluation multi-précision rigoureuse de fonctions D-finies
Salle B107, bâtiment B, Université de Villetaneuse
7
10
11
14:00 Non-commutative differential equations and (some) geometrical hints
Salle B107, bâtiment B, Université de Villetaneuse
12
13
14
17
14:00 Framester: A Wide Coverage Linguistic Linked Data Hub
Salle B107, bâtiment B, Université de Villetaneuse
18
12:30 Lower bounds in resource constrained shortest path algorithms
Salle B107, bâtiment B, Université de Villetaneuse
14:00 Combinatoire des mots
Salle B107, bâtiment B, Université de Villetaneuse
19
20
15:30 Integer-Complete Synthesis for Bounded Parametric Timed Automata
Salle B107, bâtiment B, Université de Villetaneuse
21
11:00 Some interplays between proof theory and computational complexity
Salle B107, bâtiment B, Université de Villetaneuse
24
25
14:00 TBA
Salle B107, bâtiment B, Université de Villetaneuse
26
27
28
31
1
2
3
4