[TYPES/announce] Call for Papers - F-IDE 2014 - ETAPS Workshop - April 6th, 2014, Grenoble, France

Dubois Catherine dubois at ensiie.fr
Mon Oct 14 10:09:44 EDT 2013

[Please apologies for multiple copies.]

Call for Papers - F-IDE 2014 - April 6th, 2014, Grenoble, France

Call for Papers
First International Workshop on Formal Integrated Development Environments
(Satellite event of ETAPS)
April 6th, 2014, Grenoble, France


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, code review 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 and as readable  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 andstatic analysis
may be embedded in this F-IDE, to address most steps of the assessment


We encourage submissions presenting and discussing research efforts as
well as experience feedbacks on design, development, use 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 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

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


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:


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


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


- Catherine Dubois, Cédric / ENSIIE, <first name> (dot) <lastname> (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

More information about the Types-announce mailing list