Skip to main content
University of Oxford Department of Computer Science
Search for
Search
Toggle
Main Menu
Home
Study with us
Research
News
Events
(current)
About Us
Student Space
Partner with us
Home
Events
OASIS: The Oxford Advanced Seminar on Informatic Structures
Probabilistic Model-Checking of Quantum Protocols
Probabilistic Model-Checking of Quantum Protocols
Simon Gay ( University of Glasgow )
13
May
12:00 13th May 2005 ( week 3, Trinity Term 2005 )
Share this:
Seminar Series
OASIS: The Oxford Advanced Seminar on Informatic Structures
See also
Algebra of Programming
Computational Linguistics
Differentiable and Probabilistic Programming
Foundations of Programming Languages
Functional Programming
Quantum Group
Programming Languages
Quantum
Coordinators
Paolo Perrone
Sam Staton
Nobuko Yoshida
News & Events
Events
Upcoming events
Outreach events
Seminars by Series
Strachey Lectures
Back to Top