Ich kann mit beiden Namen leben. Ich finde "Concurrency and Verification" etwas besser. Javier On Fri, 18 Jan 2013, Holger Hermanns wrote:
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
-------------------------------- Prof.Dr. Javier Esparza Institut fuer Informatik (I7) Technische Universitaet Muenchen Boltzmannstr. 3 D-85748 Garching bei Muenchen Germany Phone: +49 (89) 289-17204 Fax: +49 (89) 289-17207