Universiteit van Amsterdam


Institute for Logic, Language and Computation

16 - 26 June 2018, Workshop on Model Theory at UNILOG 2018, Vichy, France

Date: 16 - 26 June 2018
Location: Vichy, France
Deadline: Friday 15 September 2017

We organize a workshop on Classification Questions
in Model Theory at UNILOG 2018. Keynote speaker of Workshop: Professor Bruno Poizat (Lyon).

Model theory is the branch of mathematical logic dealing with the connection between a formal language and its interpretations, or models, i.e., it represents links between syntactic and semantic objects. These objects can be used to classify each others producing structural classifications of theories and their models. Solving classification questions valuable characteristics arise (dimensions, ranks, complexities, spectra etc.) for various classes of structures and their theories.

We invite contributions on all aspects of Model Theory.