Vorschläge für neue Diplomarbeiten kann man hier finden.

Lehrveranstaltungen im Wintersemester 2008/2009

• Diplomandenseminar (hier sind Vorschläge für Diplomarbeiten)
• Vorlesung "G1.1 - Informatik I (Programmierung)" (Ankündigung)
• A6.5: Projektmodul "Werkzeuge zur Fehlersuche" (Ankündigung)
• MSP0302: Masterprojekt "Werkzeuge zur Fehlersuche" (Ankündigung)
• Vorlesung "Informatik für Nebenfächler" (Ankündigung)
• Vorlesung "MS0301 - Prinzipien von Programmiersprachen" (Ankündigung)
• Vorlesung "Objektorientierte Programmierung für Nebenfächler" (Ankündigung)
• Vorlesung "WI08: - Objektorientierte Programmierung" (Ankündigung)
• Arbeitsgemeinschaft "Informatik, Logik und Mathematik"

Lehrveranstaltungen im Sommersemester 2008

• BA6.3: - Projektmodul Internetprogrammierung (Ankündigung)
• Vorlesung "Übersetzerbau (MS0302)"  (Ankündigung)
• Diplomandenseminar (hier sind Vorschläge für Diplomarbeiten)
• Vorlesung "Funktionale Programmierung (MS0304)" (Ankündigung)
• Systematisches Programmieren (Ankündigung)
• Arbeitsgemeinschaft "Informatik, Logik und Mathematik"

Lehrveranstaltungen im Wintersemester 2007/2008

• Diplomandenseminar (hier sind Vorschläge für Diplomarbeiten)
• Vorlesung "G1.1 - Informatik I (Programmierung)" (Ankündigung)
• G1.3 - Programmierpraktikum P1 (Ankündigung, weitere Infos)
• Vorlesung "MS0306 - Nebenläufige und verteilte Programmierung" (Ankündigung, Übungen)
• Vorlesung "MS0308 - Programmiertechniken für die künstliche Intelligenz" (Ankündigung)
• Arbeitsgemeinschaft "Informatik, Logik und Mathematik"

Lehrveranstaltungen im Sommersemester 2007

• Vorlesung "Deklarative Programmiersprachen" (Ankündigung)
• Seminar "Funktionale Programmiertechniken" (Ankündigung)
• Diplomandenseminar (hier sind Vorschläge für Diplomarbeiten)
• Fachpraktische Übung mit Seminar "Verteilte Echtzeit-Programmierung" (Ankündigung)
• Systematisches Programmieren (Ankündigung)
• Arbeitsgemeinschaft "Informatik, Logik und Mathematik"

Lehrveranstaltungen im Wintersemester 2006/2007

• Diplomandenseminar (hier sind Vorschläge für Diplomarbeiten)
• Vorlesung "Funktionale Programmierung" (Ankündigung) / Übung
  
• Vorlesung "Prinzipien von Programmiersprachen"
• Vorlesung "Objektorientierte Programmierung"
• Seminar "Programmierwerkzeuge" (Ankündigung)
• Arbeitsgemeinschaft "Informatik, Logik und Mathematik"

Lehrveranstaltungen im Sommersemester 2006

• Diplomandenseminar (hier sind Vorschläge für Diplomarbeiten)
• Vorlesung "Übersetzerbau" (Ankündigung)
• Vorlesung "Logikprogrammierung" (Ankündigung)
• Vorlesung "Systematisches Programmieren" (Ankündigung)
• Praktikum "Webbasierte Systeme"
• Arbeitsgemeinschaft "Informatik, Logik und Mathematik"

Lehrveranstaltungen im Wintersemester 2005/2006

• Diplomandenseminar (hier sind Vorschläge für Diplomarbeiten)
• Seminar "Fortgeschrittene Techniken der funktionalen Programmierung" (Ankündigung)
• Vorlesung "Informatik I (Programmierung/G1.1)" (Ankündigung)
• Programmierpraktikum (P1-G1.3)"Informatik I" (Ankündigung)
• Vorlesung "Programmiertechniken für die künstliche Intelligenz" (Ankündigung)
• Arbeitsgemeinschaft "Informatik, Logik und Mathematik"

Lehrveranstaltungen im Sommersemester 2005

•  Vorlesung "Funktionale Programmierung" (Ankündigung)
• Vorlesung "Implementierung objektorientierter Sprachen" (Ankündigung)
• Vorlesung "Systematisches Programmieren" (Ankündigung)
• Arbeitsgemeinschaft "Informatik, Logik und Mathematik"

Lehrveranstaltungen im Wintersemester 2004/2005

• Vorlesung "Prinzipien von Programmiersprachen" (Ankündigung)
• Fortgeschrittenen-Praktikum "Internet-Programmierung" (Ankündigung)
• Vorlesung "Objektorientierte Programmierung"
• Vorlesung "Probleme beim Bau voll korrekter Übersetzer"
• Diplomandenseminar (hier sind Vorschläge für Diplomarbeiten)
• Arbeitsgemeinschaft "Informatik, Logik und Mathematik"

Lehrveranstaltungen im Sommersemester 2004

• Vorlesung "Deklarative Programmiersprachen" (Ankündigung)
• Vorlesung "Systematisches Programmieren" (Ankündigung)
• Vorlesung "Softwaretechnik zum Zertifizieren von Systemen"(Ankündigung)
• Seminar "Implementierung von Programmiersprachen" (Ankündigung)
• Diplomandenseminar hier sind Vorschläge für Diplomarbeiten)
• Fortgeschrittenen Praktikum "WebFun"(Ankündigung)
• Arbeitsgemeinschaft "Informatik, Logik und Mathematik"

Lehrveranstaltungen im Wintersemester 2003/2004

• Vorlesung "Informatik I (Programmierung)" (Ankündigung)
• Programmierpraktikum "Informatik I" (Ankündigung)
• Vorlesung "Übersetzerbau" (Ankündigung)
• Diplomandenseminar (hier sind Vorschläge für Diplomarbeiten)
• Arbeitsgemeinschaft "Informatik, Logik und Mathematik"
• Vorlesung "Programmiertechniken für die künstliche Intelligenz" (Ankündigung)
• Vorlesung "Implementierung Objektorientierter Sprachen"(Ankündigung)

Lehrveranstaltungen im Sommersemester 2003

• Vorlesung "Logikprogrammierung" (Ankündigung)
• Seminar "Programmierung verteilter Systeme" (Ankündigung)
• Diplomandenseminar (hier sind Vorschläge für Diplomarbeiten)
• Arbeitsgemeinschaft "Informatik, Logik und Mathematik"
• Vorlesung "Systematisches Programmieren" (Ankündigung)

Lehrveranstaltungen im Wintersemester 2002/2003

• Vorlesung "Prinzipien von Programmiersprachen" (Ankündigung)
• Vorlesung "Nebenläufige und verteilte Programmierung" (Ankündigung)
• Diplomandenseminar (hier sind Vorschläge für Diplomarbeiten)
• Arbeitsgemeinschaft "Informatik, Logik und Mathematik"
• Fortgeschrittenen-Praktikum "Internet-Programmierung" (Ankündigung)
• Vorlesung "Objektorientierte Programmierung" (Ankündigung)

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)

Lehrveranstaltungen im Wintersemester 2001/2002

• Diplomandenseminar (hier sind Vorschläge für Diplomarbeiten)
• Vorlesung "Informatik I (Programmierung)" (Ankündigung)
• Arbeitsgemeinschaft "Informatik, Logik und Mathematik"
• Programmierpraktikum "Informatik I" (Ankündigung)
• Vorlesung "Programmiertechniken für die künstliche Intelligenz" (Ankündigung)
• Vorlesung "Softwaretechnik zum Zertifizieren von Systemen" (Ankündigung)
• Vorlesung "Übersetzerkonstruktion" (Ankündigung)
• Seminar "Objektorientierte Entwurfstechniken und Programmiersprachen" (Ankündigung)

Lehrveranstaltungen im Sommersemester 2001

• Vorlesung "Prinzipien von Programmiersprachen" (Ankündigung)
• Fortgeschrittenen-Praktikum "Verteilte Programmierung" (Ankündigung)
• Seminar "Hochsprachen zur nebenläufigen und verteilten Programmierung" (Ankündigung)
• Diplomandenseminar (hier sind Vorschläge für Diplomarbeiten)
• Arbeitsgemeinschaft "Informatik, Logik und Mathematik"
• Vorlesung "Probleme beim Bau voll korrekter Übersetzer" (Ankündigung) (Übung)
• Vorlesung "Systematisches Programmieren" (Nebenfachausbildung)(Ankündigung)

Lehrveranstaltungen im Wintersemester 2000/2001

• Vorlesung "Informatik I" (Ankündigung)
• Vorlesung "Logikprogrammierung" (Ankündigung)
• Seminar Internet-Programmiersprachen (Ankündigung)
• Vorlesung "Implementierung objektorientierter Sprachen" (Ankündigung)
• Übungen zu "Implementierung objektorientierter Sprachen" (Hinweis)
• Vorlesung "Objektorientierte Programmierung" (Ankündigung)
• Diplomandenseminar (hier sind Vorschläge für Diplomarbeiten)
• Arbeitsgemeinschaft "Informatik, Logik und Mathematik"

Lehrveranstaltungen im Sommersemester 2000

• Vorlesung "Übersetzerkonstruktion" (Ankündigung) (Übungen)
• Vorlesung "Deklarative Programmiersprachen" (Ankündigung) (Übungen)
• Diplomandenseminar (hier sind Vorschläge für Diplomarbeiten)