Précédent

Mai 2013

Suivant
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