Changeset 2013 for Deliverables/D6.2/supplement.tex
- Timestamp:
- Jun 2, 2012, 12:11:01 AM (9 years ago)
- File:
-
- 1 edited
Legend:
- Unmodified
- Added
- Removed
-
Deliverables/D6.2/supplement.tex
r2012 r2013 26 26 % 2012 meeting in Bologna we discussed: 27 27 % 28 % - Plans for the CerCo workshop at ETAPS 2013 28 % - Plans for the CerCo workshop at ETAPS 2013 (later HiPEAC 2013 too) 29 29 % - Subject areas for papers to be written and submitted 30 30 % … … 101 101 document is a response to that, with the following two contributions. 102 102 \begin{itemize} 103 \item Plans for the {\cerco} workshop at the ETAPS~2013 conference in104 Rome (Deliverables 6.4 and~6.5).103 \item Plans for the {\cerco} workshop at the HiPEAC~'13 meeting in Berlin / 104 the ETAPS~2013 conference in Rome (Deliverables 6.4 and~6.5). 105 105 \item A list of proposed publications reporting {\cerco} results. 106 106 \end{itemize} … … 109 109 Dissemination Plans} of April 2011. 110 110 111 \section{CerCo Workshop} 111 \section{{\cerco} Workshop} 112 113 \hrule 114 115 We shall hold a {\cerco} one-day workshop for academic and industrial 116 researchers. Our preferred destination is \emph{HiPEAC '13}, to be held in 117 Berlin at the end of January~2013. This is an international meeting on 118 high-performance and embedded architectures and compilers, organised by the 119 European Network of Excellence in the field, and as such provides an ideal 120 audience for {\cerco} results. The conference workshops for 2013 have not yet 121 been selected, but we have submitted our {\cerco} proposal for consideration. 122 In case this is not successful, we are also holding an offer of a workshop day 123 at ETAPS~2013, the European Joint Conferences on Theory and Practice of 124 Software. This too is a forum for a range of academic and industrial 125 researchers, but it takes place in March 2013 and so would only fall within 126 the {\cerco} calendar if we obtained an extension to the project. 127 128 \noindent\textbf{OR} 112 129 113 130 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 116 133 workshop as part of this programme. 134 135 \hrule 117 136 118 137 This {\cerco} workshop has two objectives: … … 125 144 To support these objectives, we propose to send invitations to a dozen 126 145 industrial and academic research groups working in the field. While the 127 workshop will be open to anyone at ETAPSwho wishes to register, we consider146 workshop will be open to anyone at HiPEAC who wishes to register, we consider 128 147 an invitational workshop to be the most direct way to bring together {\cerco} 129 148 researchers with potential users of the project results. A list of invitees … … 285 304 \end{document} 286 305 287 % LocalWords: Frama AbsInt Rapita RapiTime EnCore ArcSim WCET Heiko 288 % LocalWords: Falk EmBounded Myreen CompCertTSO ADSIG ArtistDesign 306 % LocalWords: Frama AbsInt Rapita RapiTime EnCore ArcSim WCET Heiko HiPEAC 307 % LocalWords: Falk EmBounded Myreen CompCertTSO ADSIG ArtistDesign ACSL
Note: See TracChangeset
for help on using the changeset viewer.