Submissions should not exceed 15 pages in length (not including the bibliography which is thus not restricted), but may be supplemented with a clearly marked appendix, which will be reviewed at the discretion of the program committee.