Précédent

Février 2016

Suivant
Lundi
Mardi
Mercredi
Jeudi
Vendredi
1
2
12:30 A Tabu Search Heuristic for a Staff Scheduling Problem
Salle B107, bâtiment B, Université de Villetaneuse
14:00 Generating series of the trace group, and Möbius inversion
Salle B107, bâtiment B, Université de Villetaneuse
3
4
5
8
9
12:30 Primal Heuristics for Branch-and-Price
Salle B107, bâtiment B, Université de Villetaneuse
14:00 TBC
Salle B107, bâtiment B, Université de Villetaneuse
10
11
14:00 Timed Aggregate Graph : a finite graph for model checking of Time Petri Nets
Salle B107, bâtiment B, Université de Villetaneuse
12
11:00 Hacking Nondeterminism with Induction and Coinduction
Salle B107, bâtiment B, Université de Villetaneuse
15
16
14:00 TBC
Salle B107, bâtiment B, Université de Villetaneuse
17
18
14:00 Sampled Weighted Min-Hashing for Large-Scale Topic Mining
Salle B107, bâtiment B, Université de Villetaneuse
19
11:00 Relational type-checking of connected proof-structures
Salle B107, bâtiment B, Université de Villetaneuse
22
23
24
25
26
29
1
14:00 Algèbre de Hopf cambrienne
Salle B107, bâtiment B, Université de Villetaneuse
2
3
14:00 Parameter Synthesis for Parametric Interval Markov Chains
Salle B107, bâtiment B, Université de Villetaneuse
4
11:00 Caractérisation impérative des algorithmes séquentiels en temps quelconque, primitif récursif et polynomial
Salle B107, bâtiment B, Université de Villetaneuse