[FM-India] cfp special issue SCP on AVoCS 2014

Madhavan Mukund madhavan at cmi.ac.in
Sat Jan 24 09:35:44 IST 2015

 Date: Fri, 23 Jan 2015 20:24:55 +0000
 From: j.c.vandepol at utwente.nl
 To: j.c.vandepol at utwente.nl
 Subject: cfp special issue SCP on AVoCS 2014
 Call For Papers
 Science of Computer Programming
 Special Issue on Automated Verification of Critical Systems (AVoCS?14)
 Guest editors: Marieke Huisman, Jaco van de Pol
 Submission deadline: 1 May 2015
 Notification: 30 September 2015
 This special issue is devoted to the scope of the international
 workshop on Automated Verification of Critical Systems (AVoCS 2014 -
 see http://www.utwente.nl/avocs2014), which the University of Twente
 hosted in September 2014. AVoCS is devoted to tools and techniques for
 the verification of critical systems. These topics are to be
 interpreted broadly and inclusively.
 Typical, but not exclusive topics of interest are:
 - Model Checking
 - Automatic and Interactive Theorem Proving
 - SAT, SMT and Constraint Solving for Verification
 - Abstract Interpretation
 - Specification and Refinement
 - Requirements Capture and Analysis
 - Verification of Software and Hardware
 - Specification and Verification of Fault Tolerance and Resilience
 - Probabilistic and Real-Time Systems
 - Dependable Systems
 - Verified System Development
 - Industrial Applications
 Submission to this special issue is completely open. We expect
 original articles (typically 20-30 pages) that present high-quality
 contributions that have not been previously published in an archival
 venue and that must not be simultaneously submitted for publication
 elsewhere. Submissions will be thoroughly reviewed by at least 2-3
 Submissions must comply with SCP's author guidelines and be written in English.
 Submission is via the SCP website: http://ees.elsevier.com/scico/
 You will need to register first if you do not have an account
 already. When submitting your paper please choose the article type
 "Special Issue: AVOCS 2014" (towards the bottom of the list).
 Kind regards,
 Marieke Huisman & Jaco van de Pol, guest editors
 Prof.dr. J.C. van de Pol,  chair Formal Methods and Tools
 Universiteit Twente, P.O. Box 217, 7500 AE  Enschede, The Netherlands
 mailto:vdpol at cs.utwente.nl,    http://www.cs.utwente.nl/~vdpol
 tel: +31 53 489 3017  fax: +31 53 489 3247  secr: +31 53 489 3767

More information about the FMIndia mailing list