source: Deliverables/D6.4-6.5/report.tex

\documentclass[11pt, epsf, a4wide]{article}

\usepackage{../style/cerco}
\usepackage{pdfpages}

\usepackage{amsfonts}
\usepackage{amsmath}
\usepackage{amssymb} 
\usepackage[english]{babel}
\usepackage{graphicx}
\usepackage[utf8x]{inputenc}
\usepackage{listings}
\usepackage{stmaryrd}
\usepackage{url}
\usepackage{bbm}

\title{
INFORMATION AND COMMUNICATION TECHNOLOGIES\\
(ICT)\\
PROGRAMME\\
\vspace*{1cm}Project FP7-ICT-2009-C-243881 \cerco{}}

\lstdefinelanguage{matita-ocaml}
  {keywords={ndefinition,ncoercion,nlemma,ntheorem,nremark,ninductive,nrecord,nqed,nlet,let,in,rec,match,return,with,Type,try},
   morekeywords={[2]nwhd,nnormalize,nelim,ncases,ndestruct},
   morekeywords={[3]type,of},
   mathescape=true,
  }

\lstset{language=matita-ocaml,basicstyle=\small\tt,columns=flexible,breaklines=false,
        keywordstyle=\color{red}\bfseries,
        keywordstyle=[2]\color{blue},
        keywordstyle=[3]\color{blue}\bfseries,
        commentstyle=\color{green},
        stringstyle=\color{blue},
        showspaces=false,showstringspaces=false}

\lstset{extendedchars=false}
\lstset{inputencoding=utf8x}
\DeclareUnicodeCharacter{8797}{:=}
\DeclareUnicodeCharacter{10746}{++}
\DeclareUnicodeCharacter{9001}{\ensuremath{\langle}}
\DeclareUnicodeCharacter{9002}{\ensuremath{\rangle}}

\date{}
\author{}

\begin{document}

\thispagestyle{empty}

\vspace*{-1cm}
\begin{center}
\includegraphics[width=0.6\textwidth]{../style/cerco_logo.png}
\end{center}

\begin{minipage}{\textwidth}
\maketitle
\end{minipage}

\vspace*{0.5cm}

\begin{center}
\begin{LARGE}
\textbf{Deliverable 6.4\\[3\jot]
 Organization of an Event Targeted to Potential Industrial Stakeholders} 
\end{LARGE}
\end{center}

\vspace*{0.2cm}

\begin{center}
\begin{LARGE}
\textbf{Deliverable 6.5\\[3\jot]
  Organization of an Event Targeted to the Scientific Community}
\end{LARGE} 
\end{center}

\vspace*{2cm}
\begin{center}
\begin{large}
Version 1.0
\end{large}
\end{center}

\vspace*{0.5cm}
\begin{center}
\begin{large}
Main Authors:\\
Brian~Campbell, Ilias~Garnier, James~McKinna, Ian~Stark
\end{large}
\end{center}

\vspace*{\fill}

\noindent
Project Acronym: \cerco{}\\
Project full title: Certified Complexity\\
Proposal/Contract no.: FP7-ICT-2009-C-243881 \cerco{}\\

\clearpage
\pagestyle{myheadings}
\markright{\cerco{}, FP7-ICT-2009-C-243881}

\newpage

\section*{Executive Summary}
\addcontentsline{toc}{section}{Executive Summary}

CerCo Work Package~6 on \emph{Dissemination and Exploitation} includes two
deliverables that take the form of event organization.
\begin{description}
\item[D6.4: Organization of an Event Targeted to Potential Industrial
  Stakeholders] ~

  Realised as:

  \emph{CerCo: Certifying Costs in a Certified Compiler}\\
  Workshop at HiPEAC 2013: 8th International Conference on High-Performance
  and Embedded Architectures and Compilers \\
  Wednesday 23 January 2013, Berlin.
  
\item[D6.5: Organization of an Event Targeted to the Scientific Community] ~

  Realised as:

  \emph{CerCo/PROARTIS Technical Day on Innovative Techniques on Timing
  Analysis}\\ 
  Workshop at ETAPS 2013: European Joint Conferences on Theory and Practice of
  Software \\
  Sunday 23 March 2013, Rome, Italy
\end{description}
This report describes the completion of these deliverables, their outcome and
impact on future dissemination.  We note in particular the following.

\begin{itemize}
\item Interaction with other projects and research groups.  Both events had
  invited talks from notable researchers, and the workshop targeted to the
  scientific community at ETAPS was presented jointly with the PROARTIS
  project.

\item Good fit with the other activities at both the industrially-targeted and
  scientific events: the CerCo event at HiPEAC was part of a workshop track on
  compilers which ran throughout the conference; and the CerCo day at ETAPS
  collaborated with the parallel workshop QAPL (Quantitative Aspects of
  Programming Languages on Systems) through three joint talks.

\item Additional scientific impact and further directions, including:
  \begin{itemize}
  \item Potential of CerCo technology to carry out early-stage timing analysis
    not reachable with current WCET object-code tools (identified by invited
    speaker Bj\"orn Lisper).
  \item Parameterisation of CerCo analyses with respect to different cost
    algebras  (identified in interaction with QAPL speakers).
  \item Application of probability distributions over costs to tame cache
    unpredictability (arose from presentation of Vardanega from PROARTIS).
  \end{itemize}
  All of these are discussed in detail in the report.

\item New links to industrial researchers and other European projects:
  PROARTIS, COST action TACLe, parMERASA, and T-CREST.
\end{itemize}


\newpage

\tableofcontents

\newpage

\section{Task}
\label{sect.task}

CerCo Work Package~6 specifies the following two deliverables under
\emph{Dissemination and Exploitation}.

\begin{quotation}
  \noindent\textbf{D6.4) Organization of an Event Targeted to Potential
    Industrial Stakeholders}: We will organize a public event opened to
  industries and other potential stakeholders and we will invite a few
  potentially interested industries to be identified in D6.2 and during the
  project development. The event could be affiliated to an international
  conference relevant to the project and could involve a tutorial on the use
  of the software developed in CerCo. The deliverable date is only indicative,
  since we need to identify a suitable conference for affiliation. The event
  could be co-located and partially overlap with D6.5. [month 34]
\end{quotation}

\begin{quotation}
  \noindent \textbf{D6.5) Organization of an Event Targeted to the Scientific
    Community}: We will organize a public event aimed at presenting the CerCo
  compiler to the scientific community. The event could be affiliated to an
  international conference relevant to the project and it could involve a
  tutorial on the use of the software developed in CerCo. Alternatively, it
  could consist in a course give in an international summer school on the use
  and implementation of the CerCo compiler. The deliverable date is only
  indicative, since we need to identify a suitable conference or summer school
  for affiliation. The event could be co-located and partially overlap with
  D6.4. [month 34]

\end{quotation}

%%%\newpage

\input{workshops.ltx}

\end{document}