Changeset 3300 for Deliverables/Dissemination
- Timestamp:
- May 16, 2013, 8:06:15 AM (8 years ago)
- Location:
- Deliverables/Dissemination/final-review
- Files:
-
- 2 edited
Legend:
- Unmodified
- Added
- Removed
-
Deliverables/Dissemination/final-review/wp6-dissemination.ltx
r3294 r3300 12 12 \item software 13 13 \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: 16 18 \begin{itemize} 17 19 \item ideas, influence; … … 29 31 30 32 \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) 32 34 \item[workshops] HiPEAC (D6.4: Berlin, Jan 2013); ETAPS (D6.5: Rome, March 2013) 33 35 \item[software] extracted trusted compiler (D5.2) and live CD (D6.6) … … 44 46 45 47 \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} 48 Building on established networks of EU-funded research: 49 \begin{description} 50 \item[FP5] IST 33149 ``Mobile Resource Guarantees'' 51 \item[FP6] \begin{itemize} 49 52 \item IST 015905 ``Mobius: Mobility, Ubiquity, Security'' 50 53 \item FET-Open STReP 510255 ``EmBounded'' 51 54 \end{itemize} 52 \item FP7:\red{FET-Open STReP 243881 ``CerCo''}55 \item[FP7] \red{FET-Open STReP 243881 ``CerCo''} 53 56 %%%\item COST: ICT IC2102 ``TACLe'' 54 \end{ itemize}57 \end{description} 55 58 former researchers on CerCo have moved to related research projects, or industrial formal methods groups: 56 59 \begin{description} -
Deliverables/Dissemination/final-review/wp6-dissemination.tex
r3293 r3300 32 32 \author{Brian~Campbell, Ilias~Garnier, \underline{James~McKinna}, Ian~Stark} 33 33 \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}\\%%% 35 35 \footnotesize Project FP7-ICT-2009-C-243881 36 36 }
Note: See TracChangeset
for help on using the changeset viewer.