The Second QNET Workshop, December 2007

December 10th & 11th, The Royal Society in London

News

Registration deadline (contributed talk): Friday 19th October 2007.
Registration deadline (participation) : Monday 19th November 2007.

Event
The UK Network on Semantics of Quantum Computation is holding a two-day meeting encompassing topics such as

mathematical structures in quantum informatics

semantics of quantum computation

quantum programming languages

quantum logics

specification and verification of quantum systems

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.

Invited Speakers

Winfried Hensinger, Department of Physics and Astronomy, University of Sussex
Quantum computing with trapped ions

Adán Cabello, Universidad de Sevilla
Extreme quantum nonlocality

Programme

(Available shortly) The programme will start with a welcome at 09:30 on Monday 10th December, and finish at 15:00 on Tuesday 11th December, to allow people to travel home. Details will be here shortly.

Fees / Funding

Members of the UK Network are fully funded to attend the workshop. For other participants there is a registration fee to cover the cost of facilities and catering.

Registration

Please get the registration form, and follow the instructions on it.