The title of Best paper was awarded to :-

The 1st Verified Software Competition: Experience Report.

Klebanov, Müller, N. Shankar, Leavens, Wüstholz, Alkassar, Arthan, Bronish, Chapman, Cohen, Hillebrand, Jacobs, Leino, Monahan, Piessens, Polikarpova, Ridge, Smans, Tobies, Tuerk, Ulbrich, Weiss.

Special Thanks to Springer for providing the prize