Logic List Mailing Archive

Workshop on Model Theory and Computable Model Theory, Gainesville FL, Feb 2007

Workshop on Model Theory and Computable Model Theory
Feb 5-10, 2007

This workshop is part of the special year in logic at the University
of Florida. The tutorials will take place  on February 5-6,
providing introductions to  computable model theory and  to
model-theoretical applications within mathematics.   The tutorials
will be accessible to graduate students in logic, as well as to
other interested mathematicians. The lectures on February 7-10 will
present recent results in areas related to the tutorials.

The tutorials lecturers are Julia Knight, Anand Pillay, and Tom
Scanlon. Additional lectures will be given by Matthias
Aschenbrenner,  Itay Ben-Ya'acov, Ozlem Beyarslan,  Ronald
Bustamante, Gregory Cherlin, Barbara Csima, Clifton Ealy, Denis
Hirshfeldt, Renling Jin, Chris Laskowski, Amador Martin-Pizarro,
Andrei Morozov, Sasha Shlapentokh, and Sergei Starchenko.

Organizing committee: Valentina Harazinov, David Marker, and Carol Wood.

Information about the workshop and the special year will be posted at

http://www.math.ufl.edu/%7Ejal/logicyear/index.html