Changes between Version 8 and Version 9 of HiPEAC13


Ignore:
Timestamp:
Jan 11, 2013, 5:05:02 PM (7 years ago)
Author:
sacerdot
Comment:

--

Legend:

Unmodified
Added
Removed
Modified
  • HiPEAC13

    v8 v9  
    11= !CerCo: Certifying Costs in a Certified Compiler =
    2 == HiPEAC 2013 half-day workshop [[Image(logo-hipeac.png)]]==
     2== HiPEAC 2013 half-day workshop == [[Image(logo-hipeac.png, 120px)]]
    33=== Wednesday 23rd January 2013 ===
    44