The UK Network on Semantics of Quantum Computation is holding a two-day meeting encompassing topics such as
This is the second annual workshop of the UK Network - details of the first event are here. It is also a successor to the previous meetings on mathematical structures in quantum informatics: Qday and Qday II. The topics above also have significant overlap with the themes of the International Workshops on Quantum Programming Languages (second, third, fourth) and the Cats, Kets and Cloisters event.
- mathematical structures in quantum informatics
- semantics of quantum computation
- quantum programming languages
- quantum logics
- specification and verification of quantum systems