EDM 2014 - 4th of July - Schedule (published) : Workshops and Tutorials