Recently added: Slides from a talk by Denis Richard.

The meeting will be devoted to many aspects of investigations related to first and second order arithmetic. In particular, topics will include:

- Classification results in model theory of first-order arithmetic and its fragments,
- Metamathematics and unprovability theory,
- Model theoretic techniques in proof theory,
- Models of second order arithmetic,
- Ordinal analysis of the incompleteness phenomena in arithmetic,
- Nonstandard satisfaction classes,
- Recursively saturated, resplendent, and saturated models of arithmetic,
- Automorphisms and automorphism groups of models of arithmetic.

This conference would not be possible without the support of the following organizations:

- European
Science Foundation project INFTY,

- Banach Center at Institute of Mathematics, Polish Academy of Sciences,
- Committee of Mathematics at Polish Academy of Sciences,
- Ministry of Science and Higher Education of Poland, program DUN,
- Adam Mickiewicz University in Poznań,
- Uniwersytet Warszawski,
- Uniwersytet Kardynała Stefana Wyszyńskiego w Warszawie.