Février 2016

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