Lehrveranstaltungen (Frank Huch)

Wintersemester 04/05

Programmierpraktikum P1 zur Informatik I
Seminar "Fortgeschrittene Techniken der funktionalen Programmierung"

Sommersemester 05

Vorlesung "Funktionale Programmierung" mit Übungen

Wintersemester 04/05

Übungen zur Vorlesung "Prinzipien von Programmiersprachen"

Sommersemester 04

Fortgeschrittenen-Praktikum WebFun

Wintersemester 03/04

Übungen zur Vorlesung "Übersetzerbau"
Programmierpraktikum P1 zur Informatik I

Sommersemester 03

Seminar "Programmierung verteilter Systeme"

Wintersemester 02/03

Vorlesung "Nebenläufige und verteilte Programmierung" mit Übungen
Fortgeschrittenen-Praktikum "Internet-Programmierung"

Sommersemester 02

Fortgeschrittenen-Praktikum "Verifikation von Webseiten"

Wintersemester 01/02

Übungen zur Vorlesung "Übersetzerkonstruktion"
Programmierpraktikum P1 zur Informatik I

Sommersemester 01

Fortgeschrittenen-Praktikum "Verteilte Programmierung"

Wintersemester 00/01

Übungen zur Vorlesung "Compilerbau"
Seminar "Analyse und Optimierung von Programmen"
Proseminar "Programmiersprachen"

Sommersemester 00

Seminar "Programmiersprachen und Verifikation"

Wintersemester 99/00

Praktikum "Verteilte Programmierung in Erlang"

Sommersemester 99

Übungen zur Vorlesung "Grundlagen der Funktionalen Programmierung"
Seminar "Implementierungstechniken für Verifikationstools"

Wintersemester 98/99

Seminar "Hochsprachen für nebenläufige und verteilte Programmierung"

Sommersemester 98

Praktikum "Nebenläufige Programmierung in Erlang"
Seminar "Funktionale Programmierung"
Proseminar Programmiersprachen

Wintersemester 97/98

Übungen zur Vorlesung "Grundlagen der Funktionalen Programmierung"
Seminar "Theorie paralleler Prozesse"

Sommersemester 97

Seminar "Deklarative Programmiersprachen"

Wintersemester 96/97

Übungen zur Vorlesung "Deklarative Programmiersprachen"
Seminar "Semantik und Verifikation verteilter Systeme"

Last modified: Wed Nov 23 16:24:47 CET 2005 / Frank Huch Christian-Albrechts-University of Kiel