Uusi palkinto automaattien teorian edistämisestä
Kansainvälinen formaaliin kieliin ja automaattien teoriaan keskittynyt kongressi Developments in Language Theory on perustanut kansainvälisen Salomaa-palkinnon työstä automaattien teorian edistämiseksi. Palkinto on nimetty Turun yliopiston pitkäaikaisen matematiikan professorin, akateemikko Arto Salomaan mukaan.
Arto Salomaa kuvattuna Dobogókőssa Unkarissa 18.5.2005.