Nach einer kurzen Begrüßung durch Prof. Dr. Willem-Paul de Roever, dessen
Lehrstuhl in diesem Jahr die Organisation des Jahreskolloquiums durchführt,
sorgt die A-Capella-Gruppe ``Quartettrapak'' aus Kiel für eine musikalische
Einstimmung.
Anschließend Grußworte des Rektors der Christian-Albrechts-Universität zu Kiel,
Prof. Dr. Reinhard Demuth, des Dekans der Technischen Fakultät,
Prof. Dr. Werner Weppner, und des geschäftsführenden Vorstandsmitglieds des
Instituts für Informatik und Praktische Mathematik, Prof. Dr. Michael
Hanus.
 Prof. Dr. Reinhard Demuth |
 Prof. Dr. Werner Weppner |
 Prof. Dr. Michael Hanus |
Dann referiert Dipl.-Inf. Ralf Huuck (Universität Kiel) über ``Verifikation von
Steuerungssoftware im industriellen Umfeld''.
Bei der Kaffeepause im Foyer kann man eine kleine Stärkung zu sich nehmen, alte
Kontakte pflegen oder neue knüpfen.
Den Festvortrag hält Prof. Dr. Wolfgang Reif (Universität Augsburg) mit dem
Thema ``Vertrau' mir, ich bin Deine Software''.
Nach einer weiteren Gesangseinlage vom ``Quartettrapak'' werden herausragende
Diplomarbeiten und andere Studienleistungen geehrt. Die Preise kommen vom
Institut für Informatik und Praktische Mathematik und den Sponsoren Baltic
Online Computer GmbH (Kiel), Datenzentrale Schleswig-Holstein (Altenholz) und
Lufthansa Revenue Services (Norderstedt).
Im Namen aller Sponsoren
Die ausstellenden Firmen:
 b+m Informatik AG, Melsdorf |
 Cimbria, Kiel |
 MLP Finanzdienstleistungen AG, Geschäftsstelle Kiel II |
 Multimedia Campus Kiel |
Vielleicht ist jemandem auf der Rückfahrt vom Jahreskolloquium 2002 die
ungewöhnliche Beleuchtung am Verwaltungshochhaus der
Christian-Albrechts-Universität aufgefallen. Bei diesem Hilferuf handelt es
sich um eine der vielen Aktionen, mit der auf die andauernde desolate
Finanzsituation der Universität aufmerksam gemacht werden
soll.