Merge branch 'master' of ssh://gitlab:2222/kwb13215/quantera-2

NEWPROPOSAL/FULLPROP.tex

@@ -935,7 +935,8 @@ Oxford site head Coecke was involved in establishing Sainz's new team at Gdansk'
   those of Horsman, Kissinger, Valiron, and Sainz (the latter shortly
   to be established at the proposal writing phase; see previous
   paragraph). The team also includes senior researchers on the brink
-  of of group development (Backens, de Beaudrap, Wang). With team
+  of %of
+   group development (Backens, de Beaudrap, Wang). With team
   members like Coecke who had over 30 grants including several large
   networks, know-how on project design at the drafting stage to
   execution will carry over to the more junior partners, as Coecke
@@ -1023,15 +1024,15 @@ The DiCarlo group (Delft) and Rigetti have shown particular interest
 in exploiting our work to assist with supporting the superconducting
 quantum devices they are developing. \e
 
-\TODOb{Still true?}
-\bR Finally, we commit to produce public APIs (see
-\ref{del:frontendapi} and \ref{del:backendapi})
-for the \azx system which will allow any programming language to
+\newt{Finally, we commit to produce public APIs (see
+\ref{del:frontendapi}, \ref{del:backendapi} and \ref{del:backendapiBIS})
+for the \dzxc system which will allow any programming language to
 generate code using our system, and make it easy to add support for
 future hardware targets.  This will enable other projects to
-integrate \azx into their system.  To further advance this aim, the
+integrate \dzxc into their system.  To further advance this aim, the
 software tools developed by our project will be released on an
-open-source basis with a permissive license (See \S~\ref{sec:cons-agre}.) \e
+open-source basis with a permissive license (See
+\S~\ref{sec:cons-agre}.) }
 
 \paragraph{Communication.\!\!}
 
@@ -1056,7 +1057,7 @@ specifically target:
 \item French: \emph{La Recherche}, \emph{Pour la Science}, and
   \emph{Interstices}.
 \item \bR Dutch: \emph{Kijk Magazine}, \emph{Quest}, and the dutch edition
-  of the \emph{New Scientist}.\e \TODO{replace dutch ones?}
+  of the \emph{New Scientist}.\e \TODOb{replace dutch ones?}
 \end{itemize}
 Several of members of the consortium have had their work featured in
 these publications before.  
@@ -1101,7 +1102,7 @@ work package grouping administrative and organisational activities.)
 \item[\ref{wp:frontend}] is focussed on \newt{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.
-\item[\ref{wp:backends}] \newt{is focussed on the further development of zx calculus, its axiomaic formulation, and its status as a theory of resources.}
+\item[\ref{wp:backends}] \newt{is focussed on the further development of zx calculus, its axiomatic formulation, and its status as a theory of resources.}
 %is about modelling the properties of different machines in \azx, and translating \azx to hardware.
 \item[\ref{wp:theory}] 
 \newt{focusses on resource optimization, such as gate reduction in circuit representations, efficient intelligent error-correction, and other deep algorithms.}
@@ -1166,7 +1167,7 @@ scheduled toward the end of the project.
 \end{figure}
 
 The allocation of staff to work packages is discussed in
-\S~\ref{sec:consortium-as-whole} and \S\ref{sec:descr-cons}.
+\S~\ref{sec:consortium-as-whole} and \S~\ref{sec:descr-cons}.
 However, because of the integrated nature of the project, and the high 
 degree of past collaboration among the consortium members, most tasks
 receive attention from the personnel of several sites.  This degree of
@@ -1438,8 +1439,8 @@ Perdrix, Valiron, Carette.}
   \WPleaderGREN
   \WPeffort{20}{9}{12}{2}{6}{0}
   \begin{WPaim}
-We import machine-dependent specifications to \zx terms, and use this to optimise algorithms further for specific hardware constraints. We focus on the silicon spin qubits developing in Grenoble, the ion traps developed in Oxford, and the superconducting devices accessible through CQC and partnership with IBM. This is the culmination of all previous work packages, and feeds back into them. The final result will be \ldots.
-Also machine-dependent error correction?
+We import machine-dependent specifications to \zx terms, and use this to optimise algorithms further for specific hardware constraints. We focus on the silicon spin qubits developing in Grenoble, the ion traps developed in Oxford, and the superconducting devices accessible through CQC and partnership with IBM. This is the culmination of all previous work packages, and feeds back into them. The final result will be \bR\ldots.
+Also machine-dependent error correction?\e
   \end{WPaim}
   \begin{WPtasks}
 \WPtask[\label{task:qdot-model}]{Grenoble silicon spin qubits (M13--M36  Responsible: \partnerref{partner:grenoble};
@@ -1482,11 +1483,12 @@ Also machine-dependent error correction?
   \WPdeliverable{M24}{Deliverable}
   \WPdeliverable{M30}{General purpose layout engine}
   \WPdeliverable{M36}{Optimising \dzxc, suitable for compiling to Grenoble and/or Oxford architecture}    
-  \WPdeliverable[\label{del:backendapi}]{M36}{API for back-end
+  \WPdeliverable[\label{del:backendapiBIS}]{M36}{API for back-end
     modules, including specification language for architectures.}
   \end{WPdeliverables}
 \end{WP}
-\TODOb{Should D4.5 be the same as D1.6?}
+\TODOb{Should D4.5 be the same as D1.6? Does not correspond to a task
+  in WP4}
 
 \REM{\emph{Leader:} Kissinger.
 \emph{Others:} Abramsky, de Beaudrap, Duncan, Jeandel, Perdrix, 
@@ -2077,7 +2079,7 @@ As the group where \zxcalculus\  originated \cite{Coecke:2009aa}, Oxford will co
       L. Garvie and ---. Verifying the smallest interesting colour
       code with quantomatic. In Proc QPL'17 vol 266, 2017.  (4)
       A. Fagan and --- . Optimising Clifford circuits with
-      Quantomatic. In Proc QPL'19, EPTCS vol. 287, 2019.  (5) ---,
+      Quantomatic. In Proc QPL'18, EPTCS vol. 287, 2019.  (5) ---,
       A. Kissinger, S. Pedrix, and J. van de Wetering. Graph-theoretic
       simplification of quantum circuits with the
       ZX-calculus. arXiv:1902.03178, 2019.}