From mboxrd@z Thu Jan 1 00:00:00 1970 Return-Path: X-Original-To: caml-list@sympa.inria.fr Delivered-To: caml-list@sympa.inria.fr Received: from mail3-relais-sop.national.inria.fr (mail3-relais-sop.national.inria.fr [192.134.164.104]) by sympa.inria.fr (Postfix) with ESMTPS id 241217F707 for ; Wed, 18 Dec 2013 09:10:51 +0100 (CET) Received-SPF: None (mail3-smtp-sop.national.inria.fr: no sender authenticity information available from domain of francois_pessaux@yahoo.fr) identity=pra; client-ip=212.82.108.207; receiver=mail3-smtp-sop.national.inria.fr; envelope-from="francois_pessaux@yahoo.fr"; x-sender="francois_pessaux@yahoo.fr"; x-conformance=sidf_compatible Received-SPF: None (mail3-smtp-sop.national.inria.fr: no sender authenticity information available from domain of francois_pessaux@yahoo.fr) identity=mailfrom; client-ip=212.82.108.207; receiver=mail3-smtp-sop.national.inria.fr; envelope-from="francois_pessaux@yahoo.fr"; x-sender="francois_pessaux@yahoo.fr"; x-conformance=sidf_compatible Received-SPF: None (mail3-smtp-sop.national.inria.fr: no sender authenticity information available from domain of postmaster@nm21-vm3.bullet.mail.ird.yahoo.com) identity=helo; client-ip=212.82.108.207; receiver=mail3-smtp-sop.national.inria.fr; envelope-from="francois_pessaux@yahoo.fr"; x-sender="postmaster@nm21-vm3.bullet.mail.ird.yahoo.com"; x-conformance=sidf_compatible X-IronPort-Anti-Spam-Filtered: true X-IronPort-Anti-Spam-Result: AqkDAHVXsVLUUmzPlGdsb2JhbABZFoIwfFUIqVKQNQ4BAQEBBwsUEiqCICkOFQEBAQEUEBIBfhABDh+IAgEBAhEECa9kgUkJgwABBQKCSYp0ASMDASMDhwYQAQYNji2FFYdchwCFW4Nqhj41VYhwcIQQgWg X-IPAS-Result: AqkDAHVXsVLUUmzPlGdsb2JhbABZFoIwfFUIqVKQNQ4BAQEBBwsUEiqCICkOFQEBAQEUEBIBfhABDh+IAgEBAhEECa9kgUkJgwABBQKCSYp0ASMDASMDhwYQAQYNji2FFYdchwCFW4Nqhj41VYhwcIQQgWg X-IronPort-AV: E=Sophos;i="4.95,506,1384297200"; d="scan'208,217";a="41529282" Received: from nm21-vm3.bullet.mail.ird.yahoo.com ([212.82.108.207]) by mail3-smtp-sop.national.inria.fr with SMTP; 18 Dec 2013 09:10:49 +0100 Received: from [77.238.189.57] by nm21.bullet.mail.ird.yahoo.com with NNFMP; 18 Dec 2013 08:10:48 -0000 Received: from [212.82.108.248] by tm10.bullet.mail.ird.yahoo.com with NNFMP; 18 Dec 2013 08:10:48 -0000 Received: from [127.0.0.1] by omp1013.mail.ird.yahoo.com with NNFMP; 18 Dec 2013 08:10:48 -0000 X-Yahoo-Newman-Property: ymail-3 X-Yahoo-Newman-Id: 184255.39983.bm@omp1013.mail.ird.yahoo.com Received: (qmail 85983 invoked by uid 60001); 18 Dec 2013 08:10:48 -0000 DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/relaxed; d=yahoo.fr; s=s1024; t=1387354248; bh=YCWpXChWS1gXLetXRof57+IG+UjKHUWzlo6+duyi678=; h=X-YMail-OSG:Received:X-Rocket-MIMEInfo:X-Mailer:Message-ID:Date:From:Reply-To:Subject:To:MIME-Version:Content-Type; b=Ao9rRjeptC6lSpUa0IIc45PBJ59rwa39BATeikc6v9kjWLLqOcfet+p/RxCp8M6N0m5N/nMcvqc/RTPEuedE0YvACSFR7BrAFJvo+evHGOa/6DTLgKUCFtbbbDSLRcazZHSkBHmpHcliLz76F/T/igmrfTJmPFfxZEx34tGvIPs= DomainKey-Signature:a=rsa-sha1; q=dns; c=nofws; s=s1024; d=yahoo.fr; h=X-YMail-OSG:Received:X-Rocket-MIMEInfo:X-Mailer:Message-ID:Date:From:Reply-To:Subject:To:MIME-Version:Content-Type; b=dqt1nQUZDVAAzPFQP6UV5RE2W6l4ttWgALBdS0xjQb/FWOLEFZpI8z+FrGmHpEJjisT1QXmIGerfxlMcolx6tpYjiug2ct0amQmflmJ5cI3ZXPWGgfKx0y/u4XyMTljkT2wEq3XRvte35PLJ0C6jKUs+shS8KGqO1dRd0HNbcO4=; X-YMail-OSG: 0SMV1E8VM1kOFW.ZllBhwvp31mXIDyO5RIdZcxISxhd4ZxN sI77x1kKk9GcTYAHw7nLD2cb208ZTZNvxKvbW.0OxBeKe4MpxPDWn5qiWhBE UV7Sa_1tASDqUOusxYNh3KoyjJzXKcAaYKuNn5mPgqGhLIDoe0P.H1CAS5oV vsN0rby1cojq51KHLavzIAzop9K..kVE3NXGVGpSQRMGdYvaCE.q.N4iP9Em e8Qsx46o.6rIUQy4VOybj5pWqsYgCstiAFS.PwoYaoLZ76dGrR79NMe2EU2g SWX6rgr3qYva3m.sWpPqlJyI1PyZczkJvb0RV_Ru2wkTLkLR6DKXFn.3mfj1 X_sYEgP5Gu9znt71aOz3jZANPGG7ssXLzU4.u_nkPL7i.O5u1hJuL6RBe2tu sq8S2F4FBYVNf_SAs27.GP.qb.fB5moaW63EQBqQf7NoKauUEyZYTop5aD0P bNGXyWBh4okaP.M49RHZmheRO7xaFftYqmCnsawXyDBr0M86Fv26wFlMX9.u cuE5cv9gGuLev6Y6rUc2qOIH.PIfp1BhYqOpXQSS2oi9E9_JBOA6_2qdsULq OgCVcJaMu_dziTZiYbCj9LyiLcj6lf1emHno.0_F98QlHPsT6zqjh5kYZ12e rfxj17wmQu3TnjqO6df0s3u9NF9vqTfJIdQcpNZpaTw2LZwgFQ3TPf_Qz9gA 7t3RchKOo3H7.QlMzAN0l3IOfmgmHb7hOVDsgp95dmoIv8uMjyuceIW_bj.R zuq1caA-- Received: from [147.250.222.242] by web172406.mail.ir2.yahoo.com via HTTP; Wed, 18 Dec 2013 08:10:47 GMT X-Rocket-MIMEInfo: 002.001,KioqKioqKioqKioqKioqKioqKioqKioqKioqKioqKioqKioqKioqKioqKioqKioqCsKgIMKgKioqKiBFeHRlbmRlZCBTdWJtaXNzaW9uIERlYWRsaW5lcyAqKioqCgpBYnN0cmFjdCBzdWJtaXNzaW9uOiDCoCDCoCBEZWNlbWJlciAyNywgMjAxMwpDb250cmlidXRpb24gc3VibWlzc2lvbjogRGVjZW1iZXIgMzAsIDIwMTMKKioqKioqKioqKioqKioqKioqKioqKioqKioqKioqKioqKioqKioqKioqKioqKioqCgpbUGxlYXNlIGFwb2xvZ2llcyBmb3IgbXVsdGlwbGUgY29waWVzLl0KCgpDYWxsIGZvciBQYXBlcnMBMAEBAQE- X-Mailer: YahooMailWebService/0.8.170.612 Message-ID: <1387354247.40047.YahooMailNeo@web172406.mail.ir2.yahoo.com> Date: Wed, 18 Dec 2013 08:10:47 +0000 (GMT) From: =?iso-8859-1?Q?Fran=E7ois_PESSAUX?= Reply-To: =?iso-8859-1?Q?Fran=E7ois_PESSAUX?= To: "caml-list@inria.fr" MIME-Version: 1.0 Content-Type: multipart/alternative; boundary="453340058-1981991956-1387354247=:40047" X-Validation-by: francois_pessaux@yahoo.fr Subject: [Caml-list] [CFP-Deadline extended] F-IDE 2014 --453340058-1981991956-1387354247=:40047 Content-Type: text/plain; charset=iso-8859-1 Content-Transfer-Encoding: quoted-printable ************************************************ =A0 =A0**** Extended Submission Deadlines **** Abstract submission: =A0 =A0 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. =A0Any 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 =A0should 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 =A0of 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 =A0as possible. The third one is to offer automated management of application documentation. It may also =A0be expected that developments done with such an F-IDE are reusable =A0and modular. =A0Moreover, 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. =A0In 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 =A0(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=3Dfide2014 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 =A0: 10 February, 2014 - Workshop date: =A0April 6, 2014 PC CO-CHAIRS - Catherine Dubois, C=E9dric / ENSIIE, (dot) (at) e= nsiie (dot) fr - Dimitra Giannakopoulou, NASA Ames, (dot) (at) na= sa (dot) gov - Dominique Mery, LORIA / Universit=E9 de Lorraine, (dot) (at) loria (dot) fr --453340058-1981991956-1387354247=:40047 Content-Type: text/html; charset=iso-8859-1 Content-Transfer-Encoding: quoted-printable
************************************************
   **** Extended Submission Deadlines ****

Abstract submission:     December 27, 2013
Contri= bution submission: December 30, 2013
****************************= ********************

[Please apologies for multipl= e copies.]


Call for Papers - F-IDE = 2014 - April 6th, 2014, Grenoble, France

Call for = Papers
First International Workshop on Formal Integrated Developm= ent 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 o= f formal methods to specify and develop compliant software
(sub)s= ystems.  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 wit= h several
requirements. The first one is to associate a logical t= heory with a
programming language, in a way that facilitates the = tightly coupled
handling  of specification properties and pr= ogram constructs. The
second one is to offer a language/environme= nt simple enough to be
usable by most developers, even if they ar= e 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 a= lso  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-spe= cialists.  In this
context, the topics include (but are not = limited to):

- F-IDE building : design and integra= tion of languages, compilation

- How to make high-= level logical and programming concepts palatable to
industrial developers

- Integration = of Object-Oriented and modularity features

- Integ= ration of static analyzers

- Integration of automa= tic proof tools, theorem provers and testing tools

- Documentation tools

- Impact of tools on certif= ication

- Experience reports of developing F-IDE

- Experience reports of using F-IDE

<= /div>
- Experience reports of formal methods-based assessments of indus= trial
applications

We encourage not only= mature research results but also submissions
presenting innovati= ve ideas and early results are also of interest.

S= UBMISSIONS

Papers  (6-14 pages in length), fo= llowing EPCTS format are expected.
They can be:
- Research papers providing new concepts and results
- Position papers and research perspectives
- Experience repor= ts
- Tool presentations

Submissions will= be done via Easychair:
https://www.easychair.org/conferences/?co= nf=3Dfide2014


PROCEEDINGS

Final versions of accepted papers will be published in a vo= lume of the
Electronic Proceedings in Theoretical Computer Scienc= e (EPTCS).

IMPORTANT DATES

- Abstract submission : 27 December, 2013
- Paper Submission : = 30 December, 2013
- Notification : 27 January, 2014
- F= inal version  : 10 February, 2014
- Workshop date:  Apr= il 6, 2014


PC CO-CHAIRS
<= br>
- Catherine Dubois, C=E9dric / ENSIIE, <first name> (dot) <lastname> (at) ensiie (dot) fr
- Dimitra Giannakopo= ulou, NASA Ames, <first name> (dot) <last name> (at) nasa (dot)= gov
- Dominique Mery, LORIA / Universit=E9 de Lorraine, <firs= t name> (dot)
<last name> (at) loria (dot) fr
=
= --453340058-1981991956-1387354247=:40047--