1. Mikołaj Bojańczyk, University of Warsaw. Computation in Sets With Atoms.
2. Harvey Friedman, Ohio State University. Concrete mathematical incompleteness,slides.
3. Thomas Jech, Pennsylvania State University and Czech Academy of Sciences. Measure algebras, slides.
4. Menachem Magidor, Hebrew University. Inner Models constructed from generalized logics., slides
5. Yiannis Moschovakis, UCLA. Effective Descriptive Set Theory, slides.
6. Jouko Väänänen, University of Helsinki and University of Amsterdam. The many lives of generalized quantifiers, slides.
7. Jan Woleński, Jagiellonian University. Tarski, Mostowski and philosophy (not only of mathematics).
8. W. Hugh Woodin, University of California, Berkeley. The Mostowski Collapse and the Inner Model Program, slides.

1. Mirna Džamonja, University of East Anglia, Norwich. Would Mostowski have liked it? slides
2. Leszek Kołodziejczyk, University of Warsaw. The importance of approximate counting in bounded arithmetic, slides.
3. Krzysztof Krupiński, Uniwersytet Wrocławski. Polish structures, slides.
4. Angus Macintyre, Queen Mary College, University of London. The Elementary Theory of the Adele Ring over a Number Field (joint work with Jamshid Derakhshan), slides.
5. Johann A. Makowsky, Technion, Haifa. Andrzej Mostowski, the man and his legacy, slides.
6. Ludomir Newelski, Uniwersytet Wrocławski. Topological methods in model theory, slides.
7. Anand Pillay, University of Leeds. Transcendence, differential equations, and model theory, slides.
8. Christian Rosendal, University of Illinois at Chicago. Large scale geometry of metrisable groups, slides.
9. Zlil Sela, Hebrew University, Jerusalem. Low dimensional topology and the elementary theory of groups.
10. Sławomir Solecki, University of Illinois at Urbana-Champaign. General approach to finite Ramsey theory and a new Ramsey theorem, slides.

1. Will Boney, Nonforking in Short and Tame Abstract Elementary Classes, poster.
2. Jan Dobrowolski, New examples of small Polish structures, poster.
3. Wiesław Główczyński, Outer Measure on Boolean Algebras, poster.
4. Marcin Staniszewski, On ideal equal convergence, poster

by Andrzej Ehrenfeucht, by Jan Mycielski.

On Friday 11 October at 8pm. Harvey Friedman will give a piano recital, playing Bach, Mozart, Beethoven, Schubert, Chopin, Brahms, and Sousa. Complete program A foundationalist looks at the piano slides.

Thursday 10 October Witold Lipski Prize for Young Researchers in Computer Science