Décembre 2013
Lundi
Mardi
Mercredi
Jeudi
Vendredi
25
26
12:00
On unified methods for multi-attribute VRPs, route evaluation operators and large neighborhoods
Salle B107, bâtiment B, Université de Villetaneuse
27
28
29
10:00
Présentation de l2coq : une bibliothèque pour des preuves linéaires en Coq
Salle B107, bâtiment B, Université de Villetaneuse
12:00
Vector space decomposition for linear programming
Salle B107, bâtiment B, Université de Villetaneuse
2
3
12:00
A branch-and-bound method for box constrained integer polynomial optimization
Salle B107, bâtiment B, Université de Villetaneuse
14:00
Efficient Algorithms for Dualizing Large-Scale Hypergraphs
Salle B107, bâtiment B, Université de Villetaneuse
4
10:30
A New Approach to String Pattern Mining with Approximate Match
Salle B107, bâtiment B, Université de Villetaneuse
5
6
0:59
Data-race freedom by typing in Mezzo
Salle B107, bâtiment B, Université de Villetaneuse
9
10
10:30
Autour des arbres de coalescence
Salle B107, bâtiment B, Université de Villetaneuse
11:30
Comportements asymptotiques dans quelques problèmes de sous-suites communes et/ou croissantes
Salle B107, bâtiment B, Université de Villetaneuse
14:00
Diamant aztèque, pyramides, et pavages pentus de Z^2
Salle B107, bâtiment B, Université de Villetaneuse
15:00
Sur la structure conforme des cartes planaires aléatoires
Salle B107, bâtiment B, Université de Villetaneuse
11
12
13
16
17
12:00
Konig's edge-colouring theorem for all graphs
Salle B107, bâtiment B, Université de Villetaneuse
18
19
20
23
24
25
26
27
30
31
1
2
3
