12th International Conference, CC 2003, Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2003, Warsaw, Poland, April 7-11, 2003, Proceedings

6th International Workshop, HSCC 2003 Prague, Czech Republic, April 3-5, 2003, Proceedings

Third International Conference, ICVS 2003, Graz, Austria, April 1-3, 2003, Proceedings

New Techniques and Algorithms for Symbolic Program Analysis and Optimization

Second International Conference, SNSC 2001, Hagenberg, Austria, September 10-11, 2001, Revised Papers

25th European Conference on IR Research, ECIR 2003, Pisa, Italy, April 14-16, 2003, Proceedings

Second International Workshop, IPSN 2003, Palo Alto, CA, USA, April 22-23, 2003, Proceedings

Essays in Memory of Ole-Johan Dahl

4th International Workshop, LSO 2002, Chicago, IL, USA, August 6, 2002, Revised Papers

Second International Workshop, TYPES 2002, Berg en Dal, The Netherlands, April 24-28, 2002, Selected Papers