Schedule is also available in PDF format.

All lecture halls are in the Main building of the University.

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