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

[PVS] Call for Tool Papers: Workshop on Invariant Generation (WING2010), Edinburgh, July 21, 2010



[Please post - apologies for multiple copies.]


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.