Lieber Walter, ich sehe gerade, dass ich meine Antwort von gestern versehentlich nur an Dich anstatt an die Mailingliste geschickt. Daher schicke ich sie hier (etwas editiert) noch mal an die ganze Liste. Am 18.01.2013 18:35, schrieb Walter Vogler:
ich denke, concurrency versteht sich doch immer sehr breit. Könntest Du mal was Konkretes nennen, von dem Du denkst, es sollte bei D_CON behandelt werde, was aber unter der Überschrift "Concurrency" nicht mehr ginge??
Mit "Concurrency" habe ich überhaupt kein Problem. Das ist aber auch weniger speziell als "Concurrency Theory". Deshalb stellst Du mir hier nicht ganz die richtige Frage;-) Ich deute Deine Frage deshalb mal um, in die Frage, was unter der Überschrift "Concurrency Theory" nicht mehr so gut passen würde. Ich finde es gut und inspirierend, dass es bei DCON (nach meiner Beobachtung relativ gleichgewichtig) eine Mischung aus Theorievorträgen/-sessions und Vorträgen/Sessions zu praktischen Anwendungen der Theorie gibt, z.B. zu Analysetools auf Basis guter Theorie. Konkretes Beispiel aus unserem Forschungsbebiet: Analyse nebenläufiger Java-Programme mit Hilfe von DPNs. Zu "Concurrency" passt das, keine Frage. Zu "Concurrency Theory" schon weniger gut. Nach meine Empfinden würden solche Themen damit an den Rand gedrängt. Beste Grüße, Markus Am 18.01.2013 18:35, schrieb Walter Vogler:
Am 18.01.2013 18:26, schrieb Markus Müller-Olm:
Ich finde es strategisch falsch 'Verification' thematisch im Bereich (Fachausschuss) 'Theoretische Informatik' zu verankern, denn es ist doch sehr sehr praxisorientierte Informatik, die wir da machen (die selbstredend gute Theorie praktisch nutzt).
Das Argument kann ich strategisch nachvollziehen! Es bestätigt mich aber auch in meinem Gefühl, das mit der Umwandlung von "D-CON" in eine Fachgruppe "Concurrency Theory" eine thematische Verengung einhergeht.
Markus,
ich denke, concurrency versteht sich doch immer sehr breit. Könntest Du mal was Konkretes nennen, von dem Du denkst, es sollte bei D_CON behandelt werde, was aber unter der Überschrift "Concurrency" nicht mehr ginge??
Gruß, Walter
-- Prof. Dr. Markus Müller-Olm Westfälische Wilhelms-Universität Münster Institut für Informatik, FB 10 Einsteinstraße 62, D-48149 Münster, Germany Phone: ++49-251-83-33765 Fax: ++49-251-83-33755 E-mail: mmo@math.uni-muenster.de