Workshop organizer:
Peter Selinger
University of Ottawa
selinger@mathstat.dal.ca

Invited Speaker:
Hans J. Briegel (Innsbruck)
Robert Raussendorf (CalTech)

Program Committee:
Bob Coecke (Oxford)
Simon Gay (Glasgow)
Philippe Jorrand (Grenoble)
Peter Selinger (Ottawa)

Deadlines:
Apr 4: Submission deadline
Apr 25: Notification of acceptance
May 9: Proceedings paper due

The goal of this workshop is to bring together researchers working on mathematical foundations and programming languages for quantum computing. In the last few years, there has been a growing interest in logical tools, languages, and semantical methods for analyzing quantum computation. These foundational approaches complement the more mainstream research in quantum computation which emphasizes algorithms and complexity theory.

Previous workshops in this series were held in Ottawa (2003) and Turku (2004).

Topics. Possible topics include the design and semantics of quantum programming languages, new paradigms for quantum programming, specification of quantum algorithms, higher-order quantum computation, quantum data types, reversible computation, axiomatic approaches to quantum computation, abstract models for quantum computation, properties of quantum computing resources and primitives, concurrent and distributed quantum computation, compilation of quantum programs, semantical methods in quantum information theory, and categorical models for quantum computation.

Proceedings. The workshop proceedings will be published in Electronic Notes in Theoretical Computer Science (ENTCS). A printed copy of the preliminary proceedings will be distributed to participants at the workshop.

Registration. Registration and local arrangements will be handled through the LICS 2005 main conference. There will be a small fee for attending the workshop, which will cover coffee breaks and a copy of the proceedings.

Participants. Currently (as of June 27), 24 participants have registered for the workshop.

Location. The workshop will be held in the CTI building of DePaul University, 243 South Wabash Ave, in room 924 (9th floor).

Links.

• First Call for Papers (Feb. 1)
• LICS 2005 Conference page
• Accepted talks (Apr. 25)
• Call for Participation (Apr. 26)
• Schedule (Jun. 10, updated Jun. 28)
• Preliminary Proceedings (Jun. 29)