Friday, Oct 11 | Saturday, Oct 12 | Sunday, Oct 13 | |
---|---|---|---|
8:45-9:00 | opening | ||
9:00-10:00 | W. Hugh Woodin | Christian Rosendal | Ludomir Newelski |
10:00-10:20 | coffee break | coffee break | coffee break |
10:20-11:20 | Thomas Jech | Mirna Džamonja | Krzysztof Krupiński |
11:30-12:30 | Menachem Magidor | Sławomir Solecki | Anand Pillay |
12:30-14:30 | lunch | lunch | lunch |
14:30-15:30 | Angus Macintyre | Zlil Sela | Yiannis Moschovakis |
15:30-15:50 | coffee break | coffee break | coffee break |
15:50-16:50 | Mikołaj Bojańczyk | Jan Woleński | Leszek Kołodziejczyk |
17:00-18:00 | Harvey Friedman | Rump session (17:00-18:20) | Jouko Väänänen |
18:00-20:00 | welcome party | ||
20:00-21:00 | piano recital | reception (19:30-21:00) | |
21:00-22:00 | piano recital cont'd | Johann A. Makowsky |
Detailed program with titles and abstracts of talks: Friday, Oct 11 , Saturday, Oct 12 , Sunday, Oct 13
Welcome party on Friday is at the Department of Mathematics, Informatics, and Mechanics.
The reception on Saturday is in the Kazimierzowski Palace at the Old Campus.
Heritage track
- Mikołaj Bojańczyk, University of Warsaw. Computation in Sets With Atoms.
- Menachem Magidor, Hebrew University. Inner Models constructed from generalized logics., slides
- Jouko Väänänen, University of Helsinki and University of Amsterdam. The many lives of generalized quantifiers, slides.
- Jan Woleński, Jagiellonian University. Tarski, Mostowski and philosophy (not only of mathematics).
- W. Hugh Woodin, University of California, Berkeley. The Mostowski Collapse and the Inner Model Program, slides.
Perspectives track
- Leszek Kołodziejczyk, University of Warsaw. The importance of approximate counting in bounded arithmetic, slides.
- 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.
- Christian Rosendal, University of Illinois at Chicago. Large scale geometry of metrisable groups, slides.
- Zlil Sela, Hebrew University, Jerusalem. Low dimensional topology and the elementary theory of groups.
- Sławomir Solecki, University of Illinois at Urbana-Champaign. General approach to finite Ramsey theory and a new Ramsey theorem, slides.
Posters
- Will Boney, Nonforking in Short and Tame Abstract Elementary Classes, poster.
- Jan Dobrowolski, New examples of small Polish structures, poster.
- Wiesław Główczyński, Outer Measure on Boolean Algebras, poster.
- Marcin Staniszewski, On ideal equal convergence, poster
Reminiscences
Soirée musicale
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.
Co-located event
Thursday 10 October Witold Lipski Prize for Young Researchers in Computer Science