[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]

[PVS] Deadline Reminder: Workshop on Invariant Generation (WING2010), Edinburgh, July 21, 2010



[Please post - apologies for multiple copies.]



--------------------------
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:

    http://www.easychair.org/easychair.zip