Call for Tool Papers, Case Studies

--------------------------
W I N G 2010

3nd International Workshop on INvariant Generation
--------------------------

July 21, 2010
University of Edinburgh, UK
Satellite Workshop of FLoC 2010

http://research.microsoft.com/en-us/events/wing2010/




Call for Tool and Case Study Demonstrations
-------------------------------------------

We encourage ONE-PAGE ABSTRACT submissions of
tool descriptions and case studies for demonstration
at WING 2010.

Topics of interest include, but are not limited to:

- 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


Important Dates
---------------

April 23, 2010: Abstract submission deadline
April 27, 2010: Notification of acceptance
July 21, 2010: WING 2010 in Edinburgh, UK


Submission
----------

Submissions need not be original.
Extended versions of submissions may be submitted
concurrently with or after WING 2010 to another conference or a journal.


Submission is via EasyChair:

https://www.easychair.org/?conf=wing2010

by selecting the "Tools and Case studies" submission category.


Please submit a ONE-PAGE abstract 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



Keynote Speakers
----------------

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


Committee
-----------------

Program Chairs:

Nikolaj Bjorner (Microsoft Research, US)
Laura Kovacs (Vienna University of Technology, Austria)


Program Committee:
Enric Rodríguez Carbonell (Technical University of Catalonia, Spain)
Martin Giese (University of Oslo, Norway)
Jens Knoop (Vienna University of Technology, Austria)
Francesco Logozzo (Microsoft Research, USA)
Wolfgang Schreiner (RISC-Linz, Austria)
Andrey Rybalchenko (Technical University of Munich, Germany)
Helmut Veith (Vienna University of Technology, Austria)
Thomas Wies (IST, Austria)



Publication
-----------

Extended versions of accepted contributions
may be submitted later to the
WING 2010 Special Issue of the Journal of Symbolic Computation.