Workshop organizer:
Peter Selinger
Department of Mathematics and Statistics
University of Ottawa
selinger@mathstat.dal.ca

Invited Speaker:
Richard Jozsa (Bristol)

Program Committee:
Samson Abramsky (Oxford)
Prakash Panangaden (McGill)
Peter Selinger (Ottawa)

Deadlines:
Apr 25: Submission of abstracts
May 20: Notification of acceptance
Jun 7: Paper for proceedings due
Jan 25: (new!) Journal paper due

The goal of this workshop is to bring together researchers working on mathematical formalisms 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.

The first workshop in this series was held June 15-16, 2003, in Ottawa, Canada.

Topics. Possible topics include the syntax 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, concurrent and distributed quantum computation, compilation of quantum programs, semantical methods in quantum information theory, and categorical models for quantum computation.

Special Issue of MSCS. There will be a special issue of the journal Mathematical Structures in Computer Science (MSCS, Cambridge University Press) devoted to this workshop and areas represented at the workshop. There will be a period of at least 4 months for revising and submitting the papers after the workshop.

Schedule. Follow this link for the workshop schedule.

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

Participants. Currently (as of June 22), 34 participants have registered for the workshop.

Related materials.

• First Call for Papers (Feb 23)
• Second Call for Papers (Mar 22)
• Contributed talks (May 28)
• Call for Participation (May 29)
• Schedule (May 28, updated July 11)
• Proceedings (June 22)

Related links.

• LICS 2004 Conference page