The European Joint Conferences on Theory and Practice of Software (ETAPS) is a loose and open confederation of existing and new 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 Lisbon, ETAPS 99 in Amsterdam, ETAPS 2000 in Berlin, and ETAPS 2001 in Genova, ETAPS 2002 is the fifth joint conference in this series.

ETAPS Steering Committee

José Luiz Fiadeiro (Lisboa, Chairman), Don Sannella (Edinburgh, Treasurer), Andreas Podelski (Saarbrücken, Publicity chair), Andrzej Tarlecki (Poland), Susanne Graf (Grenoble), Egidio Astesiano (Genova), Ed Brinksma (Enschede), John Hatcliff (Kansas State), Joost-Pieter Katoen (Twente), Reinhard Wilhelm (Saarbrücken), R. Nigel Horspool (Victoria), Görel Hedin (Lund), Daniel Le Métayer (Trusted Logic, Paris), Pierpaolo Degano (Pisa), Hanne Riis Nielson (Århus), Heinrich Hußmann (Dresden), Mauro Pezzè (Milano), Herbert Weber (Berlin), Furio Honsell (Udine), Mogens Nielsen (Århus), Andy Gordon (Microsoft, Cambridge), Marie-Claude Gaudel (Paris), Hartmut Ehrig (Berlin), Roberto Gorrieri (Bologna), Ugo Montanari (Pisa), Paul Klint (Amsterdam).

Organizing Committee


VERIMAG
INRIA
LSR
LEIBNIZ
IMAG

Information maintained by Alain Girault