Changeset 3137 for Deliverables/D6.4-6.5

Timestamp:

Apr 12, 2013, 6:53:46 PM (8 years ago)

Author:

mckinna

Message:

Tweaks

Location:

Deliverables/D6.4-6.5

Files:

• report.tex (modified) (2 diffs)
• workshops.ltx (modified) (3 diffs)

Deliverables/D6.4-6.5/report.tex

@@ -98 +98 @@
 \vspace*{7cm}
 \paragraph{Abstract}
-xxx
+This Report witnesses the two Dissemination events planned for in WP6 as Deliverables D6.4, D6.5. 
 
 \newpage
@@ -109 +109 @@
 \label{sect.task}
 
-The Grant Agreement describes deliverables D6.4, D6.5 from WP6, ``Dissemination and Exploitation'', as follows:
+The Grant Agreement specifies the following deliverables from WP6, ``Dissemination and Exploitation'':
 \begin{quotation}
 \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]

Deliverables/D6.4-6.5/workshops.ltx

@@ -2 +2 @@
 \label{sect.rep}
 
-The Consortium identified two potentially fruitful destinations at which to hold dissemination events, taking into account suitable candidates, and the opportunity to hold workshops during, or shortly after the Project lifetime, given our requested extension to end month 39, Mar. 2013. 
+The Consortium identified two potentially fruitful destinations at which to hold such events, taking into account suitable candidates, and the opportunity to hold workshops during, or shortly after the end of the Project lifetime, given our requested extension to end month 39, Mar. 2013. 
 
 Beyond each Conference call for participation, invitations to the two meetings were sent out to the following researchers and research groups, all world leaders in cost/timing analysis for programing langauges, compilers and embedded systems: 
@@ -15 +15 @@
 
 
-\paragraph{D6.4} Before receiving the extension, we had identified for month 37 (Jan. 2013) the workshop track of the HiPEAC Conference series on High Performance and Embedded Architectures and Compilers as a suitable destination, comprising as it does a wide range of sessions bringing together industrial and academic research. 
+\paragraph{D6.4} Before receiving the Project extension, we had identified for month 37 (Jan. 2013) the workshop track of the HiPEAC Conference series on High Performance and Embedded Architectures and Compilers as a suitable destination, comprising as it does a wide range of sessions bringing together industrial and academic research. 
 
 The half-day workshop was held on 2013-01-23 in Berlin: \\
@@ -41 +41 @@
 iterations.  That analysis produces constraints which are solved with the aid of off-the-shelf linear programming tools. So the effectiveness of theorem proving in computing precise costs in \cerco{} interested him.
 
-
 In addition to his own technical talk, he took the opportunity to advertise, and solicit interest in, the recently formed COST Action IC1202 Timing Analysis and Cost-Level Estimation (TACLe), of which he is Chair. This offers very promising potential for future collaborations and the wider communication of results from \cerco{}.