• 2117 - Computability Theory (hybrid meeting) 

      [OWR-2021-21] Workshop Report 2021,21 (2021) - (25 Apr - 01 May 2021)
      Over the last decade computability theory has seen many new and fascinating developments that have linked the subject much closer to other mathematical disciplines inside and outside of logic. This includes, for instance, ...
    • 2101a - Homogeneous Structures: Model Theory meets Universal Algebra (online meeting) 

      [OWR-2021-1] Workshop Report 2021,1 (2021)
      The workshop "Homogeneous Structures: Model Theory meets Universal Algebra'' was centred around transferring recently obtained advances in universal algebra from the finite to the infinite. As it turns out, the notion ...