We are proud to present the following three invited talks: * [[http://phoenix.inria.fr/charles-consel][Charles Consel]] (INRIA/LaBRI/University of Bordeaux, France): *DiaSuite: A Paradigm-Oriented Software Development Approach* %BR%%BR% * [[http://www.brics.dk/~danvy/][Olivier Danvy]] (Aarhus University, Denmark): *A Walk in the Semantic Park* %BR%%BR% * [[http://people.csail.mit.edu/rinard/][Martin Rinard]] (MIT, USA): *Probabilistic Accuracy Bounds for Perforated Programs* %BR%%BR%