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