European Association for Theoretical Computer Science (EATCS) is an international organization founded in 1972. Its aim is to facilitate the exchange of ideas and results among theoretical computer scientists as well as to stimulate cooperation between the theoretical and the practical community in computer science.

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.

Call for Nominations - The 2026 Alonzo Church Award for Outstanding Contributions to Logic and Computation

Deadline: April 17, 2026

The Gödel Prize 2026 - Call for Nominations

Deadline: April 11, 2026.

The Gödel Prize for outstanding papers in the area of theoretical computer science is sponsored jointly by the European Association for Theoretical Computer Science (EATCS) and the Special Interest Group on Algorithms and Computation Theory of the Association for Computing Machinery (ACM SIGACT). This award is presented annually, with the presentation taking place alternately at the EATCS International Colloquium on Automata, Languages, and Programming (ICALP) and the ACM Symposium on Theory of Computing (STOC). The 33nd Gödel Prize was awarded on June 25, 2025, at the 57th Annual ACM Symposium on Theory of Computing in Prague, Czech Republic.

The Prize is named in honor of Kurt Gödel in recognition of his major contributions to mathematical logic and of his interest, discovered in a letter he wrote to John von Neumann shortly before von Neumann’s death, in what has become the famous “P versus NP” question. The Prize includes an award of USD 5,000.