Liebe Freunde von Concurrency und Verifikation, ich kann mich daran erinnern, dass die Idee einer D-CONCAV vor ein paar Jahren schon informell geäußert wurde und nicht so gut angekommen ist. Es wurde damals argumentiert, dass ein Explizitmachen des Gebiets Verifikation im Namen implizieren würde, dass wir weitere Arbeitsgruppen zu unserem jährlichen Workshop einladen müssten; dies wollten wir zumindest damals nicht, u. a. weil dann der Workshop zu groß und seinen jetzigen Charakter verlieren würde. Schönes Wochenende Gerald Am 18.01.2013 um 18:30 schrieb Uwe Nestmann:
Lieber Markus, liebe Mitleser,
endlich also eine Diskussion!
On 18. Jan 2013, at 15:16 , Markus Müller-Olm <markus.mueller-olm@wwu.de> wrote:
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 sich eine Woche lang niemand mehr zu Wort gemeldet hatte, insbesondere niemand sich umentschieden hatte, schireb ich die Email vorhin… ;-)
Nun schlage ich vor, dass wir uns eine weitere Woche geben, um diese Entscheidung wohldiskutiert zu treffen. Wir können hier auf der Liste Argumente austauschen – was meine eigentlich unsere Doktoranden? – und die Vor- und Nachteile der jeweiligen Bezeichnung abwägen. Ich denke schon, dass die Bezeichnung wichtig ist, und dass wir uns mehrheitlich damit anfreunden können. Ich selbst habe kein Problem mit einer Mehrheitsentscheidung, egal in welcher Richtung sie ausfällt.
Dazu ein einfaches Doodle unter http://doodle.com/5gaqtktnukrnfvhr Wer sein "ist mir egal" ausdrücken will, darf sogar beide Varianten wählen.
LG, == Uwe ==
_______________________________________________ D-CON mailing list D-CON@lists.rwth-aachen.de https://mailman.rwth-aachen.de/mailman/listinfo/d-con
-- Prof. Dr. Gerald Lüttgen Lehrstuhl Softwaretechnik und Programmiersprachen Fakultät WIAI, Universität Bamberg, 96045 Bamberg Email: gerald.luettgen@swt-bamberg.de Web: http://www.swt-bamberg.de/ Tel.: 0951 863-3850 / Fax: 0951 863-3855