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.*
-- Prof. Michael Mendler, PhD Universität Bamberg Professur für Grundlagen der Informatik The University of Bamberg Faculty of Information Systems and Applied Computer Sciences Informatics Theory Group An der Weberei 5 D-96047 Bamberg Germany Phone: ++49 951 863-2828 Fax: ++49 951 863-5528 E-Mail: michael.mendler@uni-bamberg.de WWW: http://www.gdi.uni-bamberg.de/personnel/mendler/