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 -- -- -- -- -- -- -- -- -- -- -- -- -- -- -- -- -- -- -- -- -- -- Walter Vogler Walter.Vogler@informatik.uni-augsburg.de http://www.informatik.uni-augsburg.de/lehrstuehle/swt/ti/ Institut für Informatik +49-821-598-2120 Universität Augsburg Sekr.: -2174 D-86135 Augsburg, Germany FAX : -2175