Pedro Proença the match between Spain and the Republic of Ireland, in which he pushed Keith Andrews over by accident. On 29 June 2012, UEFA announced that he would referee the final between the Spain and Italy, thus becoming the first Portuguese to referee a European Championship final. Like Howard Webb, who refereed the 2010 FIFA World Cup Final, he also refereed the Champions League final in the same year as taking charge of the final of a major international tournament. He has been selected by FIFA to participate in the 2014 FIFA World Cup in Brazil. On 22 January 2015, Proença
Quantum refereed game RG ⊆ QRG. proved QRG ⊆ EXP by a formulation of QRG using semidefinite programs (SDP). For a quantum refereed game, at the end of all the interactions, the referee outputs one of the two possible outcomes formula_41 to indicate whether Alice wins formula_42 or Bob wins formula_43. Setting formula_44 results in a quantum refereed game whose value is the maximum winning probability for Alice. Using the same notation as the zero sum quantum refereed game as above, the referee is represented by operators formula_45, Alice may pick a strategy from formula_46, and Bob from formula_47. Define where formula_50 is