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
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
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)