[isabelle] F-IDE 2014: Call for Papers
Call for Papers
- F-IDE 2014 -
First International Workshop on Formal Integrated Development
(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 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.
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
- Integration of Object-Oriented and modularity features
- Integration of static analysers
- Integration of automatic proof tools, theorem provers and testing
- 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, 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, CNAM - CÃ©dric / ENSIIE, <last name> (at) ensiie
* 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
This archive was generated by a fusion of
Pipermail (Mailman edition) and