Timetable
for Logic and Computation Workshop, January 2004
| Sun
11 |
Mon 12 |
Tue 13 |
Wed 14 |
Thur 15 |
Fri 16 |
|
| 9:00 |
Khoussainov
1 |
Lempp
1 |
Khoussainov 2 | Lempp 3 | Khoussainov 3 | |
| 10:00 |
Morning
Tea |
Morning Tea | Morning Tea | Morning Tea | Morning Tea | |
| 10:20 |
Hodkinson 1 | Miller
1 |
Hodkinson 2 | Miller 2 | Hodkinson 3 | |
| 11:20 |
Break |
Break | Break | Break | Break | |
| 11:30 |
Goncharov 1 | Goncharov
2 |
Lempp 2 | Kozen 3 | Miller 3 | |
| 12:30 |
Lunch |
Lunch | Lunch | Lunch | Lunch | |
| 2:00-2:15 Yang Yue |
||||||
| 6:00 |
Dinner |
Dinner | Dinner | Dinner | ||
| 7:30 |
Kozen
1 |
Jockusch 1 | Kozen 2 | Jockusch 2 |
Contributed Talk: Mon 12th at 2pm:
Yang Yue, A High Nonbounding D.C.E. Degree