Changeset 2013 for Deliverables/D6.2/supplement.tex

Timestamp:

Jun 2, 2012, 12:11:01 AM (9 years ago)

Author:

Ian Stark

Message:

Put in HiPEAC 2013

File:

• Deliverables/D6.2/supplement.tex (modified) (6 diffs)

Deliverables/D6.2/supplement.tex

@@ -26 +26 @@
 % 2012 meeting in Bologna we discussed:
 %
-%  - Plans for the CerCo workshop at ETAPS 2013
+%  - Plans for the CerCo workshop at ETAPS 2013 (later HiPEAC 2013 too)
 %  - Subject areas for papers to be written and submitted
 %
@@ -101 +101 @@
 document is a response to that, with the following two contributions.
 \begin{itemize}
-\item Plans for the {\cerco} workshop at the ETAPS~2013 conference in
-  Rome (Deliverables 6.4 and~6.5).
+\item Plans for the {\cerco} workshop at the HiPEAC~'13 meeting in Berlin /
+  the ETAPS~2013 conference in Rome (Deliverables 6.4 and~6.5).
 \item A list of proposed publications reporting {\cerco} results.
 \end{itemize}
@@ -109 +109 @@
   Dissemination Plans} of April 2011.
 
-\section{CerCo Workshop}
+\section{{\cerco} Workshop}
+
+\hrule
+
+We shall hold a {\cerco} one-day workshop for academic and industrial
+researchers.  Our preferred destination is \emph{HiPEAC '13}, to be held in
+Berlin at the end of January~2013.  This is an international meeting on
+high-performance and embedded architectures and compilers, organised by the
+European Network of Excellence in the field, and as such provides an ideal
+audience for {\cerco} results.  The conference workshops for 2013 have not yet
+been selected, but we have submitted our {\cerco} proposal for consideration.
+In case this is not successful, we are also holding an offer of a workshop day
+at ETAPS~2013, the European Joint Conferences on Theory and Practice of
+Software.  This too is a forum for a range of academic and industrial
+researchers, but it takes place in March 2013 and so would only fall within
+the {\cerco} calendar if we obtained an extension to the project.
+
+\noindent\textbf{OR}
 
 The organisers of ETAPS~2013 have accepted a {\cerco} workshop proposal.  The
@@ -115 +132 @@
 and tutorials in the adjacent weekends.  {\cerco} will have a full one-day
 workshop as part of this programme.
+
+\hrule
 
 This {\cerco} workshop has two objectives:
@@ -125 +144 @@
 To support these objectives, we propose to send invitations to a dozen
 industrial and academic research groups working in the field.  While the
-workshop will be open to anyone at ETAPS who wishes to register, we consider
+workshop will be open to anyone at HiPEAC who wishes to register, we consider
 an invitational workshop to be the most direct way to bring together {\cerco}
 researchers with potential users of the project results.  A list of invitees
@@ -285 +304 @@
 \end{document}
 
-%  LocalWords:  Frama AbsInt Rapita RapiTime EnCore ArcSim WCET Heiko
-%  LocalWords:  Falk EmBounded Myreen CompCertTSO ADSIG ArtistDesign
+%  LocalWords:  Frama AbsInt Rapita RapiTime EnCore ArcSim WCET Heiko HiPEAC
+%  LocalWords:  Falk EmBounded Myreen CompCertTSO ADSIG ArtistDesign ACSL