[isabelle] F-IDE 2015 - CALL FOR PAPERS

               F-IDE 2015 - CALL FOR PAPERS

      The 2nd Formal Integrated Development Environment Workshop
                          (F-IDE 2015)
                  22 June 2015, Oslo, Norway


The 2nd Formal Integrated Development Environment Workshop (F-IDE 2015) will be held in Oslo, Norway, in June, 2015.

High levels of safety, security and also privacy standards require the use of formal methods to specify and develop compliant software (sub)systems. Any standard comes with an assessment process, which requires a complete documentation of the application in order to ease the justification of design choices and the review of code and proofs.

Ideally, an F-IDE dedicated to such developments should comply with several requirements. The first one is to associate a logical theory with a programming language, in a way that facilitates the tightly coupled handling of specification properties and program constructs. The second one is to offer a language/environment simple enough to be usable by most developers, even if they are not fully acquainted with higher-order logics or set theory, in particular by making development of proofs as easy as possible. The third one is to offer automated management of application documentation. It may also be expected that developments done with such an F-IDE are reusable and modular. Moreover, tools for testing and static analysis may be embedded in this F-IDE, to help address most steps of the assessment process.

The workshop is opened to contributions on all aspects of a system development process, including specification, design, implementation, analysis and documentation. It should allow the presentation of tools, methods, techniques and experiments. Topics of interest include, but are not limited to, the following:

â F-IDE building: design and integration of languages, compilation
â How to make high-level logical and programming concepts palatable to industrial developers
â Integration of Object-Oriented and modularity features
â Integration of static analyzers
â Integration of automatic proof tools, theorem provers and testing tools
â Documentation tools
â Impact of tools on certification
â Experience reports of developing F-IDE
â Experience reports of using F-IDE
â Experience reports of formal methods-based assessments of industrial applications

Papers must be written in English, not exceed 15 pages in LNCS format, not counting references, and follow the FM 2015 Format and Submission Guidelines.

They can be:
- Research papers providing new concepts and results
- Position papers and research perspectives
- Experience reports
- Tool presentations

Papers can be submitted through Easychair: https://easychair.org/conferences/?conf=fide2015

- Preliminary proceedings, including all the papers selected for the workshop, will be available electronically at the workshop.
- Post proceedings are under consideration as Electronic Proceedings in Theoretical Computer Science (ETPCS) proceedings.

Abstract submission:  March 24, 2015 (23h59 GMT)
Paper submission:     March 31, 2015 (23h59 GMT)
Notification:         April 30, 2015
Camera-ready:         May 15, 2015
Workshop:             June 22, 2015

Catherine Dubois     ENSIIE, Cedric, catherine (dot) dubois (at) ensiie (dot) fr
Paolo Masci          Queen Mary University of London, paolo (dot) masci (at) eecs (dot) qmul (dot) ac (dot) uk
Dominique Mery       Università de Lorraine, dominique (dot) mery (at) loria (dot) fr

PC MEMBERS (to be completed)
Bernhard Beckert     Karlsruhe Institute of Technology
Jose     Campos      Universidade do Minho
Paul     Curzon      Queen Mary University of London
Carlo Alberto Furia  ETH Zurich
Therese  Hardin      UPMC
Rustan   Leino       Microsoft Research
Michael  Leuschel    University of Dusseldorf
Claude   Marche      INRIA
Stefan   Mitsch      Carnegie Mellon University
Patrick  Oladimeji   Swansea University
Suzette  Person      NASA Langley Research Center
Francois Pessaux     ENSTA ParisTech
Marie-Laure Potet    Laboratoire Verimag
Steve    Reeves      Waikato University
John     Rushby      SRI International
Rene     Thiemann    University of Innsbruck
Boris    Yakobowski  CEA LIST

This archive was generated by a fusion of Pipermail (Mailman edition) and MHonArc.