SASO 2016: Selected, revised, and extended best papers