9:00
Hauptvorträge
Programmable Molecular Construction Systems
Prof. Dr. J. S. McCaskill (GMD - BIOMIP, Sankt Augustin)
Die Bioinformatik - eine Schlüsseltechnologie für die funktionelle Genomforschung
Prof. Dr. H.-J. Thiesen (Universität Rostock)

Sitzungsleitung: Prof. Dr. Raúl Rojas (FU Berlin)

10:30
11:00
  • Neue Wege in der Exploration
    Stefan Edelkamp (Universität Freiburg)
  • A Behaviour and Utility-Based Control Architecture for Real-Time Applications
    Roland Stenzel (RWTH Aachen)
  • Komponentenbasierte Konstruktion flexibler Software - Entwicklungswerkzeuge
    Marc Monecke (Universität Siegen)
11:00
12:30
14:00
Hauptvortrag
Formale und stochastische Methoden zur Qualitätssicherung technischer Software
Prof. Dr. Peter Liggesmeyer (Universität Potsdam, HPI für Softwaresystemtechnik)
Sitzungsleitung: Prof. Dr. Gregor Snelting (Universität Passau)
14:00
Gastvortrag
Plankalkül - die erste Implementierung der ersten Programmiersprache
Prof. Dr. Raúl Rojas (FU Berlin)
15:00
15:30
  • Bank2010: Eine fachliche und technische Vision
    Sanjay Dewal, Ludger Schnichels (Debis Systemhaus)
  • XML-basierte Internetanbindung technischer Prozesse
    Stephan Eberle (Universität Stuttgart)
  • Improving the Validation Process for a Better Field Quality in a Product Line Architecture
    Christof Ebert (Alcatel, Antwerpen, Belgien)
Sitzungsleitung: Prof. Dr. Udo Kelter (Universität Siegen)
15:30
15:30
  • PROPAN: Ein retargierbares System für Postpassoptimierungen und -analysen
    Daniel Kästner (Universität des Saarlandes)
  • ²: Unterstützung mobiler und drahtlos angebundener Teilnehmer in verteilten CORBA-Architekturen
    Rainer Ruggaber (Universität Karlsruhe)
17:00
GI-Mitgliederversammlung
17:00
Gastvortrag
Tipps für die Selbständigkeit
Dr. Willi Oberlander (Institut für Freie Berufe an der Friedrich-Alexander-Universität Erlangen-Nürnberg e.V.)
20:00 Bankett in der Alten Pumpe