• Chair
• Research / Projects
• Teaching
  • Current
  • Archive
  • General Information
  • Literature
  • Lecture Notes
  • Lecture Videos
  • AG Logic and Automata
• Team
• Diploma Theses
• Publications
• Contact
• Conferences / Workshops
• Links

Current Semester

Winter Term 2009/2010 (CAMPUS)

• Lectures
  • Infinite Computations
  • Regular and Context-Free Languages: Advanced Results
  • Algorithmisches Lernen
  • Die Vermessung von Raum und Zeit
• Seminars, Proseminars, Practical Courses
  • Automaten, Grammatiken und ihre Anwendungen
  • Automatentheorie
  • Webprogrammierung und das Satzsystem LaTeX
• Miscellanea
  • Arbeitsgemeinschaft Logik und Automaten (Logic and Automata Seminar)

Summer Term 2010

• Preliminary Lecture Announcement:
• Introduction to Applied Automata Theory (Thomas, V3+Ü2, für B.Sc., Wahlpflichtfach Theorie)
• Applied Automata Theory (Thomas, V3+Ü2, für M.Sc.)
  
  The exercises for the lectures are different.
  
• Infinite Games (Löding, V2+Ü1, für M.Sc.)