[Caml-list] [CFP] First International Workshop on Formal Integrated Development Environment.

[Caml-list] [CFP] First International Workshop on Formal Integrated Development Environment.

[François Pessaux]

[Please post - apologies for multiple copies.]

First Call for Papers

- F-IDE 2014 -

First International Workshop on Formal Integrated Development Environment 
(Satellite event of ETAPS)
April 6th, 2014, Grenoble, France
http://www.ensta-paristech.fr/~etaps/


WORKSHOP AIM
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

We encourage submissions presenting and discussing research efforts as well as experience returns on design, development, usage of tools aiming at making formal methods "easier" for non-specialists. 

In this context, the topics include (but are not limited to):

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


We encourage not only mature research results, submissions presenting 
innovative ideas and early results are also of interest.


SUBMISSIONS

Papers  (6-14 pages in length), following EPCTS format are expected.  They can be:

*    Research papers providing new concepts and results
*    Position papers and research perspectives
*    Experience reports
*    Tool presentations

Submissions will be done via Easychair: https://www.easychair.org/conferences/?conf=fide2014

PROCEEDINGS

Final versions of accepted papers will be published in a volume of the Electronic Proceedings in Theoretical Computer Science (EPTCS).


IMPORTANT DATES

*    Abstract submission : 18 December, 2013
*    Paper Submission : 23 December, 2013
*    Notification : 27 January, 2014
*    Final version  : 10 February, 2014
*    Workshop date:  April 6, 2014


PC CO-CHAIRS

*    Catherine Dubois, CNAM - Cédric / ENSIIE, <last name> (at) ensiie (dot) fr
*    Dimitra Giannakopoulou, NASA Ames, <first name> (dot) <last name> (at) nasa (dot) gov
*    Dominique Mery, LORIA / Université de Lorraine, <first name> (dot) <last name> (at) loria (dot) fr


Best regards,

  -- François PESSAUX
     Enseignant-chercheur
     ENSTA ParisTech
     Unité d'Informatique et d'Ingénierie des Systèmes
     Bureau : R328
     828 boulevard des Maréchaux, 91120 Palaiseau
     Tél: 01 81 87 20 73
     Email: francois.pessaux@ensta-paristech.fr