...

NEWPROPOSAL/FULLPROP.tex

@@ -1390,7 +1390,7 @@ We develop practical logical and algorithmic techniques for transforming  ``abst
       for families of circuits (e.g.~Clifford, Clifford+T, CNOT+T,
       ...) as well as measurement-based quantum computations,
       independently of any particular hardware implementation or
-      approach to fault-tolerance and minimising different possible
+      approach to fault-tolerance and minimising different possible 
       metrics (such as total size, tree-width, or number of
       non-Clifford subterms such as T-gates).
       }
@@ -1414,7 +1414,7 @@ We develop practical logical and algorithmic techniques for transforming  ``abst
       topological and quantitative properties, with associated
       reasoning techniques.} 
   \WPdeliverable{M24}{\newt{Setting the state-of-the-art for all forms of circuit optimization}.}
-        \WPdeliverable{M30}{\newt{Optimization techniques for a variety of computational models}.}
+        \WPdeliverable{M24}{\newt{Optimization techniques for a variety of computational models}.}
  % \WPdeliverable{M24}{Routines for adding error-correction to \zx programs}
     \WPdeliverable{M36}{Routines for adding error-correction to ZX programs.}
   \end{WPdeliverables}