EATCS Award for Best ETAPS Paper 2009

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'09, has been chosen. It is the FOSSACS paper "Synthesis for Component Libraries" by Yohad Lustig and Moshe Y. Vardi.