HPTS 2001: Position Paper Submissions