Update WP3

Proposal/WorkPackages/Services.tex

@@ -74,7 +74,7 @@ This allows in particular the integration with, e.g., OWL API for linked data an
 The most basic feature provided by this reference implementation is format validation.
 This allows, e.g., to type-check all encoded objects against their semantic mathematical type, thus avoiding encoding as described in Section~\ref{sec:concept}.
 
-This task will be led jointly by \site{FAU}, which leads the standard development and maintains the MMT API, and by \site{UL}, which will implement service-specific interfaces on top of the basic API.
+This task will be led jointly by \site{FAU}, which leads the standard development and maintains the MMT API, and by \site{UL}, which will lead the implementation of service-specific interfaces on top of the basic API.
 \site{CAE} will provide support for subsuming Modelica.
 \end{task}
   
@@ -126,7 +126,7 @@ Firstly, it yields deep accessibility and deep reuse where only fragments of a d
 Secondly, it enables the use of the FAIRMat sharing services as persistent memoization layer for computational systems.
 
 This task will be led by \site{PS}, which is one of the sites developing the SageMath system.
-\site{UL} will contribute by providing the needed server-side interfaces.
+\site{UL} will contribute with the DiscreteZOO package and by providing the needed server-side interfaces.
 \end{task}
 
 %%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%