pt.sta 31/10/08. edited URL & event date, keywords. Added: place of publication, publisher, title of published proceedings, verified from Sierra, moved from retired to live 25.10.19 -- MMM