Changes between Version 3 and Version 4 of HiPEAC13


Ignore:
Timestamp:
Dec 21, 2012, 4:36:40 PM (7 years ago)
Author:
campbell
Comment:

--

Legend:

Unmodified
Added
Removed
Modified
  • HiPEAC13

    v3 v4  
    11= !CerCo: Certifying Costs in a Certified Compiler =
    22== HiPEAC 2013 half-day workshop ==
     3=== Wednesday 23rd January 2013 ===
    34
    45The !CerCo workshop considers the construction of formally verified compilers
     
    4849=== Organizers and their affiliations ===
    4950
    50 You can contact the organisers at [mailto:cerco-workshop@inf.ed.ac.uk].
     51You can contact the organisers at [mailto:cerco-workshop@inf.ed.ac.uk cerco-workshop@inf.ed.ac.uk].
    5152
    5253 * [http://www.cs.unibo.it/~sacerdot Claudio Sacerdoti Coen], University of Bologna, Italy