Beta Ziliani gave an introductory course on Coq in the anual winter school ECI 2014. For more information please click here.