SECOND CALL FOR PAPERS 3nd International Workshop on Quantum Programming Languages (QPL2005) June 30 - July 1, 2005, Chicago Affiliated with LICS 2005 http://quasar.mathstat.uottawa.ca/~selinger/qpl2005/ * * * 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. 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. Previous workshops in this series were held in Ottawa (2003) and Turku (2004). INVITED SPEAKER: Louis H. Kauffman (Illinois, Chicago) PROGRAM COMMITTEE: Bob Coecke (Oxford) Simon Gay (Glasgow) Philippe Jorrand (Grenoble) Peter Selinger (Ottawa) SUBMISSION PROCEDURE: The workshop will be a 2-day workshop. Prospective speakers should submit a detailed abstract (or extended abstract) of 5-12 pages. Submissions of works in progress are encouraged, but must be more substantial than a research proposal. Submissions must provide sufficient detail to allow the program committee to assess the merits of the paper. Submissions should be in Postscript or PDF format, and should be sent to selinger@mathstat.uottawa.ca by April 4 (please put "workshop submission" in the subject line). Receipt of all submissions will be acknowledged by return email. 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. IMPORTANT DATES/DEADLINES: Submissions: April 4, 2005 Notification of acceptance: April 25, 2005 Paper for printed proceedings: May 9, 2005 Workshop: June 30 - July 1, 2005 ENTCS revised paper: November 1, 2005 (tentative) CONTACT INFORMATION: Organizer: Peter Selinger University of Ottawa, Canada Email: selinger@mathstat.uottawa.ca (revised Mar 1, 2005)