European Symposium on Programming (16th 2007 Braga, Portugal)