Geometry of Computation 2006

Semantics week : February 20-24

Marseille - Luminy - CIRM


9h - 10h30 11h - 12h30 14h - 15h30 16h - 17h30
Mon
GI-SG (tutorial)

Laurent Regnier (90 ')

Bibliothèque
GI-SG (tutorial)

Phil Scott (90 ')

Bibliothèque
SG
John Power (45 ')
Ryu Hasegawa (45 ')

Annexe
HC
Rob van Glabbeek (45 ')
Krzysztof Worytkiewicz (45 ')

Bibliothèque
SG (until 18h00)
Luigi Santocanale (45 ')
Dan Ghica (45 ')
Andrzej Murawski (30 ')
Annexe
HC
Yves Guiraud (45 ')
Yves Lafont (45 ')

Bibliothèque
Tue
GI

Jean-Yves Girard (90 ')

Bibliothèque

GI
Esfan Haghverdi (45 ')
Samson Abramsky (45 ')

Bibliothèque
HC

E Goubault - E Haucourt (90 ')

Annexe
GI
Harry Mairson (45 ')
Sergey Slavnov (45 ')

Bibliothèque
SG
Stephen Brookes (45 ')
Cristiano Calcagno (45 ')

Annexe
GI-SG

Thomas Ehrhard (45 ')
Claudia Faggian (45 ')

Bibliothèque
Wed
SG
Samson Abramsky (45 ')
Martin Hyland (45 ')

Bibliothèque
HC

Discussion (90 ')

Chapelle
SG
Luke Ong (45 ')
Joachim de Lataillade (45 ')

Bibliothèque
HC

F Métayer - Y Lafont (90 ')

Chapelle
Excursion
Thu
GI
Martin Hyland (45 ')
Jean Goubault-Larrecq (45 ')

Bibliothèque
HC

Albert Burroni (90 ')

Chapelle
GI
Rick Blute (45 ')
Robin Cockett (45 ')

Bibliothèque
HC

Luigi Santocanale (45 ')

Chapelle
GI

Masahiro Hamano (45 ')

Annexe
SG
Russ Harmer (30 ')
Paul Blain Levy (30 ')
Olivier Laurent (30 ')
Bibliothèque
GI
Peter Hines (45 ')
Robin Houston (30 ')

Annexe
SG
Ian Stark (45 ')
Discussion (45 ')

Bibliothèque
Fri
SG-HC

Paul-André Melliès (60 ')
Samuel Mimram (30 ')


Bibliothèque
SG-HC

Nicolas Tabareau (30 ')
Andrea Schalk (30 ')
Lutz Strassburger (30 ')

Bibliothèque
GI
Patrick Baillot (45 ')
Olivier Laurent (45 ')

Bibliothèque
HC

François Métayer (45 ')
Discussion (45')
Chapelle
GI
Peter Selinger (45 ')
Discussion

Bibliothèque


GI Geometry of interaction
SG Semantics and Games
HC Higher dimensional rewriting, concurrency and directed homotopy
GI-SG in common between Geometry of interaction and Semantics and Games
SG-HC in common between Semantics and Games and Higher dimensional rewriting, concurrency and directed homotopy