Précédent

Juin 2013

Suivant
Lundi
Mardi
Mercredi
Jeudi
Vendredi
27
28
29
30
31
0:59 Game semantics and applications to compilation (3/3): A type system for hard real-time computation
Salle B107, bâtiment B, Université de Villetaneuse
0:59 From Mind to Turing to Mind
Salle B107, bâtiment B, Université de Villetaneuse
3
4
0:59 Exploring Scholarly Data with Rexplore
Amphithéâtre Euler, Institut Galilée, Université de Villetaneuse
14:00 Combinatorics of the hard-squares model
Salle B107, bâtiment B, Université de Villetaneuse
5
6
7
0:59 Graphical Foundations for Dialogue Games
Salle B107, bâtiment B, Université de Villetaneuse
10
11
14:00 Extreme statistics of non-intersecting Brownian motions
Salle B107, bâtiment B, Université de Villetaneuse
12
13
10:30 Journée ANR Magnum
Salle B107, bâtiment B, Université de Villetaneuse
14
0:59 Some Results for Linear Logic Full Completeness
Salle B107, bâtiment B, Université de Villetaneuse
17
18
14:00 Where the really hard problems really are?
Salle B107, bâtiment B, Université de Villetaneuse
19
20
21
24
25
26
27
28