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 2026 Salomaa prize committee, consisting of Jürgen Dassow, Christian Choffrut, and Nelma Moreira, has awarded the

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

  to Dexter Kozen

  “For his exceptional and fundamental achievements and his broad impact on the theory of automata, formal languages, logic, complexity theory, and software verification, especially for his contributions to Kleene
  algebras, alternating machines, dynamic logics, computational algebra, complexity of algebras.”