Unser Fachgruppen-Logo hebt farblich die Verbindung zur GI hervor und skizziert einen der kleinsten Automaten, der in unmittelbarer Beziehung zu einer der bekanntesten offenen Fragen aus der Automatentheorie steht, nämlich der Vermutung von Černý. Hiermit soll auch verdeutlicht werden, dass das Gebiet der Automaten und Formalen Sprachen keineswegs abschließend beforscht ist. Synchronisierende Wörter sind weiterhin von praktischer Bedeutung, und ein konstruktiver Beweis, dass jeder synchronisierbare Automat mit n Zuständen ein synchronisierendes Wort höchstens quadratischer Länge (in n) hat, wäre nicht nur von theoretischem Wert.