• Lehrstuhl
• Forschung / Projekte
• Lehre
  • Aktuell
  • Archiv
  • Allgemeine Informationen
  • Literatur
  • Skripte
  • Vorlesungsvideos
  • AG Logik und Automaten
• Team
• Diplomarbeiten
• Publikationen
• Kontakt
• Konferenzen / Workshops
• Links

Aktuelles Semester

Wintersemester 2009/2010 (CAMPUS)

• Vorlesungen
  • Infinite Computations
  • Regular and Context-Free Languages: Advanced Results
  • Algorithmisches Lernen
  • Die Vermessung von Raum und Zeit
• Proseminare, Seminare, Praktika
  • Proseminar: Automaten, Grammatiken und ihre Anwendungen
  • Seminar über Automatentheorie
  • Softwarepraktikum: Webprogrammierung und das Satzsystem LaTeX
• Sonstiges
  • Arbeitsgemeinschaft Logik und Automaten

Sommersemester 2010

• Vorläufige Vorlesungsankündigung:
• Introduction to Applied Automata Theory (Thomas, V3+Ü2, für B.Sc., Wahlpflichtfach Theorie)
• Applied Automata Theory (Thomas, V3+Ü2, für M.Sc.)
  
  Die Vorlesungen unterscheiden sich in den Übungen.
  
• Infinite Games (Löding, V2+Ü1, für M.Sc.)