Précédent

Mars 2016

Suivant
Lundi
Mardi
Mercredi
Jeudi
Vendredi
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
7
8
9
10
11
11:00 Interaction Graphs and Quantitative Semantics
Salle B107, bâtiment B, Université de Villetaneuse
14
15
14:00 Partitions d'entiers et groupes de Coxeter
Salle B107, bâtiment B, Université de Villetaneuse
15:00 Treillis cambriens et treillis de Tamari : graphes dirigés et groupes de Coxeter
Salle B107, bâtiment B, Université de Villetaneuse
16
17
18
11:00 Open Call-by-Value
Salle B107, bâtiment B, Université de Villetaneuse
21
14:00 Apprentissage partiel de dépendances syntaxiques et application au transfert cross-lingue
Salle B107, bâtiment B, Université de Villetaneuse
22
12:30 Combinatorial Optimization subject to PDE constraints
Salle B107, bâtiment B, Université de Villetaneuse
14:00 Calculer dans un automate cellulaire unidirectionnel réversible : vers l'indécidabilité de la périodicité?
Salle B107, bâtiment B, Université de Villetaneuse
15:00 Lattice paths in 3D
Salle B107, bâtiment B, Université de Villetaneuse
23
24
25
11:00 String diagrams for Proof nets
Salle B107, bâtiment B, Université de Villetaneuse
28
29
10:30 Regulated Grammars and Automata
Salle B107, bâtiment B, Université de Villetaneuse
14:00 Lattice paths in 3D
Salle B107, bâtiment B, Université de Villetaneuse
15:00 Regulated Grammars and Automata
Salle B107, bâtiment B, Université de Villetaneuse
30
31
1