From mboxrd@z Thu Jan 1 00:00:00 1970 Return-Path: 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 2D4A07EF5E for ; Tue, 26 Jul 2016 09:21:38 +0200 (CEST) IronPort-PHdr: 9a23:Tp/yvhd+3Xqi9xGDrNqQ9HaAlGMj4u6mDksu8pMizoh2WeGdxc69Zh7h7PlgxGXEQZ/co6odzbGH6+a+AydZucnJmUtBWaQEbwUCh8QSkl5oK+++Imq/EsTXaTcnFt9JTl5v8iLzG0FUHMHjew+a+SXqvnYsExnyfTB4Ov7yUtaLyZ/mj6bsodaKO1oArQH+SIs6FA+xowTVu5teqqpZAYF19CH0pGBVcf9d32JiKAHbtR/94sCt4MwrqHwI6LoXzNNbSajxY4g/SLVZCnxmbzF0t4XXskzIRA6Lo38dSXk+kxxSAgGD4gupcI32t37UrON7Vy6bJvrOQKsvUCmyp/NlUhbugyAGLHgh/XrMg9FgpK9duw6o4gR22Y/PfIyeNLxwZPWOLpshWWNdU5MJBGR6CYSmYt5TXuc= Authentication-Results: mail3-smtp-sop.national.inria.fr; spf=None smtp.pra=francois.pessaux@ensta-paristech.fr; spf=Pass smtp.mailfrom=francois.pessaux@ensta-paristech.fr; spf=Pass smtp.helo=postmaster@ns4.ensta.fr Received-SPF: None (mail3-smtp-sop.national.inria.fr: no sender authenticity information available from domain of francois.pessaux@ensta-paristech.fr) identity=pra; client-ip=147.250.10.4; receiver=mail3-smtp-sop.national.inria.fr; envelope-from="francois.pessaux@ensta-paristech.fr"; x-sender="francois.pessaux@ensta-paristech.fr"; x-conformance=sidf_compatible Received-SPF: Pass (mail3-smtp-sop.national.inria.fr: domain of francois.pessaux@ensta-paristech.fr designates 147.250.10.4 as permitted sender) identity=mailfrom; client-ip=147.250.10.4; receiver=mail3-smtp-sop.national.inria.fr; envelope-from="francois.pessaux@ensta-paristech.fr"; x-sender="francois.pessaux@ensta-paristech.fr"; x-conformance=sidf_compatible; x-record-type="v=spf1" Received-SPF: Pass (mail3-smtp-sop.national.inria.fr: domain of postmaster@ns4.ensta.fr designates 147.250.10.4 as permitted sender) identity=helo; client-ip=147.250.10.4; receiver=mail3-smtp-sop.national.inria.fr; envelope-from="francois.pessaux@ensta-paristech.fr"; x-sender="postmaster@ns4.ensta.fr"; x-conformance=sidf_compatible; x-record-type="v=spf1" X-IronPort-Anti-Spam-Filtered: true X-IronPort-Anti-Spam-Result: A0ANAACIDpdXlwQK+pNdhBUqUrEIiW0khzc7EQEBAQEBAQEBEQEBAQEBCBYHSIIyBAOCTRUwRgImAmwIAQGILQUJmRePY44NgQGHIYQOgmMEgyGCWgWII4tMhUJdhTuIYIFsToIygVqDDoVpAoZThVl1gwECNIFrUgSBWWyGfoFEAQEB X-IPAS-Result: A0ANAACIDpdXlwQK+pNdhBUqUrEIiW0khzc7EQEBAQEBAQEBEQEBAQEBCBYHSIIyBAOCTRUwRgImAmwIAQGILQUJmRePY44NgQGHIYQOgmMEgyGCWgWII4tMhUJdhTuIYIFsToIygVqDDoVpAoZThVl1gwECNIFrUgSBWWyGfoFEAQEB X-IronPort-AV: E=Sophos;i="5.28,423,1464645600"; d="scan'208";a="185947423" Received: from ns4.ensta.fr ([147.250.10.4]) by mail3-smtp-sop.national.inria.fr with ESMTP; 26 Jul 2016 09:21:37 +0200 Received: from ns4.ensta.fr (localhost [127.0.0.1]) by ns4.ensta.fr (Postfix) with ESMTP id E32F7F8C03 for ; Tue, 26 Jul 2016 09:21:36 +0200 (CEST) X-Virus-Scanned: amavisd-new at ns4.ensta.fr Received: from ns4.ensta.fr ([127.0.0.1]) by ns4.ensta.fr (ns4.ensta.fr [127.0.0.1]) (amavisd-new, port 10024) with ESMTP id uVARZyvtUmfQ for ; Tue, 26 Jul 2016 09:21:34 +0200 (CEST) Received: from zemail.ensta.fr (zemail.ensta.fr [147.250.1.16]) by ns4.ensta.fr (Postfix) with ESMTP id 8858CF8C17 for ; Tue, 26 Jul 2016 09:21:34 +0200 (CEST) Received: from localhost (localhost [127.0.0.1]) by zemail.ensta.fr (Postfix) with ESMTP id 84DED297B33 for ; Tue, 26 Jul 2016 09:21:34 +0200 (CEST) Received: from zemail.ensta.fr ([127.0.0.1]) by localhost (zemail.ensta.fr [127.0.0.1]) (amavisd-new, port 10032) with ESMTP id K0axNRRBUmRA for ; Tue, 26 Jul 2016 09:21:33 +0200 (CEST) Received: from localhost (localhost [127.0.0.1]) by zemail.ensta.fr (Postfix) with ESMTP id D1CF7297B36 for ; Tue, 26 Jul 2016 09:21:33 +0200 (CEST) X-Virus-Scanned: amavisd-new at zemail.ensta.fr Received: from zemail.ensta.fr ([127.0.0.1]) by localhost (zemail.ensta.fr [127.0.0.1]) (amavisd-new, port 10026) with ESMTP id CTwUgInhkIe1 for ; Tue, 26 Jul 2016 09:21:33 +0200 (CEST) Received: from [147.250.223.46] (unknown [147.250.223.46]) by zemail.ensta.fr (Postfix) with ESMTPSA id B8092297B33 for ; Tue, 26 Jul 2016 09:21:33 +0200 (CEST) From: =?UTF-8?Q?Fran=c3=a7ois_Pessaux?= To: caml-list@inria.fr Message-ID: <9f127a47-40a6-476f-e24c-c86058c927d8@ensta.fr> Date: Tue, 26 Jul 2016 09:21:33 +0200 User-Agent: Mozilla/5.0 (X11; Linux x86_64; rv:45.0) Gecko/20100101 Thunderbird/45.2.0 MIME-Version: 1.0 Content-Type: text/plain; charset=utf-8; format=flowed Content-Transfer-Encoding: quoted-printable Subject: [Caml-list] [CFP] 2nd CFP for F-IDE2016. Dear all, Please find below the second CFP for F-IDE2016 with dates updated. Regards. -- Fran=C3=A7ois 8< ------------------------------------------------------------------------= -------- >8 ---------------------------------------------------------------------------= ----------- CfP: F-IDE2016, 3rd Workshop on Formal Integrated Development Environment A satellite workshop of FM2016, November 8, 2016, Limassol, Cyprus Submission due: August 14, 2016 Website:https://sites.google.com/site/fideworkshop2016/=20=20 ---------------------------------------------------------------------------= ----------- Formal Integrated Development Environment (F-IDE) is a workshop dedicated t= o formal tools for the rigorous specification, design, analysis, and docume= ntation of a system. Topics of interest 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 indu= strial 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 appl= ications SUBMISSION INFORMATION Submitted papers should not exceed 15 pages in LNCS format, not counting re= ferences and appendices, and follow the FM 2016 Format and Submission Guide= lines. Papers can be submitted through EasyChair, using the following link:= https://easychair.org/conferences/?conf=3Dfide2016 PROCEEDINGS Post proceedings will be published with Electronic Proceedings in Theoretic= al Computer Science (ETPCS). IMPORTANT DATES - Abstract submission: August 14, 2016 - Paper Submission: August 21, 2016 - Notification: September 30,2016 - Camera-ready: October 15, 2016 - Workshop: November 8, 2016 KEYNOTE SPEAKER Kim G. Larsen, prime investigator of the real-time verification system UPPA= AL, will give an invited talk to our workshop! PC CO-CHAIRS Catherine Dubois, Samovar / ENSIIE Dominique Mery, LORIA / Universite de Lorraine Paolo Masci, HASLab/INESC-TEC and Universidade do Minho PROGRAM COMMITTEE Bernhard Becket, Karlsruhe Institute of Technology Jens Bendisposto, University of Dusseldorf Jose C. Campos, HASLab/INESC-TEC and Universidade do Minho Paul Curzon, Queen Mary University of London Michalis Famelis, University of British Columbia Camille Fayollas, IRIT/LAAS Carlo A. Furia, Chalmers University of Technology Andrew Gacek, Rockwell Collins, Inc. Temesghen Kashai, NASA Ames/CMU Kenneth Lausdahl, Aarhus University Rustan Leino, Microsoft Research Stefan Mitsch, Carnegie Mellon University Patrick Oladimeji, Swansea University Andrei Paskevich, Universite Paris-Sud/LRI Francois Pessaux, ENSTA ParisTech Marie-Laure Potet, Laboratoire Verimag Virgile Prevosto, CEA Tech List Steve Reeves, Waikato University Bernhard Rumpe, RWTH Aachen University Carlo Sacerdoti Coen, University of Bologna Enrico Tassi, INRIA Laurent Voisin, Systerel Makarius Wenzel, sketis.net Yi Zhang, CDRH/FDA