@@ -824,7 +824,7 @@ which will proceed in parallel. They all contribute to the ultimate goal of pro
\item[{\bf WP 1}] is focussed on the \dzxc interface with known high-level quantum programming languages
%translating from HLLs into \azx, reflecting higher level programming constructs into \azx,
and building a test suite of programs for benchmarking.
\item[{\bf WP 2}] is focussed on the further development of zx calculus, its axiomatic formulation, and its status as a theory of resources.
\item[{\bf WP 2}] is focussed on the further development of zx calculus, its axiomatic formulation, and its status as a theory of resources including for quantum speed-up.
%is about modelling the properties of different machines in \azx, and translating \azx to hardware.
\item[{\bf WP 3}]
focusses on resource optimization, such as gate reduction in circuit representations, efficient intelligent error-correction, and other deep compilation algorithms.
...
...
@@ -843,8 +843,8 @@ Our work plan consists of a balance of short tasks with concrete software delive
The early tasks of {\bf WP 1} are quite
practical and don't require much preparation to begin. They will provide
useful experience for the later tasks.
The first three tasks of {\bf WP 2} build on a significant existing body of results and techniques for the \zxcalculus and quantum information theory.
Similarly, several tasks of {\bf WP 3} are based on known results and techniques for the \zxcalculus and rewrite theory in general. Hence, they can begin immediately. The more challenging machine models of {\bf WP 4} are scheduled to begin in parallel with the more challenging theoretical tasks in {\bf WP 3}, anticipating a great deal of back-and-forth interaction between these two aspects of the project.
The first three tasks of {\bf WP 2} build on a significant existing body of results and techniques for the \zxcalculus and quantum information theory and quantum foundations.
Similarly, several tasks of {\bf WP 3} are based on known results and techniques for the \zxcalculus and rewrite theory in general, so can begin immediately. The more challenging machine models of {\bf WP 4} are scheduled to begin in parallel with the more challenging theoretical tasks in {\bf WP 3}, anticipating a back-and-forth interaction between these two aspects of the project.
%\ref{wp:usefulstuff} requires integrating and generalising many of the
%ideas of \ref{wp:representation} and \ref{wp:theory}, so it is mostly
%scheduled toward the end of the project.
...
...
@@ -1071,7 +1071,9 @@ These members include the pioneers of \zxcalculus \cite{Coecke:2009aa}, those wh
programming languages (Valiron), important contributors to MBQC \cite{Duncan:2010aa} and
quantum circuits (Jeandel).
Consequently, members have a long history of collaboration. Coecke is a member of the International Scientific Committee of ICTQT-Gdansk, the new institute that hosts Sainz' new group. Several members have ongoing collaborations with Cambridge Quantum Computing Inc. In particular, co-inventor of \zxcalculus Ross Duncan is now the leading researcher at CQC, which clearly demonstrates CQC's commitment to \zxcalculus. Quantum compilation is moreover the key focus of CQC. Several members are part of the NQIT Quantum Technologies Hub.
Consequently, members have a long history of collaboration. Coecke is a member of the International Scientific Committee of ICTQT-Gdansk, the new institute that hosts Sainz' new group. Several members have ongoing collaborations with Cambridge Quantum Computing Inc. In particular, co-inventor of \zxcalculus Ross Duncan is now the leading researcher at CQC, which clearly demonstrates CQC's commitment to \zxcalculus. Quantum compilation is moreover the key focus of CQC.
The project will be co-ordinated from Grenoble, and integrate with the QuEnG technology project.
Several members are also part of the NQIT Quantum Technologies Hub.
%The consortium has also been instrumental in community building, for example with the QPL conference series which now attracts well over 100 participants every year and approx.~75 paper submissions on foundational and structural research in the area of quantum computing. It also has organised several schools e.g.~the QiCS School\footnote{www.cs.ox.ac.uk/people/bob.coecke/QICS$\underline{\ }$School.html} and the CAP Spring School,\footnote{www.cs.ox.ac.uk/ss2014/} and a substantial talks archive is maintained.\footnote{www.youtube.com/user/OxfordQuantumVideo} \newt{More recently, the several members are
%involved in the Compositionality community, which has diagrammatic/categorical reasoning as its core focus, with a new journal, a new conference series, and a new workshop series.}
