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 2016 war die 33. Auflage der Tagung, die 1984 in Paris zum ersten Mal stattfand und seitdem alternierend in Frankreich und Deutschland veranstaltet wird.

Die STACS 2017 wird vom 8. bis zum 11. März 2017 in Hannover stattfinden. Sie wird von Heribert Vollmer (Universität Hannover) organisiert.