EATCS Best Paper Award at ETAPS 2014

The EATCS Best Paper Award in Theoretical Computer Science at the European Joint Conferences on Theory and Practice of Software 2014, ETAPS'14, was shared between the following two papers: "Computing Conditional Properties in Markovian Models Efficiently" by Christel Baier, Joachim Klein, Sascha Klueppelholz and Steffen Märcker (TACAS 2014) and "Unsafe Order-2 Tree Languages are Context-Sensitive" by Naoki Kobayashi, Kazuhiro Inaba and Takeshi Tsukada (FOSSACS).

More information

YR-ICALP 2014

1st Young Researcher Workshop on Automata, Languages and Programming
(http://www.itu.dk/people/maca/YR-ICALP2014/)

EATCS-IPEC Nerode Prize 2014 - Laudatio

On problems without polynomial kernels, Hans L. Bodlaender, Rodney G. Downey, Michael R. Fellows, Danny Hermelin
Journal of Computer and System Sciences, 2009

Infeasibility of instance compression and succinct PCPs for NP, Lance Fortnow, Rahul Santhanam, Journal of Computer and System Sciences, 2011

Laudatio

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.