CALL FOR NOMINATIONS The Salomaa Prize in Automata Theory, Formal Languages, and Related Topics is awarded annually at the conference DLT (Developments in Language Theory). It consists of the diploma and the prize of 2000 Euros donated by the University of Turku. The award is given to a distinguished researcher for their fundamental achievements in automata theory and related topics.
The achievement might be a single article, a series of articles, or broader impact on the theory. The main criterion is the scientific excellence of the work. The Salomaa Prize 2025 will be awarded at DLT 2025 in Seoul, Korea. The deadline for nomination is February 28 2025. Nominations, which consist of a description of the nominee's work and rationale for the award, signed by at least two recognized researchers, should be sent by electronic mail to the chair of the selection committee: Jeffrey Shallit, University of Waterloo, shal...@uwaterloo.ca<mailto:shal...@uwaterloo.ca> For all further information, see the guidelines on the Salomaa Prize website: https://math.utu.fi/salomaaprize/ -- [LOGIC] mailing list, provided by DLMPST More information (including information about subscription management) can be found here: http://dlmpst.org/pages/logic-list.php