EATCS-IPEC Nerode Prize - CALL FOR NOMINATIONS *Due March 1, 2018*

The Nerode Prize is an annual prize for outstanding work in multivariate algorithmics and parameterized complexity, published in a recognized refereed journal by an individual or a team of authors. This year, Daniel Marx is the Chair of the prize committee, and will be collecting nominations by email until the deadline of March 1, 2018. Please think of any past work in this area that deserves to be recognized by this prize, and send him your nominations.

Nominations should contain a brief summary of the technical content of the nominated paper and a brief explanation of its significance. Send copies to the members of the committee. The Subject line of the nomination E-mail should contain the group of words "Nerode Prize Nomination". The nomination deadline is March 1, 2018.

The award will be presented at ALGO/IPEC 2018 which will be held on 22–24 August 2018 in Helsinki, Finland.

COMMITTEE

Daniel Marx ( This e-mail address is being protected from spambots. You need JavaScript enabled to view it )

Award Committee Chair (Hungarian Academy of Sciences)

Jianer Chen ( This e-mail address is being protected from spambots. You need JavaScript enabled to view it ) (Texas A&M)

Hans L. Bodlaender ( This e-mail address is being protected from spambots. You need JavaScript enabled to view it ) (Utrecht University)

Presburger Award for Young Scientists 2018 - Call for Nominations

*New Deadline: January 31st, 2018*

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.

SALOMAA PRIZE in AUTOMATA THEORY, FORMAL LANGUAGES AND RELATED TOPICS

The Developments in Language Theory (DLT) Symposium has decided to create a prize to be awarded during the DLT conference. The SALOMAA PRIZE is named to honour the scientific acheivments and influence of Academician Arto Salomaa, a founder of the DLT symposium. The prize consists of a diploma and 2000 euros, funded by the University of Turku, the home university of Arto Salomaa.

Alonzo Church Award 2018 - Call for Nominations

Introduction

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. For the rules governing this award, see: http://siglog.org/awards/alonzo-church-award/. The 2017 Alonzo Church Award was given jointly to Samson Abramsky, Radha Jagadeesan, Pasquale Malacaria, Martin Hyland, Luke Ong, and Hanno Nickau for providing a fully-abstract semantics for higher-order computation through the introduction of game models, see: http://siglog.org/winners-of-the-2017-alonzo-church-award/.

Deadlines for submitting nominations

The deadlines for submitting nominations for the 5 awards are:

EATCS Award 2018 : December 31, 2017

Presburger Award 2018 : December 31, 2017

Eatcs Fellows 2018 : December 31, 2017

EATCS Distinguished Dissertation Award 2017 : December 31, 2017

Gödel Prize 2018 : February 15, 2018

The Gödel Prize 2018 - Call for Nominations Deadline: February 15, 2018

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 26th Gödel Prize will be awarded at the 45th International Colloquium on Automata, Languages, and Programming to be held during July 9-13, 2018 in Prague, Czech Republic