Précédent

Février 2014

Suivant
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