EATCS Award for Best ETAPS Paper 2010

The reciepent of the EATCS Award for the best paper in theoretical Computer Science at the European Joint Conferences on Theory and Practice of Software 2009, ETAPS'10, has been chosen. It is the TACAS paper "When Simulation Meets Antichains (on Checking Language Inclusion of NFA's) " by Parosh Abdulla, Yu-Fang Chen, Lukas Holik, Richard Mayr, Tomas Vojnar