The 2nd Formal Integrated Development Environment Workshop (F-IDE 2015)

​******************************************************************
                F-IDE 2015 - CALL FOR PAPERS
******************************************************************

       The 2nd Formal Integrated Development Environment Workshop
                           (F-IDE 2015)
                   22 June 2015, Oslo, Norway
            http://www.eecs.qmul.ac.uk/~masci/fide2015

******************************************************************

--------
OVERVIEW
--------
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.

------
TOPICS
------
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

----------
SUBMISSION
----------
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


-----------
PROCEEDINGS
-----------
- 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.

---------------
IMPORTANT DATES
---------------
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

-----------------
PC CO-CHAIRS
-----------------
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