Liebe Freunde und Kollegen, es gibt jetzt noch einen weiteren Themenvorschlag für DCON von Jonathan Heinen aus Aachen ("Graphbasierte Verifikation") sowie Abstracts zu den beiden Themenvorschlägen aus der Gruppe von Helmut Seidl von der TU München. Wir haben die Webseite für die Umfrage: http://cs.uni-muenster.de/sev/dcon11/ und die Doodle-Umfrage selbst entsprechend ergänzt. Die, die bisher schon abgestimmt haben, bitten wir, ihr Voting noch entsprechend zu ergänzen, und alle anderen, die Deadline für die Votes nicht aus den Augen zu verlieren: Freitag dieser Woche (11. Februar 2011) Viele Grüße, Markus Müller-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