VeriSure 2014 Call for Papers

[Sam Owre]

------- Blind-Carbon-Copy

Subject: VeriSure 2014 Call for Papers
X-Mailer: MH-E 8.5; nmh 1.3; GNU Emacs 23.3.1
Date: Thu, 01 May 2014 17:42:30 -0700
Message-ID: <25377.1398991350 at ubi>
From: Sam Owre <owre at ubi>
Bcc: Blind Distribution List: ;

VeriSure 2014: CAV Workshop on Verification and Assurance
               23 July 2014 in Vienna, Austria

               http://fm.csl.sri.com/VeriSure2014/

             Call for Papers/Proposals/Participation

VeriSure is a workshop whose goal is a productive dialog between those
who develop and use computer-aided verification tools and methods, and
those with responsibility for system assurance, acceptance, and
certification.

We solicit position papers, experience reports, and research papers on
relevant topics, which include but are not restricted to the following.

* Quantitative and qualitative assurance claims and arguments
* Verification and proof in relation to argumentation and defeasibility
* Integration of formal verification with assurance cases
* Modular and incremental methods of verification and assurance
* Toolchains for integrated assurance arguments
* Soundness guarantees for tools, toolchains, and workflows
* Certification and regulatory requirements and standards
* Experience reports and challenges

We are looking for interesting experience, work, and ideas (possibly
preliminary and exploratory) that will stimulate discussion and thought.


The workshop will be held as part of the Vienna Summer of Logic
http://vsl2014.at/, under the auspices of CAV, the 26th International
Conference on Computer Aided Verification http://cavconference.org/

This will be the second VeriSure workshop; the first was held in
conjunction with CAV 2013 in St Petersburg, Russia.  You can see the
program at http://fm.csl.sri.com/VeriSure2013/

Organizer

* John Rushby, SRI International, USA

Workshop Committee

* Paul Curzon, Queen Mary University of London, UK
* Ewan Denney, NASA Ames Research Center, USA
* Felicita Di Giandomenico, ISTI-CNR, Italy
* Leo Freitas, Newcastle University, UK
* Connie Heitmeyer, Naval Research Laboratory, USA
* Hardi Hungar, DLR Germany
* Tim Kelly, University of York, UK
* Yoshiki Kinoshita, Kanagawa University, Japan
* Florent Kirchner, CEA, France
* Michael Paulitsch, Airbus, Germany
* Simin Nadjm-Tehrani, Linkopings Universitet, Sweden
* Mark Staples, NICTA and UNSW, Australia
* Wilfried Steiner, TTTech, Austria
* Willem Visser, Stellenbosch University, South Africa
* Naijun Zhan, Institute of Software, Chinese Academy of Science, China

Important Dates

* Position papers due   26 May  2014
* Reviews/decisions      6 June 2014
* Final versions due early July 2014
* VeriSure Workshop     23 July 2014

For more detail and submission instructions, go to
  http://fm.csl.sri.com/VeriSure2014/

------- End of Blind-Carbon-Copy