[TYPES] MSCS special issue on quantum programming languages

[Peter Selinger]

[This announcement might interest readers of the types list, since
type systems are an important aspect of the design of quantum
programming languages. -PS]

			   CALL FOR PAPERS

	     Mathematical Structures in Computer Science

			   Special Issue on
		    Quantum Programming Languages

The 2nd International Workshop on Quantum Programming Languages was
held July 12-13, 2004 in Turku, Finland as an affiliated LICS
workshop.  As previously announced, there will be a special issue of
the journal Mathematical Structures in Computer Science (MSCS,
Cambridge University Press) devoted to areas represented at the
workshop. Submissions for this special issue are hereby solicited.

Topics. The topics of the workshop, and of the special issue, include
the following. 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.

Submission procedure. Submissions should be sent electronically to
Peter Selinger <selinger at mathstat.uottawa.ca> by January 25, 2005.  To
prevent email problems, successful receipt of each submission will be
acknowledged by return email.  There are no special formatting
requirements (e.g. page limits) beyond the general editorial policy of
MSCS. However, authors are asked to take into consideration that there
is a **finite bound on the total number of pages** in the special
issue, and therefore, the ratio of content+quality / number of pages
is expected to be very high. Submission is not restricted to workshop
participants.  Submissions will be refereed according to the usual
very high standards of MSCS. Peter Selinger will serve as guest editor
for this special issue. Final decisions on editorial matters rest with
the editor-in-chief of MSCS.