It seems like people are getting hit by the unavailability of the training lab materials for the Developing Zynqu00AE-7000 All Programmable SoC Software (Vivado 2013.3 and 2014.4.1)
and the
http://zedboard.org/course/developing-zynq%C2%AE-7000-all-programmable-soc-hardware-vivado-20133-and-201441
Speedway workshops?
This would be a workaround until the website is back up.