************************************************    **** Extended Submission Deadlines **** Abstract submission:     December 27, 2013 Contribution submission: December 30, 2013 ************************************************ [Please apologies for multiple copies.] Call for Papers - F-IDE 2014 - April 6th, 2014, Grenoble, France Call for Papers First International Workshop on Formal Integrated Development Environments (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, code review 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 and as readable  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 andstatic analysis may be embedded in this F-IDE, to address most steps of the assessment process. TOPICS We encourage submissions presenting and discussing research efforts as well as experience feedbacks on design, development, use 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 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 We encourage not only mature research results but also 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 : 27 December, 2013 - Paper Submission : 30 December, 2013 - Notification : 27 January, 2014 - Final version  : 10 February, 2014 - Workshop date:  April 6, 2014 PC CO-CHAIRS - Catherine Dubois, Cédric / ENSIIE, (dot) (at) ensiie (dot) fr - Dimitra Giannakopoulou, NASA Ames, (dot) (at) nasa (dot) gov - Dominique Mery, LORIA / Université de Lorraine, (dot) (at) loria (dot) fr