We encourage submissions presenting work in progress, tools under development, as well as research of PhD students, such that the workshop can become a forum for active dialog between the groups involved in this new research area.

Submission (via the WING 2009 paper submission interface of EasyChair) is closed.

We thank all authors who have submitted their papers to WING 2009.

Important Dates

Publication

All submissions will be peer-reviewed by the programme committee. Accepted contributions will be published in archived electronic notes, as an EasyChair collection volume.

A special issue of the Journal of Symbolic Computation with full versions of selected papers will be published after the workshop.

Page maintained by Laura Kovács.