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.