Précédent

Juin 2017

Suivant
Lundi
Mardi
Mercredi
Jeudi
Vendredi
29
30
12:30 Combinatorial optimization problems in networks
Salle B107, bâtiment B, Université de Villetaneuse
14:00 Sommes binomiales, diagonales de fonctions rationnelles et intégrales sur des cycles
Salle B107, bâtiment B, Université de Villetaneuse
31
1
2
5
6
7
8
9
11:00 An interpretation of system F through bar recursion
Salle B107, bâtiment B, Université de Villetaneuse
12
13
10:30 Opérades des cliques décorées
Salle B107, bâtiment B, Université de Villetaneuse
14:00 Séries génératrices généralisées via des opérades colorées et grammaires à bourgeons
Salle B107, bâtiment B, Université de Villetaneuse
14
15
16
11:00 Bar-récursion, analyse et réalisabilité classique
Salle B107, bâtiment B, Université de Villetaneuse
19
20
21
22
23
11:00 Petite introduction à la logique catégorique
Salle B107, bâtiment B, Université de Villetaneuse
26
27
28
29
30
11:00 Inductive and Functional Types in Ludics
Salle B107, bâtiment B, Université de Villetaneuse