14. ESOP 2005: Edinburgh, UK (Part of ETAPS 2005)