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 mail2-relais-roc.national.inria.fr (mail2-relais-roc.national.inria.fr [192.134.164.83]) by sympa.inria.fr (Postfix) with ESMTPS id D89F47FE36 for ; Mon, 11 Jul 2016 13:38:42 +0200 (CEST) IronPort-PHdr: 9a23:KuEg5R07cPkMSihFsmDT+DRfVm0co7zxezQtwd8ZsegeKPad9pjvdHbS+e9qxAeQG96Ks7Qf1qGM7OjJYi8p2d65qncMcZhBBVcuqP49uEgeOvODElDxN/XwbiY3T4xoXV5h+GynYwAOQJ6tL2PbrnD61zMOABK3bVMzfbWtXNWPxJ7on8mJuLTrKz1SgzS8Zb4gZD6Xli728vcsvI15N6wqwQHIqHYbM85fxGdvOE7B102kvpT4yqV+6DxdsO4N8MtJUKOyP/hpDO8QMDNzOGkw4IjvtALfBV+E734YF2EXiQZgAg7f7Ri8UI2n4QXgse8o9jOTO0LxTKsDYTm59K52WFe8hj0OMTU+8XqRksFrl6tGsDqsoQdjysvMaZuUL+ZzdaObc8lMFjkJZdpYSyEUWtD0VIAIFedUYbdV Authentication-Results: mail2-smtp-roc.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 (mail2-smtp-roc.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=mail2-smtp-roc.national.inria.fr; envelope-from="francois.pessaux@ensta-paristech.fr"; x-sender="francois.pessaux@ensta-paristech.fr"; x-conformance=sidf_compatible Received-SPF: Pass (mail2-smtp-roc.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=mail2-smtp-roc.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 (mail2-smtp-roc.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=mail2-smtp-roc.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: A0BAAQAEhINXfQQK+pNchBR8sSmJaCKHIDwQAQEBAQEBAQERAQELFAlQgjIEA4JNgTMCX4hDBQmgUo9ijlkxiB+EDoJkBIMhK4IvBYgckHyGDYhFgWpOgjCBWoMLhV+GS4ZBgwECNYI1gV1sh3uBRAEBAQ X-IPAS-Result: A0BAAQAEhINXfQQK+pNchBR8sSmJaCKHIDwQAQEBAQEBAQERAQELFAlQgjIEA4JNgTMCX4hDBQmgUo9ijlkxiB+EDoJkBIMhK4IvBYgckHyGDYhFgWpOgjCBWoMLhV+GS4ZBgwECNYI1gV1sh3uBRAEBAQ X-IronPort-AV: E=Sophos;i="5.28,346,1464645600"; d="scan'208,217";a="226314067" Received: from ns4.ensta.fr ([147.250.10.4]) by mail2-smtp-roc.national.inria.fr with ESMTP; 11 Jul 2016 13:38:42 +0200 Received: from ns4.ensta.fr (localhost [127.0.0.1]) by ns4.ensta.fr (Postfix) with ESMTP id 1119EF8A99 for ; Mon, 11 Jul 2016 13:38:42 +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 Yh1nuIhuRDCC for ; Mon, 11 Jul 2016 13:38:39 +0200 (CEST) Received: from zemail.ensta.fr (zemail.ensta.fr [147.250.1.16]) by ns4.ensta.fr (Postfix) with ESMTP id 7634FF8A96 for ; Mon, 11 Jul 2016 13:38:39 +0200 (CEST) Received: from localhost (localhost [127.0.0.1]) by zemail.ensta.fr (Postfix) with ESMTP id 38F14297DFA for ; Mon, 11 Jul 2016 13:38:38 +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 jTTjy1F8ZkiH for ; Mon, 11 Jul 2016 13:38:37 +0200 (CEST) Received: from localhost (localhost [127.0.0.1]) by zemail.ensta.fr (Postfix) with ESMTP id 61C01298043 for ; Mon, 11 Jul 2016 13:38:37 +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 I-D9KJRhiv6Z for ; Mon, 11 Jul 2016 13:38:37 +0200 (CEST) Received: from [147.250.223.18] (unknown [147.250.223.18]) by zemail.ensta.fr (Postfix) with ESMTPSA id 3AC22297DFA for ; Mon, 11 Jul 2016 13:38:37 +0200 (CEST) From: =?utf-8?Q?Fran=C3=A7ois_Pessaux?= Content-Type: multipart/alternative; boundary="Apple-Mail=_BE6C158E-2869-47C7-9878-A76314E8466C" Message-Id: <39D24D2A-8D5F-404E-BB02-294991AE29C0@ensta.fr> Date: Mon, 11 Jul 2016 13:38:36 +0200 To: caml-list Mime-Version: 1.0 (Mac OS X Mail 9.3 \(3124\)) X-Mailer: Apple Mail (2.3124) Subject: [Caml-list] [CfP] F-IDE2016 --Apple-Mail=_BE6C158E-2869-47C7-9878-A76314E8466C Content-Transfer-Encoding: quoted-printable Content-Type: text/plain; charset=utf-8 Hello, Please, I apologize for possible multiple post, but find below the CFP for = F-IDE2016. Regards, =E2=80=94 Fran=C3=A7ois ---------------------------------------------------------------------------= ----------- 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/ ---------------------------------------------------------------------------= ----------- 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 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, CNAM - Cedric / 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 --Apple-Mail=_BE6C158E-2869-47C7-9878-A76314E8466C Content-Transfer-Encoding: quoted-printable Content-Type: text/html; charset=utf-8 Hello,

Please, I apologize for possible= multiple post, but find below the CFP for F-IDE2016.
= Regards,

  = =E2=80=94 Fran=C3=A7ois

---------------= -----------------------------------------------------------------------
CfP: F-IDE2016, 3rd Workshop on Formal Integrated Development En= vironment
A satellite workshop of FM2016, November 8, 2016, L= imassol, Cyprus

Submission due: August 14, 201= 6
Website: https://sites.google.com/site/fideworkshop2016/
----------------------------------------------------------= ----------------------------

Formal Integrated= Development Environment (F-IDE) is a workshop dedicated to formal tools fo= r the rigorous specification, design, analysis, and documentation of a syst= em.

Topics of interest include (but are not li= mited to):
- F-IDE building: design and integration of langua= ges, compilation
- How to make high-level logical and program= ming concepts palatable to industrial developers
- Integratio= n of Object-Oriented and modularity features
- Integration of= static analyzers
- Integration of automatic proof tools, the= orem 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 indus= trial applications

PROCEEDINGS
P= ost proceedings will be published with Electronic Proceedings in Theoretica= l Computer Science (ETPCS).

IMPORTANT DATES- Abstract submission: August 14, 2016
- Paper Su= bmission: August 21, 2016
- Notification: September 30,2016- Camera-ready: October 15, 2016
- Workshop: Nov= ember 8, 2016

KEYNOTE SPEAKER
Ki= m G. Larsen, prime investigator of the real-time verification system UPPAAL= , will give an invited talk to our workshop!

P= C CO-CHAIRS
Catherine Dubois, CNAM - Cedric / ENSIIE
Dominique Mery, LORIA / Universite de Lorraine
Paolo Ma= sci, HASLab/INESC-TEC and Universidade do Minho

PROGRAM COMMITTEE
Bernhard Becket, Karlsruhe Institute of T= echnology
Jens Bendisposto, University of Dusseldorf
Jose C. Campos, HASLab/INESC-TEC and Universidade do Minho
Paul Curzon, Queen Mary University of London
Michalis F= amelis, University of British Columbia
Camille Fayollas, IRIT= /LAAS
Carlo A. Furia, Chalmers University of Technology
Andrew Gacek, Rockwell Collins, Inc.
Temesghen Kasha= i, NASA Ames/CMU
Kenneth Lausdahl, Aarhus University
Rustan Leino, Microsoft Research
Stefan Mitsch, Carnegi= e Mellon University
Patrick Oladimeji, Swansea University
Andrei Paskevich, Universite Paris-Sud/LRI
Francoi= s Pessaux, ENSTA ParisTech
Marie-Laure Potet, Laboratoire Ver= imag
Virgile Prevosto, CEA Tech List
Steve Reev= es, Waikato University
Bernhard Rumpe, RWTH Aachen University=
Carlo Sacerdoti Coen, University of Bologna
En= rico Tassi, INRIA
Laurent Voisin, Systerel
Maka= rius Wenzel, sketis.netYi Zhang, CDRH/FDA

<= /body>= --Apple-Mail=_BE6C158E-2869-47C7-9878-A76314E8466C--