Etaps'04: European Joint Conferences on Theory and Practice of Software