Logical and Semantical Methods in Quantum Computation II.
March 20th to March 24th 2006
This is the second meeting at Bellairs focussing on Quantum Computation
from the point of view of logic and structure. Here is an extract from the
web page for the first meeting:
Recently there have been a number of significant new directions in quantum
computation. The extant theory has been hitherto largely focussed on
algorithms, complexity and cryptography. It is only in the last two years
that there has been research in programming languages for quantum
computation, semantics of quantum computation, logical tools for the
analysis of quantum entanglement and foundations of quantum information
theory based on ideas from Domain theory.
In the two years since the first meeting the field has grown significantly.
Notable developments include work by Selinger, Coecke and Abramsky on
categorical aspects of Quantum Theory, developments on quantum process
algebras by Gay and Nagarajan and by Jorrand, Lalire and Perdrix, work on
entropy and domains by Martin, and a formal linguistic framework for the
new one-way model of Raussendorf and Briegel by Danos, Kashefi, Panangaden
and D'Hondt. There are many other directions being pursued as well.
Through this workshop we hope to bring together some of the people
responsible for these developments and share ideas and viewpoints. Space at
the Bellairs Institute is limited and we regret that we cannot invite
everyone who has contributed significantly to this subject. We have invited
a few students with the idea that these developments should be a stimulus
for new researchers
The workshop organizer is
Prakash Panangaden. The following people are coming: Hans Briegel, Dan
Browne, Bob Coecke, Yannick Delbecque, Ellie D'Hondt, Peter Hines, Keye
Martin, Raja Nagarajan, Prakash Panangaden, Eric Paquette and Benoit
Valiron. The practice at these workshops has been to allow the speaker
ample time to get to technical details and for there to be lots of
opportunities for extensive discussions.
The workshop runs from
20th March to 24th March 2006 and will take place at the Bellairs Research Institute in
Barbados.
Directions and things to know: The airport is on the
east-south point of the island and Bellairs is on the west side (about a 30
minute taxi drive). Here is a map of Barbados, a better map of Barbados and
here is one of the institute grounds.
Tell the taxi drivers to take
you to Bellairs Research Centre in Holetown.
Holetown is
small and Bellairs is on the main (only) street - you can't really miss
it. The taxi ride should cost about $30 U.S. There are buses but one must
first travel to Bridgetown (the capital) and transfer to another
line. Barbados is safe and one shouldn't worry about travelling alone. US
currency is freely accepted at 2 Barbadian dollars per US dollar but other
currencies (Pound sterling, Canadian dollars) are not accepted; you will
have to change them at banks or at the airport. People had trouble
using their bank cards from Europe but Canadian and US cards seem to work
fine.
Good things to bring are suntan lotion or dark skin,
mosquito repellent, swimwear, papers/books/stationary and light clothing
(it will be hot). Note that some of the better restaurants in the area do
require long pants in the evenings (swim attire is not accepted).
Also, there are three computers (and one printer) at Bellairs for people to
read e-mail. There is wireless hookup for laptops so you can bring your
own laptop. There is a small fee for using the computers or using the line
with a laptop to connect to the internet.
The cost of a room is
between 35 and 40 US $ per day per person. Breakfast is "make it yourself"
(food/coffee provided), lunch we buy at a restaurant or at the shopping
centre 10 minutes walk from the Institute. The cook prepares dinner
(6:30pm sharp ) $15 U.S. Please bring coffee beans if you do not want to
drink instant coffee. The accomodations are of the level of student
dormitories, please do not expect a fancy hotel.