Aktuelle Lehrveranstaltungen

Sommersemester 2006

• Hauptstudium
  • Vorlesung Software Model Checking (Noll)
  • Vorlesung Probabilistic Models for Concurrency (Katoen/Han)
  • Praktikum Model Checking (Neuhäußer)
  • Seminar Model-Based Testing
  (Katoen/Noll/Bohnenkamp)
• Grundstudium
  • Vorlesung Automatentheorie und formale Sprachen (Katoen/Bohnenkamp)
  • Software-Praktikum Implementierung heuristischer Algorithmen für Brettspiele
• Sonstiges
  • Arbeitsgemeinschaft Modelling Concurrent Systems
  • Arbeitsgemeinschaft Programmanalyse

Wintersemester 2005

• Hauptstudium
  • Vorlesung Model Checking
  • Vorlesung Theory of Control Structures (ENTFÄLLT!)
  • Vorlesung Modelling Concurrent Systems
  • Seminar Global Computing
  • Praktikum Compilerbau
• Grundstudium
  • Proseminar Programmiersprachen
  • Vorlesung Foundations of Informatics - a Bridging Course
• Sonstiges
  • Lehrstuhlseminar
  • Arbeitsgemeinschaft Modelling Concurrent Systems
  • Arbeitsgemeinschaft Programmanalyse