Pedro Proença announced his retirement from refereeing. On 3 July 2015, he was elected for the UEFA Referees Committee. Later that month, on 28 July, he was elected the new president of the Professional Football League. Pedro Proença Pedro Proença Oliveira Alves Garcia (; born 3 November 1970) is a retired Portuguese football referee. Proença has refereed a number of notable matches including the Supertaça Cândido de Oliveira, Taça de Portugal finals, Taça da Liga finals, as well as the final of both the UEFA Champions League and UEFA European Championship becoming the first referee to overview both finals of the main
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