<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>