As in preceeding years, EATCS, EAPLS and EASST offered each a best paper award at ETAPS 2002. This years, the organizers have offered also a best tool demo award. All papers have been nominated by the PC-chairmen of the five main ETAPS-conferences, and then a committee of each organisation has made the final selection.
The award winners have been announced during the ETAPS conference dinner at Chateau Sassenage:

• EATCS:
  E. Godard and Y. M'etivier (Bordeaux, France) ,
  Characterization of Families of Graphs in which Election is Possible
  (FOSSACS paper)



• EAPLS:
  M. Kandemir, I. Kolcu and I. Kadayif ,
  Influence of Loop Optimizations on Energy Consumption of Multi-Bank Memory Systems
  (CC paper)



• EASST:
  K. Havelund, G. Rosu (NASA Ames Research Center) ,
  Synthesizing Monitors for Safety Properties
  (TACAS paper)



• Organiser's tool demo award:
  T. Amnell, E. Fersman, L. Mokrushin, P. Petterson, Wang Yi (Uppsala University) ,
  TIMES - A Tool for Modelling and Implementation of Embedded Systems
  (TACAS paper)