Ecole Polytechnique Fédérale de Lausanne
WING 2009
english only
ETAPS 2009
Home Committee Submission Registration Accepted Papers Program

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

January 19, 2009: Submission deadline - Closed
February 23, 2009: Notification of acceptance
March 2, 2009: Camera ready copy deadline
March 29, 2009: WING 2009 in York, UK


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.