Fachbereich Informatik (20)
Professur für Künstliche Intelligenz und Softwaretechnologie

Uni-Home

Uni-Überblick

Suche

FB Informatik

Lehrveranstaltungen der Professur KIST im SS2000

Vorlesung	Einführung in die Funktionale Programmierung I Vorlesung am: Di., Do. 10:00-12:00, Seminar-Raum 11 Übung am:
Seminar	Methoden und Werkzeuge zur Verifikation von Software Vorbesprechung: Do, 27. Januar 2000, 15:00 c.t., Seminar-Raum 307
Kolloquium	Diplomandenkolloquium
Künftige	Veranstaltungen im nächsten Semester
Frühere	Veranstaltungen vergangener Semester

msz,

$Id: veranstaltungen-aktuell.html,v 1.4 2000/06/21 10:43:01 mann Exp $