Salomaa Prize

in

AUTOMATA THEORY, FORMAL LANGUAGES, AND RELATED TOPICS

The Developments in Language Theory (DLT) Symposium has decided to create a prize to be awarded during the DLT conference. The SALOMAA PRIZE is named to honour the scientific achievements and influence of Academician Arto Salomaa, a founder of the DLT symposium. The prize consists of a diploma and 2000 euros, funded by the University of Turku, Finland, the home university of Arto Salomaa.

Latest news

• The 2025 Salomaa prize committee, consisting of Jeffrey Shallit, Christian Choffrut, and Jürgen Dassow, has awarded the

  2025 Salomaa Prize in Automata Theory, Formal Languages, and Related Topics,

  to Georg Zetzsche

  “For the breadth and depth of his results in formal languages, automata theory, and logic, particularly the theory of downward closures, decidability in infinite-state systems, algorithmic group theory, and arithmetic theories, connecting formal languages and computation in the spirit of Arto Salomaa.”