Stream: Archive Mirror: Isabelle Users Mailing List

Topic: [isabelle] F-IDE 2014: Call for Papers

Email Gateway (Aug 19 2022 at 13:11):

From: Peter Lammich <lammich@in.tum.de>
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

Last updated: Apr 24 2024 at 20:16 UTC