Lieber Uwe,
vielen Dank für Deine Initiative!
vielen Dank, dass du diese Initiative weitergetrieben hast. Ich stimme deine Meinung zu: kein STACS SC-Platz und Titel "Concurrency Theory".
ich würde den Titel "Concurrency and Verification" vorziehen. Beim Thema STACS SC-Platz bin ich mir unsicher. Einerseits muss das sicher nicht wirklich sein. Andererseits sollten wir noch mal kurz diskutieren, ob wir da nicht eine Chance vergeben. Schade, dass wir das nicht "in person" diskutieren können, aber andererseits sehr gut, dass es voran geht!
Viele Grüße, Markus