Hallo, auch mir würde "Concurrency and Verification" gut gefallen. Vielleicht kann man den Punkt mit dem STACS-SC in Lübeck nochmal diskutieren. Ich werde allerdings leider nicht dort sein können, weil ich für den 7./8. März schon vor längerer Zeit meinen Urlaub geplant habe und das trifft sich nun ungünstig. Teilnehmer aus Duisburg werden aber sicher kommen. Viele Grüße, Barbara Martin Leucker <leucker@isp.uni-luebeck.de> writes:
Hallo zusammen,
Danke, Uwe.
Bin für
- nicht STACS SC und - Concurreny and Verification
Beides aber "without strong opinion".
Bis dann in Lübeck!
Martin Leucker
Sent from my iPhone.
Am 09.01.2013 um 19:04 schrieb Michael Mendler <michael.mendler@uni-bamberg.de>:
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/ _______________________________________________ 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