The winner of the WPCCS07 Best Talk Award is made to Nick Papanikolaou for his talk entitled: QMC: A Model Checker for Quantum Systems. Nick receives an award of £100.