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

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)
Information maintained by Doris Fähndrich