F. Bihan,

;. ?-sandra-di-rocco, ). Kth-stockholm, and T. Theobald,

, For the preparation of this volume, we received the help from many people, whom we would like to thank cordially. Particular thanks to the authors of the papers for their submissions and to the anonymous referees, who provided valuable advice to assess the submissions comprehensively. Finally, we are grateful to the editor-in-chief of the Journal of Symbolic Computation, Hoon Hong