Dagstuhl Seminar Proceedings: Multi-Version Program Analysis 2005