Go To The Tutorials Page

Programme


Venue: Main Building of the University, Pieni Juhlasali.

Thursday, September 16

10:00-10:10 Juha Oikkonen Opening
10:10-10:50 Peter Aczel Rudimentary Constructive Set Theory Abstract
10:50-11:30 Menachem Magidor title Abstract
11:30-11:50 Coffee/Tea
11:50-12:30 Mirna Džamonja SISIFA, a new kind of forcing axiom Abstract
12:30-14:00 Lunch
14:00-14:40 Ilkka Niiniluoto Constructivist Realism in Mathematics Abstract
14:40-15:20 Oskari Kuusela Wittgenstein's philosophy of logic Abstract
15:20-15:50 Coffee/Tea + Meeting photo
15:50-16:30 Stevo Todorčević title Abstract
16:30-17:10 Joan Bagaria Structural Reflection Abstract
17:10-17:30 Break
17:30-18:10 Peter Koepke Checking Natural Language Proofs Abstract
19:00-20:30 Rector's Reception at the main building in "Lehtisali", second floor

Friday, September 17

10:00-10:40 John Baldwin Complexity and Absoluteness in Abstract
10:40-11:20 Zoé Chatzidakis Some recent results on finite approximate subgroups. Abstract
11:20-11:40 Coffee/Tea
11:40-12:20 Tapani Hyttinen Generalized Baire Space Abstract
12:20-12:40 Juha Kontinen Definability in Dependence Logic Abstract
12:40-14:00 Lunch
14:00-14:40 Boris Zilber Between model theory and physics Abstract
14:40-15:20 Meeri Kesälä Interpreting groups and fields in non-elementary classes Abstract
15:20-15:50 Coffee/Tea
15:50-16:30 Wilfrid Hodges Historical remarks on dependence and scope Abstract
16:30-17:10 Roman Kossak Why do we study nonstandard models of arithmetic? Abstract
17:10-17:40 Åsa Hirvonen Generalized isomorphisms in metric model theory Abstract
19:00- Conference Dinner

Saturday, September 18

10:00-10:40 Michał Krynicki On logical properties of arithmetics in finite domain Abstract
10:40-11:20 Jeff Paris Pure Inductive Logic Abstract
11:20-11:40 Coffee/Tea
11:40-12:20 Lauri Hella A Game for Characterizing the Size of Formulas with Generalized Quantifiers Abstract
12:20-12:40 Pietro Galliani Dependencies in terms of constancy and epistemic operators Abstract
12:40-14:00 Lunch
14:00-14:30 Krister Segerberg Trying to model metaphor Abstract
14:30-15:10 Phokion Kolaitis Random Graphs and the Parity Quantifier Abstract
15:10-15:30 Coffee/Tea
15:30-16:10 Jaroslav Nešetřil title Abstract
16:10-16:50 Dag Westerståhl Consequence Mining: A New Approach to Logical Constants Abstract