UEFA Euro 2012 Final the reportedly unpredictable Adidas Jabulani used at the 2010 World Cup. Pedro Proença, representing the Portuguese Football Federation, was chosen by UEFA as the official referee of the final. He first became an international referee in 2003, and the same year in June, Proença officiated an 2003 Intertoto Cup first round match between Žalgiris and Örgryte. Proença had previously been in charge of two UEFA finals, the 2004 UEFA Under-19 Championship Final between Turkey and Spain, and the 2012 UEFA Champions League Final between Chelsea and Bayern Munich. He has also refereed nine other Champions League matches, and 18 UEFA
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