MSCS special issue on quantum programming languages
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@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. 24-Nov-2004 20:03:48 -0400,1194;000000000000-00000000
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@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.
participants (2)
-
Peter Selinger -
selinger