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

[PVS] SCP Special Issue on Invariant Generation - Final Call for Papers [1 month to go]



(Apologies if you receive multiple copies of this announcement)
------------------------------------------------------------
Science of Computer Programming
Special Issue on Invariant Generation
-- FINAL CALL FOR PAPERS  [1 month to go] -- 
------------------------------------------------------------

This special issue is devoted to the 4th international Workshop on
Invariant Generation (WING 2012)

http://cs.nyu.edu/acsys/wing2012/

which was held on June 30 2012 in Manchester as a satellite event of
IJCAR 2012. The scope of the workshop is the automation of extracting
and synthesising auxiliary properties of programs, in particular
providing, debugging, and verifying auxiliary invariant annotations.
This should be seen in a broad sense and 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:
- 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

Submission to this special issue is completely open. We expect
original articles (typically not more than 30 pages) that present
high-quality contributions and must not be simultaneously submitted
for publication elsewhere. Submission of extended versions of
previously published papers is possible as long as the extension is
significant, i.e., the submission can be considered a new paper, the
previous paper is referenced, and the new material is clearly marked.

Submissions must comply with SCP's author guidelines

http://www.elsevier.com/wps/find/journaldescription.cws_home/505623/authorinstructions

and be written in English. Submission is over the SCP website:

http://ees.elsevier.com/scico/default.asp

which you will have to register for if you do not have an account.
When submitting your paper please choose the article type "Special issue: WING 2012".


IMPORTANT DATES
---------------
* Submission of papers: February 11, 2013.
* Notification: April 26, 2013.

GUEST EDITORS
--------------
* Gudmund Grov (Heriot-Watt University, UK)
* Thomas Wies (New York University, USA)

CONTACT
--------------
Please send any queries you may have to:

wing2012@xxxxxxxxxxxxx



----- 
Sunday Times Scottish University of the Year 2011-2013
Top in the UK for student experience
Fourth university in the UK and top in Scotland (National Student Survey 2012)


We invite research leaders and ambitious early career researchers to 
join us in leading and driving research in key inter-disciplinary themes. 
Please see www.hw.ac.uk/researchleaders for further information and how
to apply.

Heriot-Watt University is a Scottish charity
registered under charity number SC000278.