The European Joint Conferences on Theory and Practice of Software (ETAPS) is a loose and open confederation of conferences and other events that has become the primary European forum for academic and industrial researchers working on topics relating to Software Science. After ETAPS'98 in Lisboa, ETAPS'99 in Amsterdam, ETAPS 2000 in Berlin, ETAPS 2001 in Genova is the fourth joint conference in this series.

ETAPS Steering Committee

Don Sannella (Edinburgh, Chairman), Egidio Astesiano (Genova), Ed Brinksma (Enschede), Pierpaolo Degano (Pisa), Hartmut Ehrig (Berlin), José Luiz Fiadeiro (Lisboa), Marie-Claude Gaudel (Paris), Susanne Graf (Grenoble), Furio Honsell (Udine), R. Nigel Horspool (Victoria), Heinrich Hußmann (Dresden), Paul Klint (Amsterdam), Daniel Le Mètayer (Rennes), Tom Maibaum (London), Tiziana Margaria (Dortmund), Ugo Montanari (Pisa), Mogens Nielsen (Århus), Hanne Riis Nielson (Århus), Fernando Orejas (Barcelona), Andreas Podelski (Saarbrücken), David Sands (Göteborg), Perdita Stevens (Edinburgh), Jerzy Tiuryn (Warszawa), David Watt (Glasgow), Herbert Weber (Berlin), Reinhard Wilhelm (Saarbrücken)

Organizing Committee

Supported by

ACM EAPLS EASST EATCS
ELSAG Fondazione CARIGE INDAM-GNIM Marconi
Micorsoft 
		      Research Consiglio Regionale della Liguria Telecom TXT e-solutions Universita' di 
		      Genova