Frama-C-discuss mailing list archives

This page gathers the archives of the old Frama-C-discuss archives, that was hosted by Inria's gforge before its demise at the end of 2020. To search for mails newer than September 2020, please visit the page of the new mailing list on Renater.

[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]

[Frama-c-discuss] Call for papers: F-IDE workshop at ETAPS

  • Subject: [Frama-c-discuss] Call for papers: F-IDE workshop at ETAPS
  • From: Claude.Marche at inria.fr (Claude Marché)
  • Date: Wed, 04 Dec 2013 16:36:20 +0100
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




-- 
Claude March?                          | tel: +33 1 72 92 59 69
INRIA Saclay - ?le-de-France           |
Universit? Paris-sud, Bat. 650         | http://www.lri.fr/~marche/
F-91405 ORSAY Cedex                    |