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.

The Gödel Prize 2020 - Call for Nominations

Deadline: February 15, 2020

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 Association for Computing Machinery, Special Interest Group on Algorithms and Computation Theory (ACM SIGACT). The award is presented annually, with the presentation taking place alternately at the International Colloquium on Automata, Languages, and Programming (ICALP) and the ACM Symposium on Theory of Computing (STOC). The 28th Gödel Prize will be awarded at the 47th International Colloquium on Automata, Languages, and Programming to be held during 8-12 July, 2020 in Beijing. The Prize is named in honour 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.

EATCS Bulletin Issue 129 is available online

The 129th issue of the EATCS Bulletin, is now available online at http://bulletin.eatcs.org/index.php/beatcs/issue/view/31 featuring

- "Enumeration Complexity" by Y. Strozecki,
- "Hardness-Randomness Tradeoffs for Algebraic Computation" by M. Kumar, R. Saptharishi
- "Relative expressiveness of calculi for reversible concurrency" by D. Medic
- "Exploring the Borderlands of the Gathering Problem" by E. M. E. Mhamdi, R. Guerraoui, A. Maurer, V. Tempez
- "An Informal Visit to the Wonderful Land of Consensus Numbers and Beyond" by M. Raynal
- "Teaching Recursion and Dynamic Programming Before College" by M. Anderle, M. Forišek, M. Steinová
- "Circuit pedantry" by A. Blass, Y. Gurevich

Results of EATCS Council Elections 2019

The new elected members of the EATCS council are (in alphabetical order):

Ivona Bezakova (USA)
Fabian Kuhn (Germany)
Slawomir Lasota (Poland)
Elvira Mayordomo (Spain)
Anca Muscholl (France)
Maria Serna (Spain)
Ola Svensson (Switzerland)
Till Tantau (Germany)
Sophie Tison (France)
Gerhard Woeginger (Germany)

EATCS Distinguished Dissertation Award 2019 - Call for Nominations

Deadline: 31 December 2019

The EATCS establishes the Distinguished Dissertation Award to promote and recognize outstanding dissertations in the field of Theoretical Computer Science. Any PhD dissertation in the field of Theoretical Computer Science that has been successfully defended in 2019 is eligible.

Presburger Award for Young Scientists 2020 - Call for Nominations

Deadline: 15 February 2020

Starting in 2010, the European Association for Theoretical Computer Science (EATCS) established the Presburger Award. The Award is conferred annually at the International Colloquium on Automata, Languages and Programming (ICALP) to a young scientist (in exceptional cases to several young scientists) for outstanding contributions in theoretical computer science, documented by a published paper or a series of published papers. The Award is named after Mojzesz Presburger who accomplished his path-breaking work on decidability of the theory of addition (which today is called Presburger arithmetic) as a student in 1929.