Mars 2015

Lundi	Mardi	Mercredi	Jeudi	Vendredi
23	24 14:00 Profile of random trees Salle B107, bâtiment B, Université de Villetaneuse	25 14:00 Quasi-random properties of subsequences of sequences generated by finite automata Salle B107, bâtiment B, Université de Villetaneuse 14:00 Quasi-Random Properties of Subsequences of Sequences Generated by Finite Automata Amphi A	26	27 11:00 Linear numeral systems Salle B107, bâtiment B, Université de Villetaneuse
2 14:00 Open questions on Dynamic Semantic Annotation Salle B107, bâtiment B, Université de Villetaneuse	3 14:00 Généralisation des nombres et polynômes de Bernoulli aux cas multiples Salle B107, bâtiment B, Université de Villetaneuse	4 9:30 On an Extension of Freeze LTL with Ordered Attributes Salle B107, bâtiment B, Université de Villetaneuse	5	6 11:00 The Plotkin's call-by-value lambda-calculus from a linear-logical viewpoint Salle B107, bâtiment B, Université de Villetaneuse
9 14:00 Sequence Classification Based on Delta-Free Sequential Patterns Salle B107, bâtiment B, Université de Villetaneuse	10 12:30 Multiband Robust Optimization: theory and applications Salle B107, bâtiment B, Université de Villetaneuse 14:00 Une généralisation des mots de Christoffel en dimension d. Salle B107, bâtiment B, Université de Villetaneuse	11	12 12:15 Extraction de motifs graduels pour le résumé de données numériques Salle B107, bâtiment B, Université de Villetaneuse 16:00 Building Bridges Between Sets of Partial Orders Salle B107, bâtiment B, Université de Villetaneuse	13 11:00 Functors are Type Refinement Systems Salle B107, bâtiment B, Université de Villetaneuse
16	17 14:00 ALEA, au CIRM (16-20 mars) Salle B107, bâtiment B, Université de Villetaneuse	18	19 12:15 Calcul efficace de la stabilité des concepts formels Salle B107, bâtiment B, Université de Villetaneuse 14:30 Effective verification of low-level software with nested interrupts Salle B107, bâtiment B, Université de Villetaneuse	20 11:00 An infinitary model of linear logic Salle B107, bâtiment B, Université de Villetaneuse
23	24 12:30 Unit Commitment problems: approaches and solution algorithms Salle B107, bâtiment B, Université de Villetaneuse 14:00 Automates d'arbres Salle B107, bâtiment B, Université de Villetaneuse	25 14:00 Extending Petri Nets with Object-Orientation Amphi A	26	27
30	31 14:00 TASEP Salle B107, bâtiment B, Université de Villetaneuse	1	2 12:15 Extraction non supervisée de classes évolutives à partir de données temporelles Salle B107, bâtiment B, Université de Villetaneuse	3