Sitemap

• Institute
  • Research Group Algorithms
    • Abgeschlossene Forschungsprojekte
  • Staff Directory
  • Alumni
  • News
  • Seminarraum
  • Contact and Arrival
• Teaching
  • Lehrveranstaltungen (Bachelor)
    • Proseminar Theoretical Computer Science
    • Data Structures and Algorithms
    • Foundations of Theoretical Computer Science
    • Complexity of Algorithms
    • Logic and Formal Systems
  • Master’s Degree Courses
    • Computability and Logic
    • Efficient Algorithms
    • Formal Languages
    • Complexity Theory
    • Cryptography
    • Logic and Complexity
    • Quantum Computing
    • Theory of Boolean Circuits
    • Parameterized Complexity Theory
  • Studien- & Abschlussarbeiten
    • Abgeschlossene Arbeiten
  • Lehrbücher
    • Introduction to Circuit Complexity
    • Komplexität von Algorithmen
• Research
  • Advanced Seminar
  • Publications
  • Projects
    • Arithmetic and Boolean Complexity
    • Nonclassical Logics: Parameterised Complexity and Enumeration
    • Parameterised Complexity of Nonclassical Logics
    • Descriptive Complexity of Parameterised Counting Problems
  • Conferences
    • NoCoWo
    • ESSLLI2024
    • 81. Workshop über Algorithmen und Komplexität (Theorietag)
    • 79. Workshop über Algorithmen und Komplexität (Theorietag)
    • Stacs 2017
      • Invited speakers
      • Accepted papers
      • Committees
      • Program
      • Venue
      • Contact
      • Workshop almoth 2017
• Service
  • Studienberatung
  • BAföG Beratung
  • Semester abroad