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] F-IDE 2015: Call for papers (FM2015 Workshop)

  • Subject: [Frama-c-discuss] F-IDE 2015: Call for papers (FM2015 Workshop)
  • From: boris at (Boris Yakobowski)
  • Date: Fri, 20 Mar 2015 15:33:10 +0100

                F-IDE 2015 - CALL FOR PAPERS

       The 2nd Formal Integrated Development Environment Workshop
                           (F-IDE 2015)
                   22 June 2015, Oslo, Norway


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.

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

Papers must be written in English, not exceed 15 pages in LNCS format,
not counting references, and follow the FM 2015 Format and Submission

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:

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

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

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 (to be completed)
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

Boris Yakobowski