EASST Best paper award at ETAPS'2013

Abdulla Parosh A.
Haziza Frédéric
Holík Lukáš, doc. Mgr., Ph.D.
Jonsson Bengt
Rezine Ahmed, Assoc. Prof.

EASST Best paper award at ETAPS'2013

The paper "An Integrated Specification and Verification Technique for Highly Concurrent Data Structures" by Parosh Aziz Abdulla, Frederic Haziza, Lukas Holik, Bengt Jonsson, and Ahmed Rezine, received the EASST Best paper award at ETAPS'2013.

ETAPS (The European Joint Conferences on Theory and Practice of Software) is the primary European forum for academic and industrial researchers working on topics relating to Software Science. ETAPS is a confederation of six main annual conferences (CC, ESOP, FASE, FOSSACS, POST and TACAS), with a total number of more than 500 submissions each year, accompanied by satellite workshops and other events.