Octobre 2016

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