[TYPES/announce] CfP: Practical Formal Verification for Software Dependability Workshop (AFFORD'19)

Eunsuk Kang eunsukk at andrew.cmu.edu
Tue May 14 23:20:36 EDT 2019


CALL FOR PAPERS
===============================================================================
Workshop on Practical Formal Verification for Software Dependability (AFFORD'19), Porto, Portugal, https://sites.google.com/site/affordworkshop <https://sites.google.com/site/affordworkshop>

Co-located with Formal Methods 2019 (FM'19), 7th October, 2019


IMPORTANT DATES:
===============================================================================

Submission due: June 30th, 2019
Authors notification: July, 31th, 2019
Camera ready: August 15th, 2019 

===============================================================================

For a large majority of software engineers and developers, formal verification techniques are seen rather
as expert tools and not as engineering tools that can be used on a daily basis. This is mostly the case in
the context of main stream systems (e.g. automotive, medical, industrial automation) where pragmatics
(e.g. personnel skills, cost structures, deadlines, existent processes, existent organization, legacy code)
plays a major role.

This workshop aims to build a community interested in the application of formal verification techniques
to increase dependability of software intensive systems, by developing and promoting approaches,
techniques and tools that can be understood and applied by practicing engineers – without special
education in formal methods. Specifically, we aim to bring together researchers and practitioners 
interested in lowering the adoption barrier to use formal verification for the development of dependable
software. We especially focus on the needs of main stream developers that do not (necessarily) work
on highly safety critical systems but on more main stream systems that still need to be dependable.


TOPICS OF INTEREST include but are not limited to:

- increase software dependability by using formal verification
- lowering the adoption barrier of formal verification by practicing engineers
- using formal verification results as evidence for certification
- complementing formal verification with reviews and tests
- measuring the confidence gained even when incomplete or unsound verification is used
- process-phase specific formal verification techniques: from requirements engineering to deployment and software maintenance
- integrating formal verification with agile development
- using formal verification in the development of low criticality systems
- domain specific formal verification (e.g. embedded systems, web applications)
- use of ”invisible” formal techniques like type-systems
- evaluate and increase the usability of formal verification tooling (e.g. specification of verification conditions, interpretation of verification results, specification of the environment)
- using domain specific languages and model based development to improve the usability of verification
- tools that provide a high degree of automation
- integration of formal techniques in development environments
- industrial experiences with using formal verification in contexts as described above
- experience about failures to apply suitable verification in an industrial context

Papers must be written in English, and be formatted according to the Springer LNCS format. Full papers 
must not exceed 10 pages and short papers 5 pages. Full papers should describe complete research 
results related to the topics of the workshop, whereas short papers can contain work in progress or 
novel ideas. We put special focus on the potential of the proposed approaches to address the needs 
of practitioners. After rigorous review, all the accepted papers will published by Springer in the 
FM Workshops Post-Proceedings Lecture Notes in Computer Science.

Paper submission will be done electronically through EasyChair – 
https://easychair.org/conferences/?conf=afford19 <https://easychair.org/conferences/?conf=afford19> 

Submission implies the willingness of at least one of the authors to register and present the paper, if accepted. 

PROGRAM COMMITTEE:
===============================================================================
- Toshiaki Aoki, JAIST, Japan
- Paolo Arcaini, NII, Japan
- Sebastian Fischmeister, University of Waterloo, Canada
- Marc Frappier, Universite de Sherbrooke, Canada
- Alessandro Fantechi, Università di Firenze, Italy
- Stefania Gnesi, ISTI, Italy
- Rajeev Joshi, Amazon Web Services, USA
- Eunsuk Kang, CMU, USA
- Florent Kirchner, CEA List, France
- Mark Lawford, McMaster, Canada
- Thierry Lecomte, ClearSy, France
- Dominique Mery, LORIA, France 
- Ravi Metta, TCS, India
- Vincent Nimal, Microsoft, USA
- Marco Roveri, FBK, Italy
- Neeraj Singh, ENSEEITH, France

ORGANIZING COMMITTEE:
===============================================================================
- Fuyuki Ishikawa, National Institute of Informatics, Japan
- Daniel Ratiu, Siemens, Germany
- Alexander Romanovsky, Newcastle University, United Kingdom 
- Alan Wassyng, McMaster University, Canada
-------------- next part --------------
An HTML attachment was scrubbed...
URL: <http://LISTS.SEAS.UPENN.EDU/pipermail/types-announce/attachments/20190514/ce82febc/attachment-0001.html>


More information about the Types-announce mailing list