WP3 dates fixes

NEWPROPOSAL/FULLPROP.tex

@@ -1384,7 +1384,7 @@ We develop practical logical and algorithmic techniques for transforming  ``abst
       quantities from local to global properties.  
     }
         \WPtask[\label{task:basic-opt}]{Generic optimisations of \zx-terms 
-      (M12--M24; {Responsible: \partnerref{partner:oxford};   Involved: \partnerref{partner:loria}, \partnerref{partner:CQC}, \partnerref{partner:radboud}})}{% 
+      (M13--M24; {Responsible: \partnerref{partner:oxford};   Involved: \partnerref{partner:loria}, \partnerref{partner:CQC}, \partnerref{partner:radboud}})}{% 
       Use the results of task~\ref{task:algorithms} to develop
       procedures to optimise \zx-terms, in a way which is applicable
       for families of circuits (e.g.~Clifford, Clifford+T, CNOT+T,
@@ -1396,7 +1396,7 @@ We develop practical logical and algorithmic techniques for transforming  ``abst
       }
 %%
       \WPtask[\label{task:ECC}]{Application of Error-Correction
-        (M1--M24; {Responsible: \partnerref{partner:oxford}; Involved: \partnerref{partner:grenoble}, \partnerref{partner:gdansk}})}{%
+        (M1--M36; {Responsible: \partnerref{partner:oxford}; Involved: \partnerref{partner:grenoble}, \partnerref{partner:gdansk}})}{%
         Develop algorithms which rewrite abstract tensor networks to
         equivalent tensors in codeword space of a chosen
         error-correcting code.  This may be combined with additional
@@ -1408,15 +1408,15 @@ We develop practical logical and algorithmic techniques for transforming  ``abst
   \end{WPtasks}
   \begin{WPdeliverables}
  %\WPdeliverable{M18}{\zx language constructs for basic control flow, repetition and recursion} 
- \WPdeliverable{M18}{\newt{Generalisations of  PyZX and other general-purpose techniques and
+ \WPdeliverable{M24}{\newt{Generalisations of  PyZX and other general-purpose techniques and
       algorithms + software for simplifying \zx terms}.} 
-    \WPdeliverable{M24}{An extended \zx language which expresses
+    \WPdeliverable{M18}{An extended \zx language which expresses
       topological and quantitative properties, with associated
       reasoning techniques.} 
   \WPdeliverable{M24}{\newt{Setting the state-of-the-art for all forms of circuit optimization}.}
         \WPdeliverable{M24}{\newt{Optimization techniques for a variety of computational models}.}
  % \WPdeliverable{M24}{Routines for adding error-correction to \zx programs}
-    \WPdeliverable{M24}{Routines for adding error-correction to ZX programs.}
+    \WPdeliverable{M36}{Routines for adding error-correction to ZX programs.}
   \end{WPdeliverables}
 \end{WP}
 

NEWPROPOSAL/ganttchart.tex

@@ -45,8 +45,8 @@
   \ganttbar{\footnotesize \ref{task:algorithms} Reduction strategies etc.}{1}{24}\\
   \ganttbar{\footnotesize \ref{task:annotate1} Topological \& causal constraints}{1}{18}\\
   \ganttbar{\footnotesize \ref{task:annotate2} Quantitative properties}{13}{24}\\ 
-  \ganttbar{\footnotesize \ref{task:basic-opt} Generic optimisations of \zx-terms}{12}{24}\\
-  \ganttbar{\footnotesize \ref{task:ECC} Application of Error-Correction}{1}{24}\\
+  \ganttbar{\footnotesize \ref{task:basic-opt} Generic optimisations of \zx-terms}{13}{24}\\
+  \ganttbar{\footnotesize \ref{task:ECC} Application of Error-Correction}{1}{36}\\
 %%% WP 4
   \ganttset{bar/.append style={fill=blue!50}}
   \ganttbar{\footnotesize \ref{task:qdot-model} Grenoble silicon spin qubits}{13}{36}\\