Changeset 3300 for Deliverables/Dissemination

Timestamp:

May 16, 2013, 8:06:15 AM (7 years ago)

Author:

mckinna

Message:

updates

Location:

Deliverables/Dissemination/final-review

Files:

• wp6-dissemination.ltx (modified) (3 diffs)
• wp6-dissemination.tex (modified) (1 diff)

Deliverables/Dissemination/final-review/wp6-dissemination.ltx

@@ -12 +12 @@
   \item software
   \end{itemize}
-\\and\hfill\\
-\item[indirect] in the form of:
+%%%\end{description}
+\item[and]
+%%%\begin{description}
+\item[\red{indirect}] in the form of:
   \begin{itemize}
   \item ideas, influence; 
@@ -29 +31 @@
 
   \begin{description}
-  \item[papers] two at CPP 2012 (UEDIN, UNIBO; Kyoto); one at FMICS (UPD; Paris)
+  \item[papers] two at CPP 2012 (UEDIN, UNIBO; Kyoto); one at FMICS (UPD; Paris); also work on implicit computational complexity (UPD)
   \item[workshops] HiPEAC (D6.4: Berlin, Jan 2013); ETAPS (D6.5: Rome, March 2013)
   \item[software] extracted trusted compiler (D5.2) and live CD (D6.6)
@@ -44 +46 @@
 
 \begin{frame}{Research Context: Projects and People}
-Building on established networks of EU-funded research: \begin{itemize}
-  \item FP5: IST 33149 ``Mobile Resource Guarantees''
-  \item FP6: \begin{itemize}
+Building on established networks of EU-funded research: 
+\begin{description}
+  \item[FP5] IST 33149 ``Mobile Resource Guarantees''
+  \item[FP6] \begin{itemize}
         \item IST 015905 ``Mobius: Mobility, Ubiquity, Security''
         \item FET-Open STReP 510255 ``EmBounded''
         \end{itemize}
-  \item FP7: \red{FET-Open STReP 243881 ``CerCo''}
+  \item[FP7] \red{FET-Open STReP 243881 ``CerCo''}
   %%%\item COST: ICT IC2102 ``TACLe''
-\end{itemize}
+\end{description}
 former researchers on CerCo have moved to related research projects, or industrial formal methods groups: 
 \begin{description}

Deliverables/Dissemination/final-review/wp6-dissemination.tex

@@ -32 +32 @@
 \author{Brian~Campbell, Ilias~Garnier, \underline{James~McKinna}, Ian~Stark}
 \institute{LFCS, University of Edinburgh\\[1ex]
-\includegraphics[width=.3\linewidth]{cerco_logo.eps}\\
+\includegraphics[width=.3\linewidth]{cerco_logo.eps}\\%%%{wp3/cerco_logo.png}\\%%%
 \footnotesize Project FP7-ICT-2009-C-243881
 }