Topic: The goal of the workshop is to get a feel for the use of logic and o-minimal theory in particular in the study of algebraic geometry, especially as they pertain to Manin–Mumford and André–Oort problems. While we will not be able to present proofs in detail, we do wish to come to grips with the main ideas through the study of well-chosen examples.
Prerequisites: Talks will presume working-level familiarity with techniques of arithmetic geometry. No knowledge of model theory or o-minimality will be required.
Johan Commelin and Brad Drew