Call for Nominations: Alonzo Church Award for Outstanding Contributions to Logic and Computation 2020

An annual award, called the Alonzo Church Award for Outstanding Contributions to Logic and Computation, was established in 2015 by the ACM Special Interest Group for Logic and Computation (SIGLOG), the European Association for Theoretical Computer Science (EATCS), the European Association for Computer Science Logic (EACSL), and the Kurt Gödel Society (KGS). The award is for an outstanding contribution represented by a paper or by a small group of papers published within the past 25 years. This time span allows the lasting impact and depth of the contribution to have been established. The award can be given to an individual, or to a group of individuals who have collaborated on the research.

Call for Nominations: Dijkstra Prize in Distributed Computing

Nomination deadline: March 15, 2020

15th INTERNATIONAL COMPUTER SCIENCE SYMPOSIUM IN RUSSIA (CSR 2020) - Call for Papers (2nd Round)

June 29 - July 03, 2020, Ekaterinburg, Russia

https://csr2020.sciencesconf.org

EATCS-IPEC Nerode Prize - Call for Nominations

Deadline: March 15, 2020

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). IPEC 2020 takes place within ISAAC 2020, December 14-16, 2020, Hong Kong. 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.

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)