Probabilistic and Quantum ProgrammingApresentado por Ugo dal Lago (Universidade de Bologna), Braga, Portugal,4 e 5 de maio de 2017. [membros do CMAT envolvidos na organização: José Espírito Santo]