We are proud to present the following two invited talks:

• Markus Püschel (ETH Zürich, Switzerland): Compiling Math to High Performance Code
  
  

• Martin Berger (University of Sussex, UK): Specification and verification of meta-programs