Liebe Freunde und Kollegen, jetzt gibt es noch einen weiteren Themenvorschlag von Jan Bormann von der Uni Kaiserslautern (Geometrische Ansaetze zur Beschleunigung von Ueberdeckungsalgorithmen in linearen Whileprogrammen): http://cs.uni-muenster.de/sev/dcon11/ VielGruesse, Markus Mueller-Olm -- Prof. Dr. Markus Müller-Olm Westfälische Wilhelms-Universität Münster Institut für Informatik, FB 10 Einsteinstraße 62, D-48149 Münster, Germany Phone: ++49-251-83-33765 Fax: ++49-251-83-33755 E-mail: mmo@math.uni-muenster.de