Organized by Marek Czarnecki, Warsaw University and Marcin Mostowski, Warsaw University
SPEAKERS AND TITLES
Concrete mathematics -- finitistic approach to foundations of mathematics Marek Czarnecki, Warsaw University and Marcin Mostowski, Warsaw University, Warszawa and Jagiellonian University To be presented by Marcin Mostowski
Concrete model theory. Model-theoretic constructions without actual infinity Marek Czarnecki, Warsaw University To be presented by Michał Tomasz Godziszewski
An infinite liar in a potentially infinite world Michał Tomasz Godziszewski, Warsaw University
Learnability thesis, FM--representability and low models of WKL_0 Marek Czarnecki Michał Tomasz Godziszewski, Dariusz Kalociński, Warsaw University