|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
Thursday 14 |
Friday 15 |
Saturday 16 |
Sunday 17 |
Monday 18 |
Tuesday 19 |
Wednesday 20 |
|
|
9.00-10.00 |
|
Plenary
lecture
Normann
Lecture
Hall 1 |
Plenary
lecture
Foreman
Lecture Hall 1 |
Plenary
lecture
Priest
Lecture Hall 1 |
Plenary
lecture
Kojman
Lecture Hall 1 |
Plenary
lecture
Grohe
Lecture Hall 1 |
Plenary
lecture
Becker
Lecture Hall 1 |
|
|
10.00-10.15 |
Registration |
coffee |
coffee |
coffee 10.00-10.15 |
coffee |
coffee |
coffee |
|
|
10.15-10.30 |
Special sessions, Lecture Halls 5, 10, 12 and 13,
Altinel, Ambos-Spies,
Matthes
10.15-11.15 |
|
|
10.30-11.30 |
Plenary lecture
Girard
Lecture
Hall 1 |
Plenary lecture Pudlak
Lecture Hall 1 |
Special sessions, Lecture Halls 5, 10, 12 and 13,
Pong,
Palmgren |
Special sessions, Lecture Halls 5, 10, 12 and 13,
Hyttinen, Pollett, Stanley |
Special sessions, Lecture Halls 5, 10, 12 and 13,
Tucker, Mildenberger, Uustalu |
|
|
|
Lunch 11.15 - 12.15 |
|
|
11.30-13.00 |
Lunch 11.30-13.00 |
Lunch 11.30-13.00 |
Lunch 11.30-13.00 |
Lunch 11.30-13.00 |
Lunch 11.30-13.00 |
|
|
|
Special sessions, Lecture Halls 5, 10, 12 and 13,
Kudinov, Jackson, 12.15-13.15 |
|
|
13.00-14.00 |
Plenary lecture
Knuuttila
Lecture Hall 1 |
Plenary lecture Newelski
Lecture Hall 1 |
Special sessions, Lecture Halls 5, 10, 12 and 13,
Apter, Paris |
Plenary lecture
Shelah
Lecture Hall 1 |
Plenary lecture
Johnstone
Lecture Hall 1 |
|
|
|
|
|
Tutorial: Benedikt, Lecture Hall 1, 13.30-14.30 |
|
|
|
|
|
|
|
|
|
|
14.15-15.15 |
Coffee |
Tutorial:
Benedikt
Lecture Hall 1 |
Tutorial:
Benedikt
Lecture Hall 1 |
Plenary lecture Maksimova
Lecture Hall 1 |
Plenary lecture
Rathjen
Lecture Hall 1 |
Plenary lecture
Baltag
Lecture Hall 1 |
|
|
|
|
|
15.15-15.30 |
Opening
ceremony
Geat Hall |
Logic Café |
Logic Café |
Social program: Architectural tour 15.00-17.30
and a concert 18.00-19.00 |
Logic Café |
Logic Café |
Logic Café |
|
|
15.30-15.45 |
Plenary lecture Martin-Löf, Great
Hall, 15.30-16.30 |
|
|
15.45-16.30 |
Tutorial: Todorcevic
Lecture Hall 1 |
Tutorial: Todorcevic
Lecture Hall 1 |
Tutorial:
Todorcevic
Lecture Hall
1 |
Contributed papers, Lecture Halls
5, 6, 10, 12 and 13 |
Plenary lecture Shore
Lecture Hall 1 |
|
|
16.30-16.45 |
|
|
|
16.45-17.00 |
Plenary lecture Laskowski, Great
Hall, 16.45 -17.45 |
|
|
|
|
Closing ceremony |
|
|
17.00-18.00 |
Contributed papers, Lecture
Halls
5, 6, 10, 12 and 13 |
Contributed papers, Lecture
Halls
5, 6, 10, 12 and 13 |
Contributed
papers, Lecture
Halls
5, 6, 10, 12 and 13 |
Contributed papers, Lecture
Halls
5, 6, 10, 12 and 13 |
|
|
|
|
|
|
|
|
18.00-19.00 |
City of Helsinki reception
18.00-19.00 |
|
|
|
19.00- |
|
Conference dinner |
University of Helsinki reception |
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|