[ecoop-info] Call for Tool Papers: Workshop on Invariant Generation (WING 2010), Edinburgh, July 21, 2010

Laura Kovacs lkovacs at complang.tuwien.ac.at
Mon Mar 29 08:42:28 CEST 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


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


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:


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:


Keynote Speakers

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


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)


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

More information about the ecoop-info mailing list