8:30-9:30: Welcome, Coffee and Registration in LITTLE 339
9:30-1030: Julia Knight,
Tutorial on Computable Structure Theory Here are the
SLIDES
10:30-11: BREAK
11-12: Thomas Scanlon,
Tutorial: Definability in Fields
12-2:30: LUNCH BREAK
2:30-3:30: Julia Knight, Tutorial Part II
3:30-4:00: BREAK
4:05-5: Gerald Sacks, Invited History Lecture,
Two approaches to Vaught's Conjecture
5-7: RECEPTION in LITTLE 339
9-9:30: Coffee in LITTLE 339
9:30-1030: Julia Knight, Tutorial Part III
10:30-11: BREAK
11-12: Thomas Scanlon, Tutorial Part II
12-2:30: LUNCH BREAK
2:30-3:30: Thomas Scanlon, Tutorial Part III
3:30-4:00: BREAK
4-5: Amador Martin-Pizarro,
Coloured fields
8:30-9: Coffee in LITTLE 339
9-10: Ozlem Beyarslan,
Automorphism Groups of Pseudofinite Fields
10-11: Richard Shore,
Computable Structures with Additional Relations
11-11:30: BREAK
11:30-12:30: Alice Medvedev,
Grouplike minimal sets in ACFA
12:30-2:30: LUNCH BREAK
2:30-3:30: Chris Laskowski,
Trivial theories of finite Morley rank
3:30-4:00: BREAK
4-5: Ronald Bustamante Medina,
Zilber's Dichotomy in Difference-Differential Fields
AFTERNOON OFF
9-9:30: Coffee in LITTLE 339
9:30-1030: Sasha Shlapentokh,
Existential Definability in Some Infinite Abelian Extensions
10:30-11: BREAK
11-12: Clifton Ealy,
Superrosy dependent groups and fields with finitely
satisfiable generics
Here are the
SLIDES
12-2:30: LUNCH BREAK
2:30-3:30: Renling Jin,
Nonstandard Model for Freiman's Inverse Problems - New Advances
3:30-4:00: BREAK
4-5: Itaï Ben-Yaacov,
Modular functionals and perturbations in Nakano spaces
5-6: Sergey Goncharov,
Computable models and Classification's Problems
Here are the
SLIDES
8:30-9: Coffee in LITTLE 339
9-10: Matthias Aschenbrenner,
Algorithms and Bounds
10-11: Barbara Csima,
Effectiveness Properties of Fraisse Limits
11-11:30: BREAK
11:30-12:30: Sergei Starchenko,
On definable sets in ``Nonstandard'' compact complex manifolds
12: END OF WORKSHOP