Edits

NEWPROPOSAL/FULLPROP.tex

@@ -153,7 +153,6 @@ Technology Flagship.
 \label{sec:targ-breakthr-basel}
 
 \TODOb{Would like to see the word "outperform" prominently with direct single reference to the consortium members recent paper on circuit optimization/PyZX.} 
-\TODOb{In general, how are we doing with page limits?}
 
 \REM{
 Describe the targeted breakthroughs of the project. 
@@ -1326,7 +1325,7 @@ We develop practical logical and algorithmic techniques for transforming  ``abst
     }
 
     \WPtask[\label{task:annotate1}]{Topological and causal constraints 
-      (M13--M24; Responsible: 2; Involved: 1,3,5)}{%
+      (M1--M18; Responsible: 2; Involved: 1,3,5)}{%
       Extend \dzxc language and tools to express and enforce: (1) topological
       constaints, such as nearest-neighbour connectivity of qubits and
       (2) causal/temporal constraints, such as sequential ordering of
@@ -1502,7 +1501,7 @@ Staton, Carette.}
 \paragraph{Work package overview}
 \label{sec:work-pack-overv}
 
-\begin{center}
+\bR \begin{center}
   \begin{tabular}{|p{0.2\textwidth}|c|c|c|c|c|c|}
     \hline
     \textbf{Partner} 
@@ -1520,7 +1519,7 @@ Staton, Carette.}
 6. Nijmegen    &  3 & 12 & 13 & 21 & 2  & 51 \\\hline
 \textbf{TOTAL} & 47 & 83 & 83 & 75 & 11 & 299   \\\hline
   \end{tabular}
-\end{center}
+\end{center}\e
 
 \REM{(total effort per WP and partner in person.months)}
 
@@ -1561,13 +1560,13 @@ Each work package will be lead by a responsible PI who will coordinate
 research activity between sites to ensure that deliverables are met,
 achieve WP-specific objectives, and organise collaboration meetings as
 needed.  
-\textbf{\ref{wp:frontend}}: B. Coecke (Oxford), 
+\textbf{\ref{wp:frontend}}: \newt{S. Perdrix (LORIA)}, 
 \textbf{\ref{wp:backends}}: A. B. Sainz (Gdansk),
-\textbf{\ref{wp:theory}}: S. Perdrix (LORIA),
+\textbf{\ref{wp:theory}}: \newt{B. Coecke (Oxford)},
 \textbf{\ref{wp:usefulstuff}}: D. Horsman (Grenoble),
 \textbf{\ref{wp:admin}}: D. Horsman (Grenoble).
 
-\paragraph{Software Integration}
+\bR \paragraph{Software Integration}
 \label{sec:software-integration}
 
 [Don't think we have this any more.]
@@ -1717,6 +1716,7 @@ often and deliver new features more than once a year.
     \\\hline
   \end{tabular}
 \end{center}
+\e
 
 \newpage
 \subsection{Consortium as a whole} %\REM{(1 page)}
@@ -1955,7 +1955,7 @@ Two complete axiomatisations of pure-state qubit quantum computing. LiCS 2018.
     \hrulefill\vspace{1mm}
  
     \textbf{Role in Project:}
-As the group where \zxcalculus\  originated \cite{Coecke:2009aa}, Oxford will continue the fundamental further development of the calculus.  With its established collaboration with CQC it will also play the key role in engagement of the project with industry. A focus of this collaboration is circuit optimisations as well as compiler design, two key components of this proposal.   Oxford is also the central institution in the NQIT project, which is the largest national quantum computation hardware project in the United Kingdom.
+As the group where \zxcalculus\  originated \cite{Coecke:2009aa}, Oxford will continue the fundamental further development of the calculus.  With its established collaboration with CQC it will also play the key role in engagement of the project with industry. A focus of this collaboration is circuit optimisations as well as compiler design, two key components of this proposal.   Oxford is also the central institution in the NQIT project, which is the largest national quantum computation hardware project in the United Kingdom. 
 %      The participation of researchers involved with NQIT, and their
 %      interaction with quantum technologies specialists in Oxford and
 %      elsewhere in Europe, will bring to the \azx project a wealth of
@@ -2271,7 +2271,7 @@ WP meetings, and also to present our work at conferences.
 
 No ethical issues foreseeable.
 
-\newpage
+\newpage\TODOb{MAX 30 REFS!}
 \REM{max 30 references - OK AT THE MOMENT SINCE KEVIN-ROSS ONLY IN COMMENTS}
 \bibliographystyle{plain}
 \bibliography{quantera}