European joint conferences on theory and practice of software. 2003. Satellite events : ETAPS, Warsaw, April 5 - 13 2003 ([s.n.], 2003)