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.