Changeset 3293


Ignore:
Timestamp:
May 15, 2013, 12:39:06 PM (4 years ago)
Author:
mckinna
Message:

more: desitination data (partial)

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

Legend:

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

    r3292 r3293  
    1515\begin{frame}{Summary}
    1616
    17 Dissemination and exploitation in the \cerco\ project has been both:
     17Dissemination and exploitation in the CerCo project has been both:
    1818
    1919\begin{description}
     
    4242
    4343  \begin{description}
    44   \item[papers] two at CPP 2012 (Kyoto); one at FMICS (Paris)
     44  \item[papers] two at CPP 2012 (UEDIN, UNIBO; Kyoto); one at FMICS (UPD; Paris)
    4545  \item[workshops] HiPEAC (D6.4: Berlin, Jan 2013); ETAPS (D6.5: Rome, March 2013)
    4646  \item[software] extracted trusted compiler (D5.2) and live CD (D6.6)
     
    5656\end{frame}
    5757
     58\begin{frame}{Research Context: Projects and People}
     59CerCo is not an isolated project, but builds on existing established networks of nationally- and EU-funded research: for example,
     60\begin{itemize}
     61  \item FP5: IST 33149 ``Mobile Resource Guarantees''
     62  \item FP6:
     63        \item IST 015905 ``Mobius: Mobility, Ubiquity, Security''
     64        \item FET-Open STReP 510255 ``EmBounded''
     65  \item FP7: \red{FET-Open STReP 243881 ``CerCo''}
     66  \item COST: ICT IC2102 ``TACLe''
     67\end{itemize}
     68
     69Similarly, a number of research projects, or idnustrially-related formal methods grousp, now employ researchers formerly attached to CerCo:
     70\begin{description}
     71\item[UEDIN]
     72  \begin{itemize}
     73  \item Pollack, now on Crash/Safe (Morrissett \textit{et al.}\ldots; DARPA, US)
     74  \item Campbell, now on REMS (Sewell \textit{et al.}\ldots; EPSRC, UK)
     75  \end{itemize}
     76\item[UPD] \begin{itemize}
     77  \item Ayache, formal mthods engineer at CLEARSY (Atelier B, FR)
     78  \item Bobot, researcher at CEA (Frama-C, FR)
     79  \end{itemize}
     80\item[UNIBO] \begin{itemize}
     81  \item Tranquili,
     82  \end{itemize}
     83\end{description}
     84
     85\end{frame}
    5886
    5987
     
    488516% LocalWords:  reexecutes subtrace RTLabs subtraces Garnier McKinna cerco
    489517% LocalWords:  Axiomatization axiomatized Cminor goto
     518
     519%%% Local Variables:
     520%%% mode: latex
     521%%% TeX-master: "wp6-dissemination.tex"
     522%%% End:
  • Deliverables/Dissemination/final-review/wp6-dissemination.tex

    r3291 r3293  
    4545% LocalWords:  reexecutes subtrace RTLabs subtraces Garnier McKinna cerco
    4646% LocalWords:  Axiomatization axiomatized Cminor goto
     47
     48%%% Local Variables:
     49%%% mode: latex
     50%%% TeX-master: t
     51%%% End:
Note: See TracChangeset for help on using the changeset viewer.