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