Changeset 3292


Ignore:
Timestamp:
May 15, 2013, 10:45:19 AM (4 years ago)
Author:
mckinna
Message:

update

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

Legend:

Unmodified
Added
Removed
  • Deliverables/Dissemination/final-review/wp3/front-end.vrb

    r3280 r3292  
    11\frametitle {Checking Bound to Next Label}\par     \begin{center}
    22  \begin{overprint}[0.5\linewidth]
    3       \onslide<1>\includegraphics[width=0.8\linewidth]{loop.pdf}
    4       \onslide<2>\includegraphics[width=0.8\linewidth]{loop1.pdf}
    5       \onslide<3>\includegraphics[width=0.8\linewidth]{loop2.pdf}
    6       \onslide<4>\includegraphics[width=0.8\linewidth]{loop3.pdf}
    7       \onslide<5>\includegraphics[width=0.8\linewidth]{loop4.pdf}
    8       \onslide<6->\includegraphics[width=0.8\linewidth]{loopx.pdf}
     3      \onslide<1>\includegraphics[width=0.8\linewidth]{loop.pdf.eps}
     4      \onslide<2>\includegraphics[width=0.8\linewidth]{loop1.pdf.eps}
     5      \onslide<3>\includegraphics[width=0.8\linewidth]{loop2.pdf.eps}
     6      \onslide<4>\includegraphics[width=0.8\linewidth]{loop3.pdf.eps}
     7      \onslide<5>\includegraphics[width=0.8\linewidth]{loop4.pdf.eps}
     8      \onslide<6->\includegraphics[width=0.8\linewidth]{loopx.pdf.eps}
    99  \end{overprint}
    1010    \end{center}
  • Deliverables/Dissemination/final-review/wp6-dissemination.ltx

    r3291 r3292  
    1313
    1414
    15 
    16 
    17 
    18 
    19 
    20 
     15\begin{frame}{Summary}
     16
     17Dissemination and exploitation in the \cerco\ project has been both:
     18
     19\begin{description}
     20\item[direct] in the form of:
     21  \begin{itemize}
     22  \item Deliverables
     23  \item papers
     24  \item workshops
     25  \item invited talks
     26  \item software
     27  \end{itemize} and
     28\item[indirect] in the form of:
     29  \begin{itemize}
     30  \item ideas, influence;
     31  \item mobility of researchers;
     32  \item follow-on projects
     33  \end{itemize}
     34
     35\end{description}
     36
     37\end{frame}
     38
     39\begin{frame}{Activities in the Third Period}
     40  A number of distinct activities took place, as reported in D1.3/D1.4
     41  and in the individual Deliverables already submitted. Noteworthy direct outcomes are:
     42
     43  \begin{description}
     44  \item[papers] two at CPP 2012 (Kyoto); one at FMICS (Paris)
     45  \item[workshops] HiPEAC (D6.4: Berlin, Jan 2013); ETAPS (D6.5: Rome, March 2013)
     46  \item[software] extracted trusted compiler (D5.2) and live CD (D6.6)
     47  \end{description}
     48
     49  Indirect outcomes:
     50  \begin{description}
     51  \item[people] a number of researchers moved on to other projects or industry
     52  \item[ideas] executable semantics for CompCert C: Leroy, following Campbell (UEDIN)
     53  \item[projects] COST Action TACLe, EPSRC REMS, DARPA Crash/Safe
     54  \end{description}
     55
     56\end{frame}
     57
     58
     59
     60
     61\begin{frame}{}
     62
     63\end{frame}
    2164
    2265
Note: See TracChangeset for help on using the changeset viewer.