• 1206 - Computability Theory 

      [OWR-2012-8] Workshop Report 2012,8 (2012) - (05 Feb - 11 Feb 2012)
      Computability is one of the fundamental notions of mathematics, trying to capture the effective content of mathematics. Starting from Gödel’s Incompleteness Theorem, it has now blossomed into a rich area with strong ...
    • 1245a - Non-Archimedean Analytic Geometry 

      [OWR-2012-53] Workshop Report 2012,53 (2012) - (04 Nov - 10 Nov 2012)
      The workshop focused on recent developments in non-Archimedean analytic geometry with various applications to arithmetic and algebraic geometry. These applications include questions in Arakelov theory, p-adic differential ...