[Om-announce] Deadline Reminder: Workshop on Invariant Generation (WING 2010), Edinburgh, July 21, 2010

Laura Kovacs lkovacs at complang.tuwien.ac.at
Wed Mar 17 21:48:38 CET 2010

[Please post - apologies for multiple copies.]


3nd International Workshop on INvariant Generation

July 21, 2010
Satellite Workshop of FLoC 2010


Important Dates

March  19, 2010: Submission deadline
April 23, 2010:  Notification of acceptance
May  7, 2010:    Camera-ready copy deadline
July  21, 2010:  WING 2010 in Edinburgh, UK

Keynote Speakers

Sumit Gulwani (Microsoft Research, US)
Helmut Seidl  (Technical University of Munich, Germany)


Relevant topics include (but are not limited to) the following:

- Program analysis and verification
- Inductive Assertion Generation
- Inductive Proofs for Reasoning about Loops
- Applications to Assertion Generation using the following tools:
  - Abstract Interpretation,
  - Static Analysis,
  - Model Checking,
  - Theorem Proving,
  - Algebraic Techniques
- Tools for inductive assertion generation and verification
- Alternative techniques for reasoning about loops

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 is via EasyChair:


Please submit research reports up to 15 pages in PDF,
conforming to the format produced by LaTeX using the
easychair.cls class file of EasyChair.
The class style may be downloaded at:


More information about the Om-announce mailing list