The EATCS Award 2026 - Laudation for Yishay Mansour

The EATCS Award committee selects

Yishay Mansour

as the recipient of the 2026 EATCS Award.

Presburger Award 2026 – Laudatio

The 2026 Presburger Award Committee has chosen Vincent Cohen-Addad and Gautam Kamath as joint recipients of the 2026 EATCS Presburger Award for Young Scientists.

EATCS honours three outstanding PhD theses with the EATCS Distinguished Dissertation Award for 2025

EATCS is proud to announce that, after examining the nominations received from our research community, the EATCS Distinguished Dissertation Award Committee 2025, consisting of Standa Zivny (chair), Petra Berenbrink, Loukas Georgiadis, Kasper Green Larsen and Emanuela Merellihas selected the following three theses as recipients of the EATCS Distinguished Dissertation Award for 2025:

Best ETAPS Paper Award 2026

Best ETAPS Paper Award 2026 The EATCS award for the best theory paper at ETAPS 2026 is awarded to the following papers

1st Call for papers - GandALF 2026

The Seventeenth International Symposium on Games, Automata, Logics, and Formal Verification will take place in Aalborg, Denmark, September 15-17, 2026.

Web page: https://gandalfsymposium.github.io/2026/

The aim of the symposium is to bring together researchers from academia and industry which are actively working in the fields of Games, Automata, Logics, and Formal Verification. The symposium covers an ample spectrum of themes, ranging from theory to applications, and encourages cross-fertilization. Papers focused on formal methods are especially welcome. Authors are invited to submit original research or tool papers on all relevant topics in these areas. Papers discussing new ideas that are at an early stage of development are also welcome.

EATCS Fellows class of 2026 named

The EATCS Fellows Selection Committee has examined the nominations we received for 2026and has unanimously agreed that the following three colleagues be named as EATCS Fellows 2026:

• Prakash Panangaden:  For seminal contributions to the semantics and logic of probabilistic computation, leading to extensive applications in systems modelling, verification, and machine learning.
• Hagit Attiya:  For landmark results to many areas in the theory and design of distributed systems, and continuously played a leading role in shaping the scientific discourse on distributed systems.
• Joël Ouaknine:  For fundamental contributions to the algorithmic analysis of dynamical systems and related formalisms.