Formal Methods for Multicore Programming (SFM 2015)