Changes between Version 7 and Version 8 of HiPEAC13


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

--

Legend:

Unmodified
Added
Removed
Modified
  • HiPEAC13

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