diff --git a/NEWPROPOSAL/FULLPROP.tex b/NEWPROPOSAL/FULLPROP.tex
index 31721c090f8444c25ea2071ecbb4db186eb82b41..12c6a9a0fcba17c6bbe9944fa3d673ec867a7c62 100644
--- a/NEWPROPOSAL/FULLPROP.tex
+++ b/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.}
diff --git a/NEWPROPOSAL/finances/QuantERA_Call_2019_-_Financial_Form.xlsx b/NEWPROPOSAL/finances/QuantERA_Call_2019_-_Financial_Form.xlsx
index 15b16a861c46eb41d6c699a1eee94d6ca303bb90..e6ab599d21793c51fa949de944dab1d84ae5a3fa 100644
Binary files a/NEWPROPOSAL/finances/QuantERA_Call_2019_-_Financial_Form.xlsx and b/NEWPROPOSAL/finances/QuantERA_Call_2019_-_Financial_Form.xlsx differ