The Second QNET Workshop, December 2007

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

News

• 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

The Programme is here.

The programme will start with a welcome at 09:30 on Monday 10th December. It will finish at 15:00 on Tuesday 11th December, to allow people to travel home.

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.

Local Information, Travel, Maps, Accommodation

Some local information is here. Please book your own accomodation as early as possible.