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

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. Viele Grüße, Markus