Précédent

Décembre 2013

Suivant
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