<div dir="ltr"><div>******************************************************************************</div><div><br></div><div><span class="" style="white-space:pre">               </span> PROHA 2016 -- CALL FOR PARTICIPATION</div><div><br></div><div><span class="" style="white-space:pre">    </span>   Â  Â  First Workshop on Program Transformation</div><div><span class="" style="white-space:pre">        </span>  for Programmability in Heterogeneous Architectures</div><div><br></div><div><span class="" style="white-space:pre">            </span>   Â Website: <a href="http://goo.gl/RzGbzY">http://goo.gl/RzGbzY</a></div><div><br></div><div><span class="" style="white-space:pre">             </span>   Â  Â Barcelona, 12th March 2016</div><div><span class="" style="white-space:pre">       </span>   Â  Â In conjunction with the CGO'16 Conference</div><div><br></div><div><span class="" style="white-space:pre">   </span>==== Early Bird Registration: February 3rd, 2016 ====</div><div> </div><div><span class="" style="white-space:pre">     </span>   Â  Â  For registration information, please see</div><div><span class="" style="white-space:pre">                </span> <a href="http://cgo.org/cgo2016/registration/">http://cgo.org/cgo2016/registration/</a></div><div><br></div><div>******************************************************************************</div><div><br></div><div>The PROHA Â workshop focuses on Â techniques and foundations to Â make it</div><div>possible Â to perform Â source Â code transformations Â that preserve Â the</div><div>intended Â semantics Â of Â the original Â code Â and Â improve Â efficiency,</div><div>portability Â or Â maintainability. Â  The Â topics of Â interest Â for Â the</div><div>workshop Â include, Â non-exclusively: Â program annotations Â to Â capture</div><div>algorithmic Â properties Â  and intended Â code Â  semantics; Â programming</div><div>paradigms Â able to Â express Â underlying Â (mathematical) properties Â of</div><div>code; usage Â of dynamic and Â static mechanisms to infer Â relevant code</div><div>properties; Â  transformations Â which Â  preserve Â intended Â  semantics;</div><div>strategies Â to Â apply Â transformations; heuristics Â to Â guide Â program</div><div>transformation and techniques to Â synthesize / learn these heuristics;</div><div>tools supporting the aforementioned topics.</div><div><br></div><div>Venue: Gran Hotel Princesa Sofia, Barcelona, Spain.</div><div><br></div><div>Please consult the workshop website (<a href="http://goo.gl/RzGbzY">http://goo.gl/RzGbzY</a>) for an</div><div>up-to-date program.</div><div><br></div><div>******************************************************************************</div><div><br></div></div>