Dijkstra Prize 2014: Call for Nominations

Call for Nominations:
Edsger W. Dijkstra Prize in Distributed Computing - 2014
http://www.disc-conference.org/wp/disc2014/dijkstra-prize-cfn/

Nominations deadline: April 30, 2014

EATCS/IPEC Nerode Prize 2014

The EATCS and IPEC are proud to announce that the Nerode Prize 2014 for outstanding papers in the area of multivariate algorithmics will be awarded to the following two papers:

• "On problems without polynomial kernels", Hans L. Bodlaender, Rodney G. Downey, Michael R. Fellows, Danny Hermelin, Journal of Computer and System Sciences, 2009 and
• "Infeasibility of instance compression and succinct PCPs for NP", Lance Fortnow, Rahul Santhanam, Journal of Computer and System Sciences, 2011.

The presentation of the prize will take place at IPEC 2014, which this year will be organized as part of ALGO 2014 (Wroclaw, Poland, 10-12 September 2014).

The Prize is named in honour of Anil Nerode, in recognition of his major contributions to mathematical logic, theory of automata, computability and complexity theory.

The Nerode Prize 2014 Committee consists of Georg Gottlob (University of Oxford, UK), Jan Arne Telle (University of Bergen, Norway), and Peter Widmayer (ETH Zurich, Switzerland; chair).

Read more

ICTAC 2014 - Call for Papers

The 11th International Colloquium on Theoretical Aspects of Computing (ICTAC) is organized this year for the first time in Europe (Bucharest). Being a conference on theoretical aspects of computing, we would be happy and honoured if the European Association for Theoretical Computer Science will include ICTAC 2014 in its calendar, and sponsor this event.

We'll be grateful if you can send as soon as possible the ICTAC Call for Papers to EATCS members, encouraging your colleagues to contribute with interesting papers. We think/hope that a strong scientific programme would be a distinguishing feature of such an European edition of ICTAC.

Presburger Award 2014

David Woodruff receives the Presburger Award 2014
The EATCS is proud to announce that the Presburger Award 2014 Committee has chosen David Woodruff (IBM Almaden Research Center) as the recipient of the Presburger Award 2014. Since 2010, the award has been given each year 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. The Presburger Award 2014 is sponsored by CWI Amsterdam and will be presented at ICALP 2014 in Copenhagen, Denmark.

EATCS Fellows class of 2014 named

The EATCS has recognized ten of its members for their outstanding contributions to theoretical computer science by naming them as the first recipients of an EATCS fellowship.

Call for Nominations - Dissertation Award in Distributed Computing 2014

The Dissertation Award in Distributed Computing was created to acknowledge and promote outstanding research by doctoral (Ph.D.) students on the principles of Distributed Computing.

Eligibility: A nominated dissertation must have been successfully defended in the period January 1st, 2012 through December 31st, 2013.

Submission deadline: March 03, 2014
Notification: July 31, 2014
Presentation of the Award: at DISC 2014.