Computers, DNA 2000, Leiden, The Netherlands, June 13-17, 2000. Revised Papers