The EATCS Award 2018 - Laudatio for Noam Nisan

The EATCS Awards Committee consisting of Artur Czumaj, Christos Papadimitriou and Jean-Eric Pin (chair) has selected Noam Nisan as the recipient of the EATCS Award 2018. The award will be presented at ICALP 2018, which will take place in Prague, Czech Republic from the 9th till the 13th of July 2018. (pdf)

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/.