Formal Methods for Multicore Programming SFM 2015