Submission Instructions

Submissions (papers or extended abstracts) should be prepared in LaTeX, formatted according to the Springer llncs style, and should not exceed 15 pages. Preliminary proceedings will be available at the workshop. At the workshop, it will be decided whether a special issue of the Journal of Symbolic Computation with full versions of selected papers will be published after the workshop.

Papers and abstracts have to be submitted electronically as portable document format (pdf) files via the EasyChair system: