Download Stacs 2002: 19Th Annual Symposium On Theoretical Aspects Of Computer Science Antibes