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.

More information your social media marketing partner
European Association for Theoretical Computer Science - Maintained and hosted by RU1 / CTI.