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 ==