Games and Social Software
7th Augustus de Morgan Workshop
King's College London
November 4-7, 2005
Ludolf Bakhuizen, XVIIth century
|
| INTERACTIVE LOGIC: Games and Social Software 7th Augustus de Morgan Workshop King's College London November 4-7, 2005 |
Ludolf Bakhuizen, XVIIth century |
| November 4th | November 5th | November 6th | November 7th | |
|---|---|---|---|---|
| 0950-1015 | Grädel | Väänänen | Bradfield | |
| 1015-1040 | ||||
| 1040-1105 | Break | Break | Break | |
| 1105-1130 | Abramsky | Perea | Sevenster | |
| 1130-1155 | van der Hoek | Hodges | ||
| 1155-1220 | Kooi | |||
| 1220-1245 | Lunch Break | Lunch Break | CLOSING | |
| 1245-1310 | ||||
| 1310-1335 | ||||
| 1335-1400 | ||||
| 1400-1425 | OPENING | |||
| 1425-1450 | Parikh | Brandenburger | van Rooij | |
| 1450-1515 | ||||
| 1515-1540 | Break | Break | Break | |
| 1540-1605 | Roy | Short Talks | Short Talks | |
| 1605-1630 | Semmes | |||
| 1630-1655 | Pacuit | |||
| 1655-1720 | Break | Break | Break | |
| 1720-1745 | van Eijck | Welch | Apt | |
| 1745-1810 | ||||
| 1810-1835 | ||||
| 1835-1900 | ||||
| 1900- | Conference Dinner |