European Joint Conferences on Theory and Practice of Software (ETAPS 2002)