|
9:30 - 10:15
|
F. Lamarche "Fondements Géométriques de la Réécriture"
|
|
10:30 - 11:15
|
P.-A. Mélliès "Sémantique des jeux asynchrones: entre séquentialité et concurrence"
|
|
11:30 - 11:45
|
Pause
|
|
11:45 - 12:00
|
J.-L. Giavitto, présentation des activités au LAMI
|
|
12:00 - 12:30
|
Discussion entre les participants
|
|
12:30 - 14:00
|
Déjeuner
|
|
14:00 - 14:15
|
P. Gaucher, présentation de son activité
|
|
14:15 - 15:00
|
P. Gaucher
"Structures modèles pour la dihomotopie"
|
|
15:15 - 15:30
|
Pause
|
|
15:30 - 15:45
|
A. Burroni, présentation de son activité
|
|
15:45 - 16:30
|
A. Burroni "La bisimilitude vue par un catégoricien"
|
|
16:45 - 17:15
|
Discussion entre les participants
|