Logic, Physics and Quantum Information Theory.

March 17th to March 21st 2008

There have been striking new connections between logic and category theory on the one hand and quantum computation and quantum information theory on the other. These ideas are in flux and there are diverse threads of activity. In this workshop we hope to bring together people who might not have met otherwise and explore connections between these different research programs.

Perhaps the earliest use of categories in the foundations of quantum mechanics is due to Prof. Chris Isham of Imperial College who explored the use of toposes in the consistent histories approach to quantum mechanics. In the early years of this century, Abramsky, Coecke and Selinger have devloped categorical foundations of quantum mechanics emphasizing the role of monoidal structure. Shortly before, Blute, Ivanov and Panangaden had looked at connections between linear logic and causal quantum evolution. In the last few years there has been significant new research developing at Imperial College, Oxford, Halifax and other places.

In the area of quantum information theory there has been a flood of recent results including new source coding theorems, capacity theorem and even -- very recently -- new insights into the black hole information paradox due to Hayden and Preskill. Keye Martin has developed an algebraic and domain theoretic approach which encompasses quantum information theory. This builds on earlier work of Martin and Coecke on domains of classical and quantum states.

There is considerable activity occurring in topological quantum computation. This has strong connections to category theory but there are tantalizing glimpses of connections with categorical quantum mechanics and also to the one-way model.

Finally, there is very interesting recent work of Sorkin on "anhomomorphic" logic which may solve some of the problems with paradoxes of quantum mechanics. It is our hope that some connections will be forged and perhaps new collaborations will be sparked off by this meeting. Not everyone could be accomodated in the limited space available, but we hope to have a broad cross section of people and some students as well.

The workshop organizer is Prakash Panangaden.

The following people are coming: Samson Abramsky, Howard Barnum, Richard Blute, Kamil Bradler, Dan Browne, Philip Brunetti, Kostas Chatzikokolakis, Bob Coecke, Marc Comeau, Vincent Danos, Ross Duncan, Kim Flak, Lucien Hardy, Patrick Hayden, Ben Jackson, Elham Kashefi, Keye Martin, Catuscia Palamidessi, Prakash Panangaden, Eric Paquette, Dusko Pavlovic, Mehrnoosh Sadrzadeh, Peter Selinger, Rafael Sorkin, Colin Stephen, Benoit Valiron, Jamie Vicary and Jon Yard.
The accomodation list is here.
With this unusually large group it will not be possible for everyone to give talks. 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 schedule is here.

The workshop runs from 17th March to 21st March 2008 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. 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 warm). 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 for the student rooms and US$ 50 per person for the newer apartments. I will make all the romm bookings, please do not contact the Bellairs staff about room bookings. Breakfast is "make it yourself" lunch we buy at a restaurant or at the shopping centre 10 minutes walk from the Institute or from a truck that comes by at around noon. The cook prepares dinner (6:30pm sharp ) for approximately $25 U.S. The accomodations are of the level of student dormitories, except for 6 newly constructed apartments and a house across the street.