Sitemap

• Institute
  • Staff Directory
  • Alumni
  • News
  • Seminarraum
  • Contact and Arrival
• Teaching (German)
  • Lehrveranstaltungen (Bachelor)
    • Grundlagen der Theoretischen Informatik
    • Komplexität von Algorithmen
    • Logik und formale Systeme
    • Systematisches Programmieren
  • Lehrveranstaltungen (Master)
    • Berechenbarkeit und Logik
    • Effiziente Algorithmen
    • Formale Sprachen
    • Komplexitätstheorie
    • Kryptographie
    • Logik und Komplexität
    • SAT-Algorithmen
    • Theorie Boole'scher Schaltkreise
    • Theorie der parametrisierten Komplexität
  • Studien- & Abschlussarbeiten
    • Abgeschlossene Arbeiten
  • Lehrbücher
    • Introduction to Circuit Complexity
    • Komplexität von Algorithmen
• Research
  • Advanced Seminar
  • Publications
  • Key Areas
  • Projects
    • Arithmetic and Boolean Complexity
    • Nonclassical Logics: Parameterised Complexity and Enumeration
    • Parameterised Complexity of Nonclassical Logics
    • Descriptive Complexity of Parameterised Counting Problems
  • Conferences
    • 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