[TYPES/announce] F-IDE 2015: Call for papers (FM2015 Workshop)

[catherine.dubois at ensiie.fr]

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