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

Last change on this file since 3132 was 3132, checked in by mckinna, 7 years ago

1st version of workshop s reports. Comments/amendments welcome!

File size: 4.0 KB
Line 
1\documentclass[11pt, epsf, a4wide]{article}
2
3\usepackage{../style/cerco}
4\usepackage{pdfpages}
5
6\usepackage{amsfonts}
7\usepackage{amsmath}
8\usepackage{amssymb} 
9\usepackage[english]{babel}
10\usepackage{graphicx}
11\usepackage[utf8x]{inputenc}
12\usepackage{listings}
13\usepackage{stmaryrd}
14\usepackage{url}
15\usepackage{bbm}
16
17\title{
18INFORMATION AND COMMUNICATION TECHNOLOGIES\\
19(ICT)\\
20PROGRAMME\\
21\vspace*{1cm}Project FP7-ICT-2009-C-243881 \cerco{}}
22
23\lstdefinelanguage{matita-ocaml}
24  {keywords={ndefinition,ncoercion,nlemma,ntheorem,nremark,ninductive,nrecord,nqed,nlet,let,in,rec,match,return,with,Type,try},
25   morekeywords={[2]nwhd,nnormalize,nelim,ncases,ndestruct},
26   morekeywords={[3]type,of},
27   mathescape=true,
28  }
29
30\lstset{language=matita-ocaml,basicstyle=\small\tt,columns=flexible,breaklines=false,
31        keywordstyle=\color{red}\bfseries,
32        keywordstyle=[2]\color{blue},
33        keywordstyle=[3]\color{blue}\bfseries,
34        commentstyle=\color{green},
35        stringstyle=\color{blue},
36        showspaces=false,showstringspaces=false}
37
38\lstset{extendedchars=false}
39\lstset{inputencoding=utf8x}
40\DeclareUnicodeCharacter{8797}{:=}
41\DeclareUnicodeCharacter{10746}{++}
42\DeclareUnicodeCharacter{9001}{\ensuremath{\langle}}
43\DeclareUnicodeCharacter{9002}{\ensuremath{\rangle}}
44
45\date{}
46\author{}
47
48\begin{document}
49
50\thispagestyle{empty}
51
52\vspace*{-1cm}
53\begin{center}
54\includegraphics[width=0.6\textwidth]{../style/cerco_logo.png}
55\end{center}
56
57\begin{minipage}{\textwidth}
58\maketitle
59\end{minipage}
60
61\vspace*{0.5cm}
62\begin{center}
63\begin{LARGE}
64\textbf{
65Report n. D6.4-6.5\\
66Final Report on User Validation}
67\end{LARGE} 
68\end{center}
69
70\vspace*{2cm}
71\begin{center}
72\begin{large}
73Version 1.0
74\end{large}
75\end{center}
76
77\vspace*{0.5cm}
78\begin{center}
79\begin{large}
80Main Authors:\\
81XXXX %James McKinna and Brian Campbell
82\end{large}
83\end{center}
84
85\vspace*{\fill}
86
87\noindent
88Project Acronym: \cerco{}\\
89Project full title: Certified Complexity\\
90Proposal/Contract no.: FP7-ICT-2009-C-243881 \cerco{}\\
91
92\clearpage
93\pagestyle{myheadings}
94\markright{\cerco{}, FP7-ICT-2009-C-243881}
95
96\newpage
97
98\vspace*{7cm}
99\paragraph{Abstract}
100xxx
101
102\newpage
103
104\tableofcontents
105
106\newpage
107
108\section{Task}
109\label{sect.task}
110
111The Grant Agreement describes deliverables D6.4, D6.5 from WP6, ``Dissemination and Exploitation'', as follows:
112\begin{quotation}
113\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]
114\end{quotation}
115
116\begin{quotation}
117\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]
118
119\end{quotation}
120
121Under \textbf{D6.4}, we identified for month 37 (Jan. 2013) the HiPEAC series of workshops on High Performance Compiling and Analysis as a suitable destination, comprising as it does industrial and academic research.
122
123Under \textbf{D6.5}, we identified for month 39 (Mar. 2013) a workshop at ETAPS, the major European federated conference on programming languages, systems and tools.
124
125%%%\newpage
126
127\input{workshops.ltx}
128
129\end{document}
Note: See TracBrowser for help on using the repository browser.