Mai 2013
Lundi
Mardi
Mercredi
Jeudi
Vendredi
29
30
1
2
10:30
Méthodes combinatoires pour la gravité quantique
Salle B107, bâtiment B, Université de Villetaneuse
14:30
Le modèle à 6 vertex généralisé et les polynômes de Macdonald
Salle B107, bâtiment B, Université de Villetaneuse
3
6
7
8
9
10
13
14
12:30
Quelques résultats sur les codes identifiants
Salle B107, bâtiment B, Université de Villetaneuse
14:00
Combinatorial Hopf algebraic description of the multiscale renormalization in quantum field theory
Salle B107, bâtiment B, Université de Villetaneuse
15
16
17
0:59
Are partial orderings intrinsic to computations?
Salle à fixer, Université de Villetaneuse
20
21
14:00
Une généralisation du théorème de Roth pour les progressions arithmétiques
Salle B107, bâtiment B, Université de Villetaneuse
22
0:59
Game semantics and applications to compilation (1/3): Semantic foundations of heterogeneous compilation
Salle B107, bâtiment B, Université de Villetaneuse
23
9:00
Yueyun Hu (LAGA), Axel Bacher (LIPN), Vladas Sidoravicius (Sao Paulo), Hugo Duminil-Copin (Genève), Guy Fayolle (INRIA)
Salle B107, bâtiment B, Université de Villetaneuse
24
0:59
Game semantics and applications to compilation (2/3): Abstract machines for game semantics
Salle B107, bâtiment B, Université de Villetaneuse
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