Lieber Uwe, ich möchte doch noch einmal sagen, dass ich mit "Concurrency Theory" als Name der neuen GI-Fachgruppe sehr unglücklich wäre, da ich mich und etliche andere Gruppen durch die etwas umfassendere Bezeichnung "Concurrency and Verification" wesentlich besser repräsentiert sehen würde als durch "Concurrency and Verification". So wie die Diskussion bisher gelaufen ist, war die Reihenfolge "Stimmabgabe vor Hören der Diskussionsbeiträge und anderer Meinungen". Eigentlich sollte es andersherum sein. Deshalb möchte ich anregen, dass wir die Stimmabgabephase noch einmal wiederholen, nachdem jetzt von mehreren Seiten auch für den Namen "Concurrency and Verification" argumentiert wurde (u.a. von drei der vier Initiatoren des DCON-Treffens). Viele Grüße, Markus -- 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