--------------------------
W I N G 2010 - DEADLINE REMINDER
3nd International Workshop on INvariant Generation
--------------------------
July 21, 2010
Satellite Workshop of FLoC 2010
http://research.microsoft.com/en-us/events/wing2010/
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)
Submission
----------
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:
https://www.easychair.org/?conf=wing2010
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: