Teaching (in german)

• Übersicht Lehrgebiet
• Lehrveranstaltungen SS 2009
  • Vorlesung: Formale Spezifikations- und Verifikationstechniken (4 + 2)(K), Dozent: Prof. Dr. K. Madlener, LG Grundlagen der Programmierung
  • Vorlesung: Computeralgebra (4 + 2)(K), Dozent: Prof. Dr. K. Madlener, LG Grundlagen der Programmierung
  • Vorlesung: Logik (4 + 2)(K), Dozent: Prof. Dr. K. Madlener, LG Grundlagen der Programmierung
• Übersicht Lehrveranstaltungen

Research

• Focus of Research
• Publications

Organization

• Staff
  • Prof. Dr. Klaus Madlener (director)
  • Judith Stengel (secretary)
  • Reiner Hüchting
• Local Information (in german)
• Impressum (in german)