13:00 to 14:00 R Bello Aguirre (University of Leeds)A look into generalised stability INI 1 14:00 to 15:00 O Akcelik (Middle East Technical University)In Pursuit of the Missing Premise in First Order Logic INI 1 15:00 to 15:30 Coffee Break 15:30 to 16:30 E Dihoum (University of Leeds)Models of Intuitionistic Zermelo-Frankel Set Theory based on Scott's $D_{\infty}$ INI 1 16:30 to 17:30 D Siniora (University of Leeds)Generic Automorphisms of a Hrushovski construction INI 1
 10:00 to 11:00 E Garcia Ramirez (University of Leeds)An application of Model Theory to Real Algebraic Geometry INI 1 11:00 to 11:30 Coffee Break 11:30 to 12:30 J Hedges ([Queen Mary University of London])Applying constructive analysis and topology in game theory INI 1 13:30 to 14:40 A Blass (University of Michigan)Weak Partition Relations and Conservative Elementary Extensions INI 1 14:40 to 15:10 A Brooke-Taylor (University of Bristol)AEC tameness from large cardinals via category theory INI 1 14:40 to 15:10 E Rivello (Università degli Studi di Torino)Self-determined sets of sentences INI 2 15:10 to 15:40 A Cevik (University of Leeds)A variant of $\Pi^0_1$ class INI 1 15:10 to 15:40 S Uckelman (Durham University)Where are the women in medieval logic? INI 2 15:40 to 16:00 Coffee Break 16:00 to 17:00 A Kurucz (King's College London)Many-dimensional Modal Logics INI 1 17:00 to 18:00 Drinks Reception