The Third QNET Workshop, December 2008

December 18th & 19th, School of Informatics, University of Edinburgh

News

• Registration deadline (participation) : Monday 1 December 2008.
• Talk submission deadline : Monday 1 December 2008.

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 third annual workshop of the UK Network, which will have also a joint session with QuiSco. Details of the first event are here, and details of the second event are here.

Invited Speaker

• Prof. Martin Plenio, Imperial College

  Biography: Prof. Martin Plenio is a Professor of Quantum Physics in the Physics Department and Director of the Quantum Information Science Programme at the Institute for Mathematical Sciences both at Imperial College. He has made fundamental contributions to entanglement theory, quantum many-body physics and the implementation of quantum simulation and quantum information processing in systems such as ion traps, cavity QED, BEC and optics. His 130 articles in refereed journals has received more than 5600 citations. He was awarded the Maxwell Medal and Prize of the UK Institute of Physics 2004, a Royal Society Wolfson Research Merit Award 2005 and delivered the Royal Society Clifford Paterson Lecture for 2008. He has recently become interested in Quantum Effects in Biological Systems and has unravelled how Nature uses quantum effects and noise to transport energy which is the topic of his invited talk at the School of Informatics.

Programme

The Programme is here.

The programme will start with a welcome at 09:30 on Thursday 18th December. It will finish at 17:00 on Friday 19th December.

Fees / Funding

Members of the UK Network are fully funded to attend the workshop, but you must submit an claim estimate (including dates and total estimated claim) to Ian Mackie. Before doing this, please read carefully the instructions on the expenses form that you will need to complete after the workshop. Claims that do not follow these instructions may not be paid. For other participants there is a registration fee of £40 to cover the cost of the dinner.

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.