Changes in conference schedule!
- June 27 (Wendesday) Tutorial by Roman Kossak is canceled.
- June 28 (Thursday) Lacture by Juliette Kennedy is canceled Lecture by Michał Krynicki is moved from Friday to Thursday and will be given at 15.00 (instead of Juliette Kennedy).
- June 29 (Friday) Lecture by Roma n Kossak is move from Saturday do Friday and will be given at 10.00 (instead of Michał Krynicki's lecture).
- June 30 (Saturday) The last lecture by Roman Kossak is canceled.
Currenent conference schedule
Schedule | Thu 28 | Fri 29 | Sat 30 |
9.45 | Opening | ||
10.00 | Graedel | Kossak | Flum |
10.45 | Discussion | Discussion | Discussion |
10.55 | Tea/Coffee Break | Tea/Coffee Break | Tea/Coffee Break |
11.20 | Baldwin | Caicedo | Zdanowski |
12.05 | Discussion | Discussion | Discussion |
12.15 | Lunch | Lunch | Lunch |
14.00 | Enayat | Mostowski | Kołodziejczyk |
14.45 | Discussion | Discussion | Discussion |
15.00 | Krynicki | Luosto | Väänänen |
15.45 | Discussion | Discussion | Discussion |
15.55 | Tea/Coffee Break | Tea/Coffee Break | Tea/Coffee Break |
16.20 | Kontinen | Hella | Closing |
17.05 | Discussion | Discussion | |
17.15 | Break | ||
17.30 | Open microphone — reminiscences | ||
18.30 | Conference dinner |
Speakers
Currently the following logicians confirmed their participation in the meeting:- John Baldwin,
- Xavier Caicedo,
- Ali Enayat,
- Joerg Flum,
- Erich Graedel,
- Lauri Hella,
- Leszek Kołodziejczyk,
- Juliette Kennedy,
- Juha Kontinen,
- Roman Kossak,
- Michał Krynicki,
- Kerkko Luosto,
- Marcin Mostowski,
- Jouko Väänänen,
- Konrad Zdanowski.
Conference Programme
The conference will take place at Banach Center, Śniadeckich 8, room 403.