Der Fachausschuss "Theoretische Informatik", zu dem die Fachgruppe "Automaten und Formale Sprachen" gehört, bildet gemeinsam mit einem analogen französischen Ausschuss das Lenkungskomitee der Tagung STACS (Annual Symposium on Theoretical Aspects of Computer Science), einer der führenden Konferenzen der theoretischen Informatik in Europa.

Die STACS 2024 wird die 41. Auflage der Tagung sein, die 1984 in Paris zum ersten Mal stattfand und seitdem alternierend in Frankreich und Deutschland veranstaltet wird.