Sitemap

• Institut
  • Personenverzeichnis
  • Alumni
  • News
  • Seminarraum
  • Kontakt und Anfahrt
• Lehre
  • 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
• Forschung
  • Oberseminar
  • Publikationen
  • Schwerpunkte
  • Projekte
    • Arithmetische und Boole'sche Komplexität
    • Nichtklassische Logiken: Parametrisierte Komplexität und Enumeration
    • Parametrisierte Komplexität nichtklassischer Logiken
    • Deskriptive Komplexität von parametrisierten Zählproblemen
  • Veranstaltungen
    • 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