|WING -- Community of the Workshop on Invariant Generation
This list will be used for postings that are of interest to the community of researchers working on invariant generation and other methods for reasoning about loops. In particular, the organization of future instances of the WING workshop will be discussed over this list.
To see the collection of prior postings to the list, visit the WING Archives.
To post a message to all the list members, send email to
You can subscribe to the list, or change your existing subscription, in the sections below.
|Subscribing to WING
Subscribe to WING by filling out the following form.