4th International Workshop on Invariant Generation
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:
Please submit a one-page abstract in PDF.
Students attending the workshop will pay a reduced fee, and the difference will be reimbursed after the workshop.