Die Diskussion im Kontext der Namenssuche führte zu Concurrency Theory. Die Doodle-Umfrage ging zwar knapp aus, aber am Ende konnten sich auch einige ursprüngliche "Gegner" damit anfreunden.

Für den formalen Antrag als GI-Fachgruppe im GI-Fachbereich Grundlagen der Informatik war ein 2-seitiges Papier benötigt, in dem ich die Begründung darlegen sollte und "beweisen", dass die Community existiert und breit genug aufgestellt ist, um eine GI-Struktur zu tragen. Dabei fragt die GI auch nach einem ersten Leitungsgremium, das im Laufe von spätestens drei Jahren nach Gründung durch formale Wahlen abgelöst werden soll. Für diese Gremium habe ich zunächst die ursprünglichen Gründer gefragt und dann noch gezielt thematisch eine Verbreiterung gesucht. Am Ende haben sich Baier, Goltz, König, Lüttgen, Müller-Olm, Nestmann bereit gefunden. (Die Gender-Gleichgewicht ergab sich dabei rein zufällig.;-) Für den Anfang würde ich als Sprecher fungieren, mit Markus Müller-Olm als Stellvertreter. Der Antrag hängt dieser Email an.

Am 2.3. sollte der Fachbereich über unseren Antrag entscheiden können, so dass wir kommende Woche in Lübeck davon wissen sollten. Im Programm sehe ich ein Business Meeting für Freitag 14-15 Uhr, wo ich dann gerne Bericht erstatten werde.