Instructional workshop on the Functional Analysis of Quantum Information Theory