Programm im Überblick

06. Dezember 2002

 

Grußworte und Jahresbericht des Instituts für Informatik

• Prof. Dr. Reinhard Demuth, Universität Kiel
Grußwort des Rektorats der Christian-Albrecht-Universität zu Kiel
• Prof. Dr. Werner Weppner
Grußwort der Technischen Fakultät
• Prof. Dr. Michael Hanus
Jahresbericht des Instituts für Informatik

Fachvortrag

• "Verifikation von Steuerungssoftware im industriellen Umfeld"
Dipl.-Inf. Ralf Huuck, Universität Kiel

Kaffeepause

Festvortrag

• "Vertrau' mir, ich bin Deine Software"
Prof. Dr. Wolfgang Reif, Universität Augsburg

Preisverleihungen

Preise für herausragende Diplomarbeiten und andere Studienleistungen

Buffet

 

Photos dieser Veranstaltung gibt es hier