Changeset 3293 for Deliverables/Dissemination
- Timestamp:
- May 15, 2013, 12:39:06 PM (8 years ago)
- Location:
- Deliverables/Dissemination/final-review
- Files:
-
- 2 edited
Legend:
- Unmodified
- Added
- Removed
-
Deliverables/Dissemination/final-review/wp6-dissemination.ltx
r3292 r3293 15 15 \begin{frame}{Summary} 16 16 17 Dissemination and exploitation in the \cerco\project has been both:17 Dissemination and exploitation in the CerCo project has been both: 18 18 19 19 \begin{description} … … 42 42 43 43 \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) 45 45 \item[workshops] HiPEAC (D6.4: Berlin, Jan 2013); ETAPS (D6.5: Rome, March 2013) 46 46 \item[software] extracted trusted compiler (D5.2) and live CD (D6.6) … … 56 56 \end{frame} 57 57 58 \begin{frame}{Research Context: Projects and People} 59 CerCo 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 69 Similarly, 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} 58 86 59 87 … … 488 516 % LocalWords: reexecutes subtrace RTLabs subtraces Garnier McKinna cerco 489 517 % 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 45 45 % LocalWords: reexecutes subtrace RTLabs subtraces Garnier McKinna cerco 46 46 % 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.