[Om-announce] Formal Integrated Development Environment Workshop @ FM 2015

Carlo Alberto Furia caf at inf.ethz.ch
Wed Mar 4 10:33:38 CET 2015


(Apologies for multiple postings.)

******************************************************************
                 F-IDE 2015 - CALL FOR PAPERS
******************************************************************

        The 2nd Formal Integrated Development Environment Workshop
                            (F-IDE 2015)
                    22 June 2015, Oslo, Norway
             http://www.eecs.qmul.ac.uk/~masci/fide2015

******************************************************************

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

------
TOPICS
------
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
   applications

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

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: 
https://easychair.org/conferences/?conf=fide2015


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

---------------
IMPORTANT DATES
---------------
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

-----------------
PC CO-CHAIRS
-----------------
Catherine Dubois     ENSIIE, Cedric
Paolo Masci          Queen Mary University of London
Dominique Mery       Université de Lorraine

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




More information about the Om-announce mailing list