Re: [D-CON] Stand zur Einrichtung einer GI-Fachgruppe

Hallo,

"Concurrency and Verification" würde auch ich vorziehen.

Dass es um Theorie geht ist durch die Anbindung an den GI Fachbereich ohnehin schon klar. Ausserhalb des GI Kontextes wirkt das dann weniger "entrückt" und hat mehr inhaltlichen Griff auf unsere Themen.

Grüße,

Michael

WT führt uns mit dem Arbeitstitel "Concurrency and Verifikation". Englisch in der Bezeichnung ist scheinbar kein Problem. Mir selbst würde "Concurrency Theory" besser gefallen, zum einen wegen der Verbindung zu CONCUR, wo D-CON im wesentlichen geboren wurde, zum anderen wegen der Entsprechung zur IFIP WG-1.8 gleichen Namens. *Ich bitte Euch auch hier um Unterstützung oder auch Gegenrede.*