Février 2014
Lundi
Mardi
Mercredi
Jeudi
Vendredi
27
28
14:00
Combinatoire et algorithmique dans les classes de permutations
Salle B107, bâtiment B, Université de Villetaneuse
29
30
31
3
4
12:00
Capacity Planning for Natural Gas Transmission Networks
Salle B107, bâtiment B, Université de Villetaneuse
5
6
7
0:59
Models of a Non-Associative Composition
Salle B107, bâtiment B, Université de Villetaneuse
10
0:59
La paraphrase : approches et modélisations linguistiques, mise en oeuvre informatique
Salle B107, bâtiment B, Université de Villetaneuse
11
14:00
Petit voyage autour des sémantiques quantitatives de la logique linéaire
Salle B107, bâtiment B, Université de Villetaneuse
12
13
14
0:59
Two Intensional Phenomena: The Size of Church-Rosser Diagrams, and Characterization of PTIME via Overlapping Cons-Free Systems
Salle B107, bâtiment B, Université de Villetaneuse
17
18
12:30
Circuit and bond polytopes in series-parallel graphs
Salle B107, bâtiment B, Université de Villetaneuse
19
20
21
0:59
Paramétricité et type identité : application à la structure d'Ï-groupoide des types
Salle B107, bâtiment B, Université de Villetaneuse
24
25
10:30
Cluster fans
Salle B107, bâtiment B, Université de Villetaneuse
14:00
A left/right dynamic on permutations
Salle B107, bâtiment B, Université de Villetaneuse
26
27
28
0:59
Ludique et types: éléments de déconstruction
Salle B107, bâtiment B, Université de Villetaneuse