Submission:

The program will consist of invited and contributed presentations

To submit your presentation send the abstract of your talk in Latex using the template file

Selected papers will be published in a special issue of the

Journal of Symbolic Computation