I	Donnerstag, 21. 9. 2000		II
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)	Kreativität in der Informatik: Anwendungsbeispiele der innovativen Prinzipien aus TRIZ Janine Willms, Ina Wentzlaff, Markus Specker (Universität Oldenburg) Aktives Lernen von Algorithmen mit interaktiven Visualisierungen Nils Faltin (Universität Oldenburg) Towards a Manufacturing System under Hard Real-Time Constraints Dania El-Kebbe Salaheddine (Universität Paderborn)	11:00
12:30			12:30
15:30	Die Verarbeitung von Parallelismus-Constraints Katrin Erk (Universität des Saarlandes) Correctness Preserving Transformations for the Design of Parallelized Low-Power Systems Marc Theisen, Felix C. Gärtner (TU Darmstadt) Die Glykowissenschaften, ein neuer Einsatzbereich in der Bioinformatik Andreas Bohne (DKFZ Heidelberg), Thomas Wetter (Universität Heidelberg), Elke Lang (Universität Hildesheim), Claus-Wilhelm von der Lieth (DKFZ Heidelberg)	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)	15:30
Freitag, 22. 9. 2000
10:30	Probabilistic Projection and Belief Update in the pGOLOG Framework Henrik Großkreutz (RWTH Aachen) Explaining What Went Wrong in Dynamic Domains Gero Iwan (RWTH Aachen) Modellierung und Unterstützung verfahrenstechnischer Modellierungsprozesse Claudia Krobb, Jörg Hackenberg (RWTH Aachen)	Verteilte Lösung simulationsbasierter Optimierungsprobleme auf vernetzten Workstations Thomas Barth, Bernd Freisleben, Manfred Grauer, Frank Thilo (Universität Siegen) Proving the Correctness of a Complete Microprocessor Christian Jacobi, Daniel Kröning (Universität des Saarlandes) Dezentrale Intelligenz durch Metamodell-basierte Objektverwaltung Dirk Meyer (RWTH Aachen)	10:30