Speaker: Roberto Giuntini (University of Cagliari)
Title: The Logics of Quantum Computation: An Introduction
Date:
Time:
16:00
- 18:00
Location: Room varies, Science Park 904, Amsterdam
In February 2012, Roberto Guintini (University of Cagliari) will give a 4-part LogiCIC and LiQuID tutorial on The Logics of Quantum Computation: An Introduction.
For more information, see http://www.illc.uva.nl/lgc/seminar/?p=1344