tweaks

Proposal/WApersons.tex

@@ -20,10 +20,10 @@
         acronym=??SLO]
         {?????}
 
-\WAinstitution[id=WIAS,
+\WAinstitution[id=OM,
         countryshort=D,
-        acronym=WIAS]
-        {Weierstrass-Institute for applied Analysis and Statistics}
+        acronym=?OM?]
+        {Somebody from OpenModelica}
 
 \WAinstitution[id=FIZ,
         countryshort=D,

Proposal/proposal.tex

@@ -28,7 +28,7 @@
   site=PS, %paris sud 
   site=EMS, % European Mathematical Society
   site=SLO, % somewhere in Slovenia
-  site=WIAS, % Weierstrass Institute
+  site=OM, % OpenModelica
   site=FIZ, % Fachinformationszentrum Karlsruhe
   botupPM, % we want to work via bottom up PM distribution,
   % alternative: (can be combined)

pre-proposal/workplan.tex

-\documentclass{article}
+\documentclass[a4wide]{article}
 \usepackage[show]{ed}
 \usepackage[official]{eurosym}
 \usepackage{xspace}
@@ -31,9 +31,9 @@ can afford one more project; see ~\ref{sec:funding}.
   ID & role/focus & PIs & Country\\\hline 
   FAU & coordination; symbolic data & Kohlhase, Rabe &  Germany \\
   FIZ & meta/publication data & Teschke & Germany \\
-  WIAS & array data?& Mielke, Koprucki &  Germany\\
   SLO & record data; UI & ???, Bercic & Slovenia \\
   UPSud & computation; record data & Thiery, Pons & France\\
+  OM & Open Modelica data  & ??? (VM contacts) & not D\\
   EMS & community, adoption, evaluation & Mehrmann & Finland\\\hline
 \end{tabular}
 \end{center}
@@ -53,6 +53,7 @@ Most of this has been developed in ODK but needs to be scaled up.
 \item[T2.3] Provenance (SLO) 
 \item[T2.4] Versioning (FAU) 
 \item[T2.5] Legal Issues (EMS)
+\item[T2.6] Systainability (EMS)
 \end{itemize}
 All tasks have a single deliverable that is a report.
 The codec task additionally produces reference implementations.
@@ -60,10 +61,10 @@ The codec task additionally produces reference implementations.
 \subsection{WP3: Data Representations}
 Based on WP2, we develop standardized representations of the four kinds of data.
 \begin{itemize}
-\item[T3.1] Symbolic Data (FAU)
+\item[T3.1] Symbolic Data (FAU) -- this includes formal mathematics and model data
 \item[T3.2] Record Data (SLO, UPS)
 \item[T3.3] Meta/Linked Data (FIZ)
-\item[T3.4] Array data (WIAS)
+\item[T3.4] Array data (FIZ) 
 \end{itemize}
 All tasks have a single deliverable that is a report that standardizes the representations.
 
@@ -71,10 +72,10 @@ All tasks have a single deliverable that is a report that standardizes the repre
 We built the physical system that hosts the data.
 \begin{itemize}
 \item[T4.1] Setting up the servers, APIs (FAU)
-\item[T4.2] Data Validation (FAU)
+\item[T4.2] Data Validation (EMS)
 \item[T4.3] Indexing, search, finding connections (FAU+all)
 \item[T4.4] User interface (SLO)
-\item[T4.5] Computation with EOSC Data (UPS)
+\item[T4.5] Computation with EOSC Data, Persistent Memoization? (UPS)
 \end{itemize}
 All tasks have a deliverable that is an implementation and documentation.\ednote{Maybe in
   multiple versions} 
@@ -83,9 +84,10 @@ All tasks have a deliverable that is an implementation and documentation.\ednote
 For each kind of data, we conduct one large case study that seeds the system:
 \begin{itemize}
 \item[T5.1] Symbolic data from formalized mathematics (FAU)
+\item[T5.5] Model Data from OpenModelica (OM) 
 \item[T5.2] Record data from graph databases (SLO) and Sage databases (UPS)
 \item[T5.3] Metadata-based Information System (FIZ)
-\item[T5.4] Array data from simulations (WIAS)
+\item[T5.4] Array data from simulations (OM)
 \end{itemize}
 All tasks have a single deliverable that is a database and report describing it.