Changeset 3301


Ignore:
Timestamp:
May 17, 2013, 8:35:38 AM (7 years ago)
Author:
mckinna
Message:

updates: wp6.tex is definitive

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

Legend:

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

    r3300 r3301  
    2828\begin{frame}{Activities in the Third Period}
    2929  A number of distinct activities took place, as reported in D1.3/D1.4
    30   and in the individual Deliverables already submitted. Noteworthy direct outcomes are:
     30  and in the individual Deliverables already submitted. Noteworthy \alert{direct} outcomes are:
    3131
    3232  \begin{description}
     
    3636  \end{description}
    3737
    38   Indirect outcomes:
     38  \alert{Indirect} outcomes:
    3939  \begin{description}
    4040  \item[people] a number of researchers moved on to other projects or industry
    4141  \item[ideas] executable semantics for CompCert C: Leroy, following Campbell (UEDIN)
    4242  \item[projects] COST Action TACLe (Lisper; SE), EPSRC REMS (Sewell, \textit{et al.}\ldots; UK) DARPA Crash/Safe (Morrissett \textit{et al.}\ldots; US)
     43  \end{description}
     44
     45\end{frame}
     46
     47\begin{frame}
     48  {Reflections}
     49  \begin{description}
     50  \item[HiPEAC]
     51    \begin{description}
     52    \item[+] well targeted: \textit{cf.} Koen de Bosschere (U.Gent)
     53    \item[--] poorly attended
     54    \end{description}
     55  \item[ETAPS]
     56    \begin{description}
     57    \item[++] Intersection with PROARTIS (Vardanega) and TACLe (Lisper)
     58    \item[-] scheduling/balance with QAPL meeting
     59    \end{description}
     60  \item[software]
     61    \begin{description}
     62    \item[++] Reusable, out-of-the-box installation; integration with Why3/Frama-C
     63    \item[-] Quality of the extraction; refinements, improvements, completion of the proofs
     64    \end{description}
     65  \item[papers]
     66    \begin{description}
     67    \item[++] High quality! \textit{cf.} Leroy reusing Campbell's executable C semantics
     68    \item[--] Challenge: identifying the target audience(s)?
     69    \end{description}
     70  \item[ideas] \begin{description}
     71    \item[++] labelled source code; structured traces
     72    \item[+/-] r{\^o}le of types in certification
     73    \end{description}
    4374  \end{description}
    4475
     
    5687  %%%\item COST: ICT IC2102 ``TACLe''
    5788\end{description}
    58 former researchers on CerCo have moved to related research projects, or industrial formal methods groups:
     89CerCo researchers now on related projects, or practising formal methods in industry:
    5990\begin{description}
    6091\item[UEDIN]
    6192  \begin{itemize}
    62   \item Pollack, now researcher on Crash/Safe %%%(Morrissett \textit{et al.}\ldots; DARPA, US)
    63   \item Campbell, now researcher on REMS %%%(Sewell \textit{et al.}\ldots; EPSRC, UK)
     93  \item Pollack, now researcher on Crash/Safe (US)%%%(Morrissett \textit{et al.}\ldots; DARPA, US)
     94  \item Campbell, now researcher on REMS (UK)%%%(Sewell \textit{et al.}\ldots; EPSRC, UK)
    6495  \end{itemize}
    6596\item[UPD] \begin{itemize}
    6697  \item Ayache, engineer at CLEARSY (Atelier B, FR)
    6798  \item Bobot, researcher at CEA (Frama-C, FR)
     99  \item Madet, researcher on PARKAS (INRIA, FR)
    68100  \end{itemize}
    69101\item[UNIBO] \begin{itemize}
    70   \item Tranquilli, to join Nokia (PL)
     102  \item Tranquilli, to join Nokia-Siemens Networks (PL)
    71103  \item Mulligan, now researcher on REMS (UK)
    72104  \item Boender, assistant professor at Middlesex (UK)
  • Deliverables/Dissemination/final-review/wp6-dissemination.tex

    r3300 r3301  
    3030\title{WP6: Dissemination and Exploitation\\[1\jot]
    3131}
    32 \author{Brian~Campbell, Ilias~Garnier, \underline{James~McKinna}, Ian~Stark}
     32\author{James~McKinna}
    3333\institute{LFCS, University of Edinburgh\\[1ex]
    3434\includegraphics[width=.3\linewidth]{cerco_logo.eps}\\%%%{wp3/cerco_logo.png}\\%%%
    3535\footnotesize Project FP7-ICT-2009-C-243881
    3636}
    37 \date{CerCo review meeting\\16th May 2013}
     37\date{CerCo Final Project Review meeting\\16th May 2013}
    3838\maketitle
    3939
Note: See TracChangeset for help on using the changeset viewer.