{"id":15,"date":"2018-01-12T08:49:09","date_gmt":"2018-01-12T08:49:09","guid":{"rendered":"http:\/\/math.utu.fi\/asp2\/?page_id=15"},"modified":"2026-02-26T13:24:13","modified_gmt":"2026-02-26T11:24:13","slug":"arto-salomaa-prize","status":"publish","type":"page","link":"https:\/\/math.utu.fi\/salomaaprize\/","title":{"rendered":"Salomaa Prize"},"content":{"rendered":"<h2 style=\"padding-left: 120px\">in<\/h2>\n<h2>AUTOMATA THEORY, FORMAL LANGUAGES, AND RELATED TOPICS<\/h2>\n<p>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.<\/p>\n<h3><strong>Latest news<\/strong><\/h3>\n<ul>\n<li>\nThe 2026 Salomaa prize committee, consisting of J\u00fcrgen Dassow, Christian Choffrut, and Nelma Moreira, has awarded the<\/p>\n<p><b>2026 Salomaa Prize in Automata Theory, Formal Languages, and Related Topics<\/b>,<\/p>\n<p>to Dexter Kozen<\/p>\n<p>&#8220;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<br \/>\nalgebras, alternating machines, dynamic logics, computational algebra, complexity of algebras.&#8221;\n<\/li>\n<\/ul>\n<div class=\"pvc_clear\"><\/div>\n<p id=\"pvc_stats_15\" class=\"pvc_stats all  \" data-element-id=\"15\" style=\"\"><i class=\"pvc-stats-icon medium\" aria-hidden=\"true\"><svg aria-hidden=\"true\" focusable=\"false\" data-prefix=\"far\" data-icon=\"chart-bar\" role=\"img\" xmlns=\"http:\/\/www.w3.org\/2000\/svg\" viewBox=\"0 0 512 512\" class=\"svg-inline--fa fa-chart-bar fa-w-16 fa-2x\"><path fill=\"currentColor\" d=\"M396.8 352h22.4c6.4 0 12.8-6.4 12.8-12.8V108.8c0-6.4-6.4-12.8-12.8-12.8h-22.4c-6.4 0-12.8 6.4-12.8 12.8v230.4c0 6.4 6.4 12.8 12.8 12.8zm-192 0h22.4c6.4 0 12.8-6.4 12.8-12.8V140.8c0-6.4-6.4-12.8-12.8-12.8h-22.4c-6.4 0-12.8 6.4-12.8 12.8v198.4c0 6.4 6.4 12.8 12.8 12.8zm96 0h22.4c6.4 0 12.8-6.4 12.8-12.8V204.8c0-6.4-6.4-12.8-12.8-12.8h-22.4c-6.4 0-12.8 6.4-12.8 12.8v134.4c0 6.4 6.4 12.8 12.8 12.8zM496 400H48V80c0-8.84-7.16-16-16-16H16C7.16 64 0 71.16 0 80v336c0 17.67 14.33 32 32 32h464c8.84 0 16-7.16 16-16v-16c0-8.84-7.16-16-16-16zm-387.2-48h22.4c6.4 0 12.8-6.4 12.8-12.8v-70.4c0-6.4-6.4-12.8-12.8-12.8h-22.4c-6.4 0-12.8 6.4-12.8 12.8v70.4c0 6.4 6.4 12.8 12.8 12.8z\" class=\"\"><\/path><\/svg><\/i> <img loading=\"lazy\" decoding=\"async\" width=\"16\" height=\"16\" alt=\"Loading\" src=\"https:\/\/math.utu.fi\/salomaaprize\/wp-content\/plugins\/page-views-count\/ajax-loader-2x.gif\" border=0 \/><\/p>\n<div class=\"pvc_clear\"><\/div>\n","protected":false},"excerpt":{"rendered":"<p>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 &hellip; <a href=\"https:\/\/math.utu.fi\/salomaaprize\/\" class=\"more-link\">Continue reading <span class=\"screen-reader-text\">Salomaa Prize<\/span><\/a><\/p>\n<div class=\"pvc_clear\"><\/div>\n<p id=\"pvc_stats_15\" class=\"pvc_stats all  \" data-element-id=\"15\" style=\"\"><i class=\"pvc-stats-icon medium\" aria-hidden=\"true\"><svg aria-hidden=\"true\" focusable=\"false\" data-prefix=\"far\" data-icon=\"chart-bar\" role=\"img\" xmlns=\"http:\/\/www.w3.org\/2000\/svg\" viewBox=\"0 0 512 512\" class=\"svg-inline--fa fa-chart-bar fa-w-16 fa-2x\"><path fill=\"currentColor\" d=\"M396.8 352h22.4c6.4 0 12.8-6.4 12.8-12.8V108.8c0-6.4-6.4-12.8-12.8-12.8h-22.4c-6.4 0-12.8 6.4-12.8 12.8v230.4c0 6.4 6.4 12.8 12.8 12.8zm-192 0h22.4c6.4 0 12.8-6.4 12.8-12.8V140.8c0-6.4-6.4-12.8-12.8-12.8h-22.4c-6.4 0-12.8 6.4-12.8 12.8v198.4c0 6.4 6.4 12.8 12.8 12.8zm96 0h22.4c6.4 0 12.8-6.4 12.8-12.8V204.8c0-6.4-6.4-12.8-12.8-12.8h-22.4c-6.4 0-12.8 6.4-12.8 12.8v134.4c0 6.4 6.4 12.8 12.8 12.8zM496 400H48V80c0-8.84-7.16-16-16-16H16C7.16 64 0 71.16 0 80v336c0 17.67 14.33 32 32 32h464c8.84 0 16-7.16 16-16v-16c0-8.84-7.16-16-16-16zm-387.2-48h22.4c6.4 0 12.8-6.4 12.8-12.8v-70.4c0-6.4-6.4-12.8-12.8-12.8h-22.4c-6.4 0-12.8 6.4-12.8 12.8v70.4c0 6.4 6.4 12.8 12.8 12.8z\" class=\"\"><\/path><\/svg><\/i> <img loading=\"lazy\" decoding=\"async\" width=\"16\" height=\"16\" alt=\"Loading\" src=\"https:\/\/math.utu.fi\/salomaaprize\/wp-content\/plugins\/page-views-count\/ajax-loader-2x.gif\" border=0 \/><\/p>\n<div class=\"pvc_clear\"><\/div>\n","protected":false},"author":14,"featured_media":0,"parent":0,"menu_order":0,"comment_status":"closed","ping_status":"closed","template":"","meta":{"footnotes":""},"class_list":["post-15","page","type-page","status-publish","hentry"],"_links":{"self":[{"href":"https:\/\/math.utu.fi\/salomaaprize\/wp-json\/wp\/v2\/pages\/15","targetHints":{"allow":["GET"]}}],"collection":[{"href":"https:\/\/math.utu.fi\/salomaaprize\/wp-json\/wp\/v2\/pages"}],"about":[{"href":"https:\/\/math.utu.fi\/salomaaprize\/wp-json\/wp\/v2\/types\/page"}],"author":[{"embeddable":true,"href":"https:\/\/math.utu.fi\/salomaaprize\/wp-json\/wp\/v2\/users\/14"}],"replies":[{"embeddable":true,"href":"https:\/\/math.utu.fi\/salomaaprize\/wp-json\/wp\/v2\/comments?post=15"}],"version-history":[{"count":30,"href":"https:\/\/math.utu.fi\/salomaaprize\/wp-json\/wp\/v2\/pages\/15\/revisions"}],"predecessor-version":[{"id":502,"href":"https:\/\/math.utu.fi\/salomaaprize\/wp-json\/wp\/v2\/pages\/15\/revisions\/502"}],"wp:attachment":[{"href":"https:\/\/math.utu.fi\/salomaaprize\/wp-json\/wp\/v2\/media?parent=15"}],"curies":[{"name":"wp","href":"https:\/\/api.w.org\/{rel}","templated":true}]}}