AG Programmiersprachen und Übersetzerkonstruktion

Lehrveranstaltungen im Sommersemester 2002

  •     Vorlesung "Deklarative Programmiersprachen" (Ankündigung)
  •     Seminar "Programmiersprachen für eingebettete Systeme und Echtzeitsysteme" (Ankündigung)
  •     Diplomandenseminar (hier sind Vorschläge für Diplomarbeiten
  •     Arbeitsgemeinschaft "Informatik, Logik und Mathematik"
  •     Fortgeschrittenen-Praktikum "Verifikation von Webseiten" (Ankündigung)
  •     Vorlesung "Systematisches Programmieren" (Ankündigung)