Results of EATCS General Assembly Elections 2025

239 EATCS members voted and the General Assembly approved the outcome of the election. The elected members of the General Assembly are (in alphabetical order):

• Alkida Balliu
• Thomas Colcombet
• Javier Esparza
• Pawel Gawrychowski
• Kasper Green Larsen
• Yannic Maus
• Yasamin Nazari
• Eva Rotenberg
• Jukka Suomela

We welcome all members of the General Assembly, who have been elected with the term until summer 2029.

Vote for General Assembly Elections 2025 has ended

EATCS Bulletin Issue 147 is available online

The 147th issue of the EATCS Bulletin, is now available online at https://bulletin.eatcs.org/index.php/beatcs/index featuring

The Salomaa Prize - 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 her/his 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 2026 will be awarded at DLT 2026 in Rouen, France.

The deadline for nomination is January 31, 2026. 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: Jürgen Dassow, University of Magdeburg, This e-mail address is being protected from spambots. You need JavaScript enabled to view it

For all further information, see the guidelines on the Salomaa Prize website: https://math.utu.fi/salomaaprize/

The EATCS Award 2025  - Laudation for Rajeev Alur

The EATCS Award committee selects as the recipient of the 2025 EATCS Award for his contributions to computer-assisted specification, analysis, verification, and synthesis of systems. Alur's research is characterized by deep and elegant theoretical ideas with a clear path to practical industrial use. His multiple celebrated contributions include the following:

During the 1990s, in collaboration with Dill, Henzinger, and others, Rajeev Alur introduced and studied timed and hybrid automata. These models have since been further explored in thousands of articles, and the resulting analysis and verification algorithms have been implemented in numerous tools.

Presburger Award 2025 – Laudatio

The 2025 Presburger Award Committee has chosen Tomasz Kociumaka and Sepehr Assadi as joint recipients of the 2025 EATCS Presburger Award for Young Scientists.