Précédent

Septembre 2017

Suivant
Lundi
Mardi
Mercredi
Jeudi
Vendredi
28
29
30
11:00 Coherence for skew near-semiring categories
Salle B107, bâtiment B, Université de Villetaneuse
31
1
4
5
14:00 On the shape of random Pólya structures
Salle B107, bâtiment B, Université de Villetaneuse
6
7
8
11
12
13
14
15
18
19
14:00 TBA
Salle B107, bâtiment B, Université de Villetaneuse
20
21
22
11:00 Circular Proofs for Subtyping and Termination
Salle B107, bâtiment B, Université de Villetaneuse
25
26
27
28
29