Re: [D-CON] D-CON Digest, Vol 33, Issue 7
Hallo, ich möchte die Diskussion nicht weiter anheizen, indem ich eine zusätzliche Option ins Spiel bringe. Aber was wäre eigentlich mit dem Namen "Concurrency"? Soweit ich das verstanden habe soll die Fachgruppe in den Bereich "Theoretische Informatik" eingruppiert werden, so dass das "Theory" im Namen nicht unbedingt notwendig wäre. Oder? Und wenn sich einige Gruppen damit besser identifizieren können als mit "Concurrency Theory", was spricht dann dagegen? Ich kann mir natürlich vorstellen, dass "Concurrency" vielleicht einfach zu wenig sprechend für einen Namen für die Gruppe wäre. Das kann ich nicht beurteilen. Viele Grüße, Kirstin -- _________________________________________________________ Dr. Kirstin Peters Technische Universität Berlin Institut für Softwaretechnik und Theoretische Informatik Modelle und Theorie Verteilter Systeme (MTV) Raum TEL 709, Ernst-Reuther-Platz 7, D-10587 Berlin Tel.: +49 30 314-24739 _________________________________________________________
Hallo zusammen, Michael Mendler und ich haben gestern beim Kaffee nochmals über den D-CON Namen geredet und haben folgende Idee. Wie wäre es einen Untertitel zu benutzen, z. B. "Concurrency Theory: Modelling, Programming and Verification"? Damit könnten die Concurrency Gebiete, auf denen wir arbeiten, explizit zum Ausdruck gebracht werden. Viele Grüße Gerald Am 21.01.2013 um 09:01 schrieb Kirstin Peters:
Hallo,
ich möchte die Diskussion nicht weiter anheizen, indem ich eine zusätzliche Option ins Spiel bringe. Aber was wäre eigentlich mit dem Namen "Concurrency"? Soweit ich das verstanden habe soll die Fachgruppe in den Bereich "Theoretische Informatik" eingruppiert werden, so dass das "Theory" im Namen nicht unbedingt notwendig wäre. Oder? Und wenn sich einige Gruppen damit besser identifizieren können als mit "Concurrency Theory", was spricht dann dagegen?
Ich kann mir natürlich vorstellen, dass "Concurrency" vielleicht einfach zu wenig sprechend für einen Namen für die Gruppe wäre. Das kann ich nicht beurteilen.
Viele Grüße, Kirstin
-- _________________________________________________________
Dr. Kirstin Peters Technische Universität Berlin Institut für Softwaretechnik und Theoretische Informatik Modelle und Theorie Verteilter Systeme (MTV) Raum TEL 709, Ernst-Reuther-Platz 7, D-10587 Berlin Tel.: +49 30 314-24739 _________________________________________________________
_______________________________________________ D-CON mailing list D-CON@lists.rwth-aachen.de https://mailman.rwth-aachen.de/mailman/listinfo/d-con
On 25. Jan 2013, at 08:11 , Gerald Lüttgen <gerald.luettgen@swt-bamberg.de> wrote:
Wie wäre es einen Untertitel zu benutzen, z. B. "Concurrency Theory: Modelling, Programming and Verification"? Damit könnten die Concurrency Gebiete, auf denen wir arbeiten, explizit zum Ausdruck gebracht werden.
Nur zum Vergleich, ohne Wertung: Der CFP zu CONCUR 2013 zählt zunächst "semantics, logics, verification and analysis" auf und listet als Hauptthemen dann aber "basicmodels/semantics, logics, models, verification and analysis". Wie üblich kann man sich uneinig sein, ob analysis allgemeiner ist als verification oder doch spezieller gemeint ist und damit anders als verification. Ich hab die Umfrage http://doodle.com/5gaqtktnukrnfvhr dahingehend erweitert, so dass es jetzt auch ein Option "mit Untertitel" gibt. == Uwe ==
Hi allerseits, ich finde den Vorschlag von Gerald und Michael, einen Titel mit Untertitel zu nehmen, sehr gut, weil er deutlich macht, dass "Concurrency" im Fokus steht. Ich habe gerade lange mit Gerald am Telefon diskutiert. Für uns wären mögliche Haupttitel "Concurrency" oder "Concurrency Theory" und über die jeweiligen Subtitel kann man dann lange diskutieren. Ergebnis des Gesprächs: Ein weiterer Namensvorschlag mit Untertitel, den ich euch nicht vorenthalten möchte: Concurrency: Theory, Modelling, and Verification Ob er besser ist, als der Vorschlag von Gerald und Michael oder, ob es noch was Besseres gibt, muss die Diskussion zeigen! Viele Grüße, Markus Am 25.01.2013 08:11, schrieb Gerald Lüttgen:
Hallo zusammen,
Michael Mendler und ich haben gestern beim Kaffee nochmals über den D-CON Namen geredet und haben folgende Idee.
Wie wäre es einen Untertitel zu benutzen, z. B. "Concurrency Theory: Modelling, Programming and Verification"? Damit könnten die Concurrency Gebiete, auf denen wir arbeiten, explizit zum Ausdruck gebracht werden.
Viele Grüße Gerald
Am 21.01.2013 um 09:01 schrieb Kirstin Peters:
Hallo,
ich möchte die Diskussion nicht weiter anheizen, indem ich eine zusätzliche Option ins Spiel bringe. Aber was wäre eigentlich mit dem Namen "Concurrency"? Soweit ich das verstanden habe soll die Fachgruppe in den Bereich "Theoretische Informatik" eingruppiert werden, so dass das "Theory" im Namen nicht unbedingt notwendig wäre. Oder? Und wenn sich einige Gruppen damit besser identifizieren können als mit "Concurrency Theory", was spricht dann dagegen?
Ich kann mir natürlich vorstellen, dass "Concurrency" vielleicht einfach zu wenig sprechend für einen Namen für die Gruppe wäre. Das kann ich nicht beurteilen.
Viele Grüße, Kirstin
-- _________________________________________________________
Dr. Kirstin Peters Technische Universität Berlin Institut für Softwaretechnik und Theoretische Informatik Modelle und Theorie Verteilter Systeme (MTV) Raum TEL 709, Ernst-Reuther-Platz 7, D-10587 Berlin Tel.: +49 30 314-24739 _________________________________________________________
_______________________________________________ D-CON mailing list D-CON@lists.rwth-aachen.de https://mailman.rwth-aachen.de/mailman/listinfo/d-con
_______________________________________________ D-CON mailing list D-CON@lists.rwth-aachen.de https://mailman.rwth-aachen.de/mailman/listinfo/d-con
-- 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
participants (4)
-
Gerald Lüttgen -
Kirstin Peters -
Markus Müller-Olm -
Uwe Nestmann