Nerode Prize 2024 - Call for Nominations

The EATCS-IPEC Nerode Prize for outstanding papers in the area of multivariate algorithmics is presented annually, with the presentation taking place at IPEC (International Symposium on Parameterized and Exact Computation). The Prize is named in honor of Anil Nerode in recognition of his major contributions to mathematical logic, theory of automata, computability, and complexity theory.

IPEC 2024 will take place as part of ALGO 2024 on 4–6 September 2024 at Royal Holloway, United Kingdom.

The prize was awarded for the first time in 2013.

22nd LA/EATCS-Japan Presentation Award

The 22nd LA/EATCS-Japan Workshop on Theoretical Computer Science was held on February 19 - February 21, 2024, and Mr. Nobutaka Shimizu (Tokyo Institute of Technology), Title: Analysis of Voting Process from Martingale Concentration, was selected for the 22nd LA/EATCS-Japan Presentation Award

http://www.dais.is.tohoku.ac.jp/eatcs_japan/

Results of EATCS Council Elections 2023

155 EATCS members voted and the EATCS Council approved the outcome of the election. The new elected members of the EATCS council are (in alphabetical order):

• Antoine Amarilli (France)
• Ivona Bezakova (USA)
• Anne Driemel (Germany)
• Inge Li Goertz (Denmark)
• Anca Muscholl (France)
• Charles Paperman (French)
• Szymon Torunczyk (Poland)
• Bianca Truthe (Germany)

We welcome all new members of the Council, who have been elected with the term until summer 2027.

Call for nominations: EATCS Award 2024

EATCS Distinguished Dissertation Award 2023 - Call for Nominations

Deadline: March 7th, 2024

Presburger Award for Young Scientists 2024 - Call for Nominations

Deadline: 7 March 2024

The Presburger Award recognises outstanding contributions by a young scientist in theoretical computer science, documented by a published paper or a series of published papers. It is named after Mojzesz Presburger who accomplished his ground-breaking work on decidability of the theory of addition (known today as Presburger arithmetic) as a student in 1929. The award is conferred annually by the European Association for Theoretical Computer Science (EATCS) at the International Colloquium on Automata, Languages, and Programming (ICALP).