There will be several workshops at FM 2015.

See the list here: http://fm2015.ifi.uio.no/workshops/