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

[PVS] WING 2012: Call for Presentations

[Please post - apologies for multiple copies.]

WING 2012 - 4th International Workshop on INvariant Generation
          June 30, 2012
Manchester, UK (a satellite Workshop of IJCAR 2012)
  --- Call for Presentations ---


The ability to automatically extract and synthesize auxiliary
properties of programs has had a profound effect on program analysis,
testing, and verification over the last several decades. A key
impediment for program verification is the overhead associated with
providing, debugging, and verifying auxiliary invariant
annotations. This workshop aims to bring together researchers from 
the diverse field of invariant generation to discuss recent developments. 


We encourage ONE-PAGE ABSTRACT submissions on work in
progress, new ideas, tools under development, as well as 
work by PhD students, to be presented at WING 2012.

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,
- Theory Formation,
- Algebraic Techniques
* Tools for inductive assertion generation and verification
* Alternative techniques for reasoning about loops


Submissions need not be original. Extended versions of submissions
may have been published previously, or submitted concurrently with 
or after WING 2012 to another workshop, conference or a journal.

Submission is by email to:


Please submit a ONE-PAGE abstract in PDF.

Important Dates

Submission deadline: May 15, 2012
Notification of acceptance: May 18, 2012
Workshop: June 30, 2012

Invited Speakers

* Aditya Nori (Microsoft Research)


Program Chairs:

* Gudmund Grov (University of Edinburgh, UK)
* Thomas Wies (New York University, USA)

Program Committee:

* Clark Barrett (New York University, USA) 
* Nikolaj Bjorner (Microsoft Research, USA)
* Gudmund Grov (University of Edinburgh, UK)
* Ashutosh Gupta (IST Austria)
* Bart Jacobs (Katholieke Universiteit Leuven, Belgium) 
* Moa Johansson (Chalmers University of Technology, Sweden)
* Laura Kovacs (Vienna University of Technology, Austria)
* David Monniaux (VERIMAG, France)
* Enric Rodriguez Carbonell (Technical University of Catalonia, Spain) 
* Helmut Veith (Vienna University of Technology, Austria)
* Thomas Wies (New York University, USA)

Student Support

Students will pay a reduced fee, and the difference will be reimbursed 
after the workshop.   


Extended versions of accepted contributions may be submitted later to
a special issue of the Journal of Science of Computer Programming.

The University of Edinburgh is a charitable body, registered in
Scotland, with registration number SC005336.