Browsing Workshops 2021 by MSC "03"

Now showing items 1-3 of 3

    • 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, ...

    • 2133 - Computational Group Theory (hybrid meeting) 

      [OWR-2021-38] Workshop Report 2021,38 (2021) - (15 Aug - 21 Aug 2021)
      This was the eighth Oberwolfach Workshop on Computational Group Theory. It demonstrated how an increasing number and variety of deep theoretical results are being used to devise powerful and practical algorithms ...

    • 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 ...