EATCS and EAPLS will each offer a best paper award at ETAPS 2000. The papers will be nominated by the PC-chairmen of the five main ETAPS-conferences. The two awards will be given for the best paper from the EATCS resp. EAPLS point of view.

At ETAPS'98 and ETAPS'99 best paper awards wer given already by EAPLS (see http://www.cwi.nl/EAPLS/BestPapers/index.html).

The winners are:

The PROSPER toolkit

Louise A. Dennis, Graham Collins, Graham Robinson, Tom Melham (University of Glagow), Michael Norrish, Konrad Slind, Mike Gordon (University of Cambridge), Richard Boulton (University of Edinburgh)

Symbolic reachability analysis based on SAT solvers

Parosh Aziz Abdulla (Uppsala University), Per Bjesse, Niklas Eén (Chalmers University of Technology)

On rational graphs

Christophe Morvan (IRISA, Rennes)