log in  |  register  |  feedback?  |  help  |  web accessibility
Logo
PLunch: Quantum Relational Hoare Logic
Robert Rand
3460 A.V. Williams Building (AVW)
Wednesday, October 31, 2018, 1:00-2:00 pm Calendar
  • You are subscribed to this talk through .
  • You are watching this talk through .
  • You are subscribed to this talk. (unsubscribe, watch)
  • You are watching this talk. (unwatch, subscribe)
  • You are not subscribed to this talk. (watch, subscribe)
Abstract

Weekly PL lunch. Robert Rand will be leading the discussion on Dominique Unruh's "Quantum Relational Hoare Logic." The paper is available here:  https://arxiv.org/pdf/1802.03188.pdf

Sign up to present here: https://docs.google.com/spreadsheets/d/1qOSdfrRyT7D3VyLtp992x0F5vVmaFpLIOh0Nh91DRWk?usp=sharing

This talk is organized by Kesha Hietala