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.
If you would like to attend the workshop, please complete our very brief registration form.
Johan Commelin and Brad Drew
Contact the organizers