4th International Workshop on Invariant Generation
Submission
We encourage one-page abstract submissions on work in progress, new ideas, tools under development, as well as work by PhD students, to be presented at WING 2012.
Submissions need not be original. Extended versions of submissions may have been published previously, or submitted concurrently with or after WING 2012 to another workshop, conference or a journal.
Submission is by email to:
wing2012@easychair.org
Please submit a one-page abstract in PDF.
Publication
Extended versions of accepted contributions may be submitted to a special issue of the Journal of Science of Computer Programming. See the call for papers for further details.
Student Support
Students attending the workshop will pay a reduced fee, and the difference will be reimbursed after the workshop.