There was no master's course in synthesis analysis and verification in Spring 2014, because Viktor Kuncak was on a sabbatical.

A revised version: Spring 2015 on http://lara.epfl.ch/w/sav15:top