Stream: Archive Mirror: Isabelle Users Mailing List

Topic: [isabelle] F-IDE 2015 - CALL FOR PAPERS


view this post on Zulip Email Gateway (Aug 22 2022 at 09:02):

From: "Thiemann, Rene" <Rene.Thiemann@uibk.ac.at>


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:

Papers can be submitted through Easychair: https://easychair.org/conferences/?conf=fide2015


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


Last updated: Mar 29 2024 at 04:18 UTC