Theoretical Computer Science and Mathematical Logic Group
UniBW München

  • Computability, Complexity and Randomness CCR 2023

    16th International Conference
    10-14 July 2023, Kochel am See, Germany

    CCR 2023

  • COMPUTABILITY
    The Journal of the Association CiE

    New issue available online!
    Open for submissions

    Journal Content

  • Theory and Applications of Computability

    Book series published in cooperation with the Association CiE
    New volume available!

    Book series Springer

Team

Visit the members of our team

Courses

Courses taught by our team

Publications

Read our newest publications

Events

Some recent and future events that we are involved in

Seminar

Attend our seminar on theoretical computer science and mathematical logic

Projects

See some research projects that we are involved in