Hallo Markus,
ich weiss nicht genau, wie du zaehlst, aber als einer der Initiatoren
des DCON-Treffens bestaetige ich, dass ich 'Concurrency Theory' als
Namen der Fachgruppe ausgesprochen passend finde.
Dass ich selbst meine Gruppe under dem Slogan 'Concurrency and
Verification' besser einsortieren kann, stimmt zwar, aber darum
geht es fuer mich bei der Fachgruppe nicht.
Gruss,
Holger
Am 18.01.2013 15:16, schrieb Markus Müller-Olm:
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.-Ing. Holger Hermanns
:::::::::: :::::::::: Dependable Systems & Software
: :::: : Department of Computer Science
::::::: ::::::: Saarland University
66123 Saarbruecken, Germany
depend.cs.uni-saarland.de Phone:
+49 681 302-5630 Fax:-5636
______________________________
_________________
D-CON mailing list
D-CON@lists.rwth-aachen.de
https://mailman.rwth-aachen.de/mailman/listinfo/d-con