ETAPS 2003 The European Joint Conferences on Theory and Practice of Software