Précédent

Mars 2017

Suivant
Lundi
Mardi
Mercredi
Jeudi
Vendredi
27
28
1
2
12:30 On big data, optimization and learning
Salle B107, bâtiment B, Université de Villetaneuse
14:00 Reachability Analysis of Pushdown Systems with an Upper Stack
Salle B107, bâtiment B, Université de Villetaneuse
3
11:00 Introduction à la théorie de la complexité géométrique, d'après K. Mulmuley
Salle B107, bâtiment B, Université de Villetaneuse
6
14:00 Automatic Deception Detection in Text Applying Topic Modeling Algorithms
Salle B107, bâtiment B, Université de Villetaneuse
7
11:30 Valid quadratic inequalities for convex and some non-convex quadratic sets
Salle B107, bâtiment B, Université de Villetaneuse
8
9
10:30 Hybride Modelling, Analysis and Quantitative Verification of Large Biological Regulatory Networks
Salle B107, bâtiment B, Université de Villetaneuse
10
11:00 Retrofitting linear types
Salle B107, bâtiment B, Université de Villetaneuse
13
14
14:00 Géométrie combinatoire : densité d'hypergraphes et méthode probabiliste
Salle B107, bâtiment B, Université de Villetaneuse
15
16
15:30 Preserving Partial Order Runs in Parametric Time Petri Nets
Salle B107, bâtiment B, Université de Villetaneuse
17
11:00 Des preuves, oui, mais formelles !
Salle B107, bâtiment B, Université de Villetaneuse
20
21
22
23
14:00 CARET Model Checking For Pushdown Systems
Salle B107, bâtiment B, Université de Villetaneuse
24
11:00 Syntaxe transcendentale: seconde lecture.
Salle B107, bâtiment B, Université de Villetaneuse
27
28
14:00 Phase Transition Threshold for Random Graphs and 2-SAT using Degree Constraints
Salle B107, bâtiment B, Université de Villetaneuse
29
30
31
11:00 Équivalences entre programmes
Salle B107, bâtiment B, Université de Villetaneuse