ESOP 2001, European Symposium On Programming
FASE 2001, Fundamental Approaches to Software Engineering
FOSSACS 2001,
Foundations of Software Science and Computation Structures
TACAS 2001,
Tools and Algorithms for the Construction and Analysis of Systems
CC 2001: International Conference on Compiler Construction
Chair:
Reinhard Wilhelm
PROGRAM
Chair: David Sands
PROGRAM
Chair:
Heinrich Hußmann
PROGRAM
Chair:
Furio Honsell
PROGRAM
Chairs:
Tiziana Margaria
and
Wang Yi
PROGRAM
EATCS (European Association for for Theoretical Computer Science), EAPLS (European Association for Programming Languages and Systems) and EASST (European Association on Software Science and Technology) offer best paper awards at ETAPS 2001.