------- 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@ubi>
From: Sam Owre <owre@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
------------------------------------------------------------------------------
"Accelerate Dev Cycles with Automated Cross-Browser Testing - For FREE
Instantly run your Selenium tests across 300+ browser/OS combos. Get
unparalleled scalability from the best Selenium testing platform available.
Simple to use. Nothing to install. Get started now for free."
http://p.sf.net/sfu/SauceLabs
_______________________________________________
hol-info mailing list
hol-info@lists.sourceforge.net
https://lists.sourceforge.net/lists/listinfo/hol-info
