Changeset 3300


Ignore:
Timestamp:
May 16, 2013, 8:06:15 AM (5 years ago)
Author:
mckinna
Message:

updates

Location:
Deliverables/Dissemination/final-review
Files:
2 edited

Legend:

Unmodified
Added
Removed
  • Deliverables/Dissemination/final-review/wp6-dissemination.ltx

    r3294 r3300  
    1212  \item software
    1313  \end{itemize}
    14 \\and\hfill\\
    15 \item[indirect] in the form of:
     14%%%\end{description}
     15\item[and]
     16%%%\begin{description}
     17\item[\red{indirect}] in the form of:
    1618  \begin{itemize}
    1719  \item ideas, influence;
     
    2931
    3032  \begin{description}
    31   \item[papers] two at CPP 2012 (UEDIN, UNIBO; Kyoto); one at FMICS (UPD; Paris)
     33  \item[papers] two at CPP 2012 (UEDIN, UNIBO; Kyoto); one at FMICS (UPD; Paris); also work on implicit computational complexity (UPD)
    3234  \item[workshops] HiPEAC (D6.4: Berlin, Jan 2013); ETAPS (D6.5: Rome, March 2013)
    3335  \item[software] extracted trusted compiler (D5.2) and live CD (D6.6)
     
    4446
    4547\begin{frame}{Research Context: Projects and People}
    46 Building on established networks of EU-funded research: \begin{itemize}
    47   \item FP5: IST 33149 ``Mobile Resource Guarantees''
    48   \item FP6: \begin{itemize}
     48Building on established networks of EU-funded research:
     49\begin{description}
     50  \item[FP5] IST 33149 ``Mobile Resource Guarantees''
     51  \item[FP6] \begin{itemize}
    4952        \item IST 015905 ``Mobius: Mobility, Ubiquity, Security''
    5053        \item FET-Open STReP 510255 ``EmBounded''
    5154        \end{itemize}
    52   \item FP7: \red{FET-Open STReP 243881 ``CerCo''}
     55  \item[FP7] \red{FET-Open STReP 243881 ``CerCo''}
    5356  %%%\item COST: ICT IC2102 ``TACLe''
    54 \end{itemize}
     57\end{description}
    5558former researchers on CerCo have moved to related research projects, or industrial formal methods groups:
    5659\begin{description}
  • Deliverables/Dissemination/final-review/wp6-dissemination.tex

    r3293 r3300  
    3232\author{Brian~Campbell, Ilias~Garnier, \underline{James~McKinna}, Ian~Stark}
    3333\institute{LFCS, University of Edinburgh\\[1ex]
    34 \includegraphics[width=.3\linewidth]{cerco_logo.eps}\\
     34\includegraphics[width=.3\linewidth]{cerco_logo.eps}\\%%%{wp3/cerco_logo.png}\\%%%
    3535\footnotesize Project FP7-ICT-2009-C-243881
    3636}
Note: See TracChangeset for help on using the changeset viewer.