Changes between Version 3 and Version 4 of HiPEAC13
- Timestamp:
- Dec 21, 2012, 4:36:40 PM (8 years ago)
Legend:
- Unmodified
- Added
- Removed
- Modified
-
HiPEAC13
v3 v4 1 1 = !CerCo: Certifying Costs in a Certified Compiler = 2 2 == HiPEAC 2013 half-day workshop == 3 === Wednesday 23rd January 2013 === 3 4 4 5 The !CerCo workshop considers the construction of formally verified compilers … … 48 49 === Organizers and their affiliations === 49 50 50 You can contact the organisers at [mailto:cerco-workshop@inf.ed.ac.uk ].51 You can contact the organisers at [mailto:cerco-workshop@inf.ed.ac.uk cerco-workshop@inf.ed.ac.uk]. 51 52 52 53 * [http://www.cs.unibo.it/~sacerdot Claudio Sacerdoti Coen], University of Bologna, Italy