Compiler Optimization Meets Compiler Verification COCV 2006

Keynote Speeches

COCV 2006 proudly announces this year's keynote speakers:

Robert Charles Morgan, IBM, USA, who is going to speak on
- Practical Applications of Compiler Verification Techniques in Developing Production Optimizing Compilers
Hans Langmaack, Christian-Albrechts-Universität zu Kiel, Germany, who is going to speak on
- What Level of Mathematical Reasoning can Computer Science Demand of a Software Implementer
We are happy that Hans Langmaack can join us at COCV 2006 in Vienna and deliver his keynote speech he was prevented to give at COCV 2005 in Edinburgh because of a desease.