Changeset 3293 for Deliverables/Dissemination

Timestamp:

May 15, 2013, 12:39:06 PM (7 years ago)

Author:

mckinna

Message:

more: desitination data (partial)

Location:

Deliverables/Dissemination/final-review

Files:

• wp6-dissemination.ltx (modified) (4 diffs)
• wp6-dissemination.tex (modified) (1 diff)

Deliverables/Dissemination/final-review/wp6-dissemination.ltx

@@ -15 +15 @@
 \begin{frame}{Summary}
 
-Dissemination and exploitation in the \cerco\ project has been both:
+Dissemination and exploitation in the CerCo project has been both:
 
 \begin{description}
@@ -42 +42 @@
 
   \begin{description}
-  \item[papers] two at CPP 2012 (Kyoto); one at FMICS (Paris)
+  \item[papers] two at CPP 2012 (UEDIN, UNIBO; Kyoto); one at FMICS (UPD; Paris)
   \item[workshops] HiPEAC (D6.4: Berlin, Jan 2013); ETAPS (D6.5: Rome, March 2013)
   \item[software] extracted trusted compiler (D5.2) and live CD (D6.6)
@@ -56 +56 @@
 \end{frame}
 
+\begin{frame}{Research Context: Projects and People}
+CerCo is not an isolated project, but builds on existing established networks of nationally- and EU-funded research: for example, 
+\begin{itemize}
+  \item FP5: IST 33149 ``Mobile Resource Guarantees''
+  \item FP6: 
+        \item IST 015905 ``Mobius: Mobility, Ubiquity, Security''
+        \item FET-Open STReP 510255 ``EmBounded''
+  \item FP7: \red{FET-Open STReP 243881 ``CerCo''}
+  \item COST: ICT IC2102 ``TACLe''
+\end{itemize}
+
+Similarly, a number of research projects, or idnustrially-related formal methods grousp, now employ researchers formerly attached to CerCo: 
+\begin{description}
+\item[UEDIN]
+  \begin{itemize}
+  \item Pollack, now on Crash/Safe (Morrissett \textit{et al.}\ldots; DARPA, US)
+  \item Campbell, now on REMS (Sewell \textit{et al.}\ldots; EPSRC, UK)
+  \end{itemize}
+\item[UPD] \begin{itemize}
+  \item Ayache, formal mthods engineer at CLEARSY (Atelier B, FR)
+  \item Bobot, researcher at CEA (Frama-C, FR)
+  \end{itemize}
+\item[UNIBO] \begin{itemize}
+  \item Tranquili, 
+  \end{itemize}
+\end{description}
+
+\end{frame}
 
 
@@ -488 +516 @@
 % LocalWords:  reexecutes subtrace RTLabs subtraces Garnier McKinna cerco
 % LocalWords:  Axiomatization axiomatized Cminor goto
+
+%%% Local Variables: 
+%%% mode: latex
+%%% TeX-master: "wp6-dissemination.tex"
+%%% End: 

Deliverables/Dissemination/final-review/wp6-dissemination.tex

@@ -45 +45 @@
 % LocalWords:  reexecutes subtrace RTLabs subtraces Garnier McKinna cerco
 % LocalWords:  Axiomatization axiomatized Cminor goto
+
+%%% Local Variables: 
+%%% mode: latex
+%%% TeX-master: t
+%%% End: