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.