The ability to automatically extract and synthesize auxiliary
properties of programs has had a profound effect on program analysis,
testing, and verification over the last several decades. A key
impediment for program verification is the overhead associated with
providing, debugging, and verifying auxiliary invariant
annotations. This workshop aims to bring together researchers from
the diverse field of invariant generation to discuss recent developments.

Scope
-----

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.