From mboxrd@z Thu Jan 1 00:00:00 1970 Return-Path: Received: from mail2-relais-roc.national.inria.fr (mail2-relais-roc.national.inria.fr [192.134.164.83]) by c5ff346549e7 (Postfix) with ESMTPS id 00E6D5D5 for ; Thu, 23 May 2019 07:28:04 +0000 (UTC) X-IronPort-AV: E=Sophos;i="5.60,502,1549926000"; d="scan'208,217";a="384364193" Received: from sympa.inria.fr ([193.51.193.213]) by mail2-relais-roc.national.inria.fr with ESMTP; 23 May 2019 09:28:02 +0200 Received: by sympa.inria.fr (Postfix, from userid 20132) id 9B294826DA; Thu, 23 May 2019 09:28:02 +0200 (CEST) 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 813A8826B1 for ; Thu, 23 May 2019 09:27:51 +0200 (CEST) Authentication-Results: mail2-smtp-roc.national.inria.fr; spf=Neutral smtp.pra=virgile.prevosto@m4x.org; spf=Pass smtp.mailfrom=virgile.prevosto@gmail.com; spf=None smtp.helo=postmaster@mail-ot1-f66.google.com IronPort-PHdr: =?us-ascii?q?9a23=3AiL0lHh3SY8sUiD8GsmDT+DRfVm0co7zxezQtwd8Z?= =?us-ascii?q?seIfIvad9pjvdHbS+e9qxAeQG9mCsrQd0rGd6vq5EUU7or+5+EgYd5JNUxJXwe?= =?us-ascii?q?43pCcHRPC/NEvgMfTxZDY7FskRHHVs/nW8LFQHUJ2mPw6arXK99yMdFQviPgRp?= =?us-ascii?q?OOv1BpTSj8Oq3Oyu5pHfeQpFiCegbb9oMRm6sAvcusYLjYd8N6o61wfErGZPd+?= =?us-ascii?q?lK321jOEidnwz75se+/Z5j9zpftvc8/MNeUqv0Yro1Q6VAADspL2466svrtQLe?= =?us-ascii?q?TQSU/XsTTn8WkhtTDAfb6hzxQ4r8vTH7tup53ymaINH2QLUpUjms86tnVBnlgz?= =?us-ascii?q?oAOD4k9mHYl81wjLlHrxKloBx/2JDbb5yIP/Z6ca7RYdYWSGxcVchTSiNBGJux?= =?us-ascii?q?YIQBD+UDPehWoYrzqUYSohajHgSjHv/jxyVSi3PqwaE30eIsGhzG0gw6GNIOtW?= =?us-ascii?q?zZo9r0NKcIXuC1za3IwiveZP1Mwzfy9pbIchc6ofGQWrJ7bM3cyVcuFwPfgVWQ?= =?us-ascii?q?qIjlMC2P2uQVqWiU8fRgVeW0i247rAF8uT2vy8gji4XTgYIV0F/E+Dx/zY0oK9?= =?us-ascii?q?O4T0t7bsSlEJtWryyaLIh2Td0+Q2FpoyY20LsGtoCnfCQS1pso3QXfavybfIiI?= =?us-ascii?q?+B3jVfyRLS1/hHJ/d7Kznwi98VC8yuLgTcm4ylFKrjBKktXUt3AN0QLc6tObRf?= =?us-ascii?q?th4EiuxSyD1xjP6uxCPEs6lrLbJoY/zrIskpcfq0fOEy/slEnokaOaal8o9+mp?= =?us-ascii?q?5unhf77ovIWTN5VuhQH7KqkumtKwAeA/MgUWWmiU4+W81Ln68U3+XLVGk+Q6kq?= =?us-ascii?q?fYvZ3bP8gbqam5Awha0oYn9RmzFSup0NMdnXUfLVJFfgyIj5TxNl3QPPz1Ce2z?= =?us-ascii?q?jlesnTtx2fzKI6HtDo/MI3XCiLvheKxy609YyAo919Bf4JdUB6kfIPLyQE/xu9?= =?us-ascii?q?3YDhsnPACu2+bnEsty1p0ZWWKUHq+ZN7jfsVCN5u01IumMYJUZtyr6K/gg//Lu?= =?us-ascii?q?l2M2mUcBfam12psacGy3Ee5jI0WdeHbshtYBEXwWvgclV+zriFiCUSZJaHqoXq?= =?us-ascii?q?I84Cs7CIO8AovZSICtmu/J4CDuA5taZ3tNDleXHHutbYiPWu8NZSSOOZ0ywRIe?= =?us-ascii?q?Ur30dY472hCquUfC0bd5KfHI/WVMq5P529lx6qvLjxws8idoCOyYj3HLSHt7yD?= =?us-ascii?q?BbDwQq1bxy9BQugmyI1rJ11qAATIEB17ZySg4/cKXk4al6BtT1AF+Te96ITBOh?= =?us-ascii?q?XozjD29vCN02xNAKbgB2HNDw1kmSjRrvOKcckvmwPLJx96vd23brIMMkkiTJ0a?= =?us-ascii?q?Agix8tRc4dbDT61J46zBDaAsvyq2vcj7yjJPYZgD6L832MnzCD?= X-IronPort-Anti-Spam-Filtered: true X-IronPort-Anti-Spam-Result: =?us-ascii?q?A0B4AwClSuZcf0LSVdFlgheBYlZCgQQoh?= =?us-ascii?q?BOBHYItjz+FF49PAYUYZYIEAQMBDCMMAQGBS4J1gjMbBwEDMQkOAQMBAQQBAQI?= =?us-ascii?q?BAQMBEwEBCQsLCCclCwGCOgwagmIJBh0GHQEBJhIPFjcCAiISAQUBHAwBFBJBg?= =?us-ascii?q?kiCCg+aDDyKLnGBL4J5AQEFhXiBPQkSgSKLUYFXP4EQAYJkg00EGIEgBAdJgl0?= =?us-ascii?q?UgkSoPAcCgg9aBIVThEKIFRt2gg+DCZAok12OeQ8hgRwSgg9NMEMxBmcKgUQJi?= =?us-ascii?q?k87TYR0QDCMCoJSAQE?= X-IPAS-Result: =?us-ascii?q?A0B4AwClSuZcf0LSVdFlgheBYlZCgQQohBOBHYItjz+FF49?= =?us-ascii?q?PAYUYZYIEAQMBDCMMAQGBS4J1gjMbBwEDMQkOAQMBAQQBAQIBAQMBEwEBCQsLC?= =?us-ascii?q?CclCwGCOgwagmIJBh0GHQEBJhIPFjcCAiISAQUBHAwBFBJBgkiCCg+aDDyKLnG?= =?us-ascii?q?BL4J5AQEFhXiBPQkSgSKLUYFXP4EQAYJkg00EGIEgBAdJgl0UgkSoPAcCgg9aB?= =?us-ascii?q?IVThEKIFRt2gg+DCZAok12OeQ8hgRwSgg9NMEMxBmcKgUQJik87TYR0QDCMCoJ?= =?us-ascii?q?SAQE?= X-IronPort-AV: E=Sophos;i="5.60,502,1549926000"; d="scan'208,217";a="384364087" X-MGA-submission: =?us-ascii?q?MDFKxqaCGKK0SOvqOD49PHpORD+zk6Vw8m4Zs2?= =?us-ascii?q?BG71xHKd252HHa3RX3Uy7Z7yM31LlRbKhm/RmQAovVRRSJkvLfpSIo5x?= =?us-ascii?q?RnK/vE5ZH/AR94dIx04r3CDGtV7Mgz/YIyj2naXJkkB9igF6CFKciISM?= =?us-ascii?q?u2bi395QpG9Gw8tnN/uMQNVw=3D=3D?= Received: from mail-ot1-f66.google.com ([209.85.210.66]) by mail2-smtp-roc.national.inria.fr with ESMTP/TLS/AES128-GCM-SHA256; 23 May 2019 09:27:50 +0200 Received: by mail-ot1-f66.google.com with SMTP id l17so4545383otq.1 for ; Thu, 23 May 2019 00:27:50 -0700 (PDT) DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/relaxed; d=m4x.org; s=gapps; h=mime-version:references:in-reply-to:from:date:message-id:subject:to; bh=63tEvDM+gBTabGChT5nOwWxu5BVwtQZuGgbRrKHy72w=; b=XxjwPzeOLVniroWZ+IXVfV3CtHCl0Xf65GvQDYyTwPSibgUMOf3knMpSN9OG2wfXEs VlBzRWvpUnCc/HwW+2ZBpvvpF+MPSXPgUXTBY92UbB19E/ff2lCoWPnST7gktdaTIH/i ufAXM4IjkAE5R7traffNdKJHjrl9R89Z7TRv8= X-Google-DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/relaxed; d=1e100.net; s=20161025; h=x-gm-message-state:mime-version:references:in-reply-to:from:date :message-id:subject:to; bh=63tEvDM+gBTabGChT5nOwWxu5BVwtQZuGgbRrKHy72w=; b=YWdGAUflPU0wamrMw2yF8CS6rczb6qS2easQapd1xYEIKPZKwzzquZdCZfipyjUWuo DjDhdJWzTqAIpfiLAUBLvU/vp2ENECreg+EO0Fep64iC9W/a0bKjfdfYvyMIFh0KpMdV ugDueOI//l6wghodlisHUaUJ7VHoSd4SO3FsFctkNL4w8gp9Ci5jWzWh2ULcPoZIdRjZ Tf5hjuL/2Jxbny5ckH/nURiiQ6l0DRprfRgHb+g0H6heLRnSQ2wWM82TM/oOg2BHNvC/ 2YuJVaRf7YoeWyV/6QSbj/M7rbiU8E2SK/8xEM3h1uN2L5QvCT8AvB5BEwwhiXFYuzmN behQ== X-Gm-Message-State: APjAAAXDqGdA9RFzu0V9RONSp/kG2hXu/FRZ7zJxRv8mPdbEA8MlCu+g 8+PuCYgA1Z80Ej8SbxtF1iyn3W55d7/lbpW0q4o= X-Google-Smtp-Source: APXvYqy7e4hmDX8K0fjuefOGnUiNoGXzMIYX8CI5BJKim9Sdqh+4waTlfcUiN86XxsHBJ2VqsKfSXH7Yw6eCOco3Vqo= X-Received: by 2002:a05:6830:1551:: with SMTP id l17mr22466736otp.187.1558596468787; Thu, 23 May 2019 00:27:48 -0700 (PDT) MIME-Version: 1.0 References: In-Reply-To: From: Virgile Prevosto Date: Thu, 23 May 2019 09:27:37 +0200 Message-ID: To: undisclosed-recipients:; Content-Type: multipart/alternative; boundary="000000000000dece4f058989044d" Subject: [Caml-list] 2d Call for Papers F-IDE Workshop 2019 Reply-To: Virgile Prevosto X-Loop: caml-list@inria.fr X-Sequence: 17568 Errors-to: caml-list-owner@inria.fr Precedence: list Precedence: bulk Sender: caml-list-request@inria.fr X-no-archive: yes List-Id: List-Archive: List-Help: List-Owner: List-Post: List-Subscribe: List-Unsubscribe: --000000000000dece4f058989044d Content-Type: text/plain; charset="UTF-8" Content-Transfer-Encoding: quoted-printable F-IDE - 5th Workshop on Formal Integrated Development Environments https://fideworkshop2019.inesctec.pt part of FM Week 2019 (http://formalmethods2019.inesctec.pt/?page_id=3D84) # News We are happy to announce that Wolfgang Ahrendt (Chalmers University) accepted to give the opening keynote at F-IDE 2019. # Important Dates - Abstract submission: June 18, 2019 - Paper submission: June 25, 2019 - Notification: August 20, 2019 - Camera-ready version: September 3, 2019 - Workshop date: October 7, 2019 # About F-IDE 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 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 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 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. Tools for testing and static analysis may be embedded within F-IDEs to support the assessment process. # Submission Guidelines Submitted papers should follow EPTCS format (http://style.eptcs.org/). Authors are invited to submit the following types of contributions: Research papers providing new concepts and results Experience reports Position papers and research perspectives Tool presentations Two kinds of submissions will be considered: normal paper (15 pages including bibliography), and shorter papers describing work in progress and preliminary results (6 pages including bibliography). Submissions will be made through EasyChair at: https://easychair.org/conferences/?conf=3Dfide2019. All papers will be peer-reviewed by at least two members of the program committee. They must describe original contributions whose main results and conclusions have not been published or submitted elsewhere. Preliminary proceedings, including all the papers selected for the workshop, will be available electronically at the workshop. Post proceedings will be proposed for publication with Electronic Proceedings in Theoretical Computer Science (EPTCS). # List of Topics The workshop is open to contributions on all aspects of a system development process, including specification, design, implementation, analysis and documentation. It welcomes 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, development of user-friendly front-ends 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 on developing F-IDEs Experience reports on using F-IDEs Experience reports on formal methods-based assessments in industrial applications # Committees ## PC Co-Chairs Rosemary Monahan, Maynooth University, rosemary (dot) monahan (at) nuim (dot) ie Virgile Prevosto, Institut List, CEA Tech, Universit=C3=A9 Paris-Saclay= , virgile (dot) prevosto (at) cea (dot) fr Jos=C3=A9 Proen=C3=A7a, HASLab/INESC-TEC and Universidade do Minho, jos= e (dot) p (dot) proenca (at) inesctec (dot) pt ## Steering Committee Catherine Dubois, Samovar / ENSIIE, catherine (dot) dubois (at) ensiie (dot) fr Paolo Masci, HASLab/INESC-TEC and Universidade do Minho, paolo (dot) masci (at) inesctec (dot) pt Dominique M=C3=A9ry, LORIA / Universit=C3=A9 de Lorraine, dominique (do= t) mery (at) loria (dot) fr ## Program Committee Cinzia Bernardeschi (University of Pisa) Jos=C3=A9 Creissac Campos (University of Minho) Paul Curzon (Queen Mary University of London) Damien Doligez (INRIA) Andrea Domenici (University of Pisa) Carlo A. Furia (Chalmers University of Technology) Kenneth Lausdahl (Aarhus University) Stephan Merz (Inria Nancy) Stefan Mitsch (Carnegie Mellon University) Yannick Moy (Adacore) C=C3=A9sar Mu=C3=B1oz (NASA Langley) Andrei Paskevich (Universit=C3=A9 Paris-Sud, LRI) Fran=C3=A7ois Pessaux (ENSTA ParisTech) James Power (Maynooth University) Steve Reeves (University of Waikato) Bernhard Rumpe (RWTH Aachen University) Claudio Sacerdoti-Cohen (University of Bologna) Silvia Lizeth Tapia Tarifa (University of Oslo) Mattias Ulbricht (Karlsruhe Institute of Technology) Laurent Voisin (Systerel) Makarius Wenzel (sketis.net) Yi Zhang (U.S. Food and Drug Administration) # Venue The conference will be held in Porto (Portugal), as part of FM Week 2019 # Contact All questions about submissions should be emailed to the PC co-chairs (see contact information above). --=20 E tutto per oggi, a la prossima volta Virgile --000000000000dece4f058989044d Content-Type: text/html; charset="UTF-8" Content-Transfer-Encoding: quoted-printable

F-IDE - 5th Workshop on Formal Integrated = Development Environments

https://fideworkshop2019.inesctec.pt

par= t of FM Week 2019 (http://formalmethods2019.inesctec.pt/?page_id=3D84= )

# News

We are hap= py to announce that Wolfgang Ahrendt (Chalmers University) accepted to give= the opening keynote at F-IDE 2019.

# Important Dat= es

- Abstract submission: June 18, 2019
- Paper submission: June = 25, 2019
- Notification: August 20, 2019
- Camera-ready version: Sept= ember 3, 2019
- Workshop date: October 7, 2019

# About F-IDE

High lev= els of safety, security and also privacy standards require the
use of fo= rmal methods to specify and develop compliant software
(sub)systems. Any= standard comes with an assessment process, which
requires a complete do= cumentation of the application to ease the
justification of design choic= es and the review of code and proofs.

Ideally, an F-IDE dedicated to such devel= opments should comply with
several requirements. The first one is to ass= ociate a logical theory
with a programming language, in a way that facil= itates the tightly
coupled handling of specification properties and prog= ram constructs. The
second is to offer a language/environment simple eno= ugh to be usable by
most developers, even if they are not fully acquaint= ed with higher-order
logics or set theory, in particular by making devel= opment of proofs as
easy as possible. The third is to offer automated ma= nagement of
application documentation. It may also be expected that deve= lopments
done with such an F-IDE are reusable and modular. Tools for testing andstatic analysis may be embedded within F-I= DEs to support the assessment
process.

# Submission Guidelines
Submitted papers should follow EPTCS format (http://style.eptcs.org/).
Authors are i= nvited to submit the following types of contributions:

=C2=A0=C2=A0= =C2=A0 Research papers providing new concepts and results
=C2=A0=C2=A0= =C2=A0 Experience reports
=C2=A0=C2=A0=C2=A0 Position papers and researc= h perspectives
=C2=A0=C2=A0=C2=A0 Tool presentations

Two kinds of= submissions will be considered: normal paper (15 pages
including biblio= graphy), and shorter papers describing work in progress
and preliminary = results (6 pages including bibliography). Submissions
will be made throu= gh EasyChair at:

https://easychair.org/conferences/?conf=3Dfi= de2019.

All papers will be peer-reviewed by at least two members= of the program
committee. They must describe original contributions who= se main results
and conclusions have not been published or submitted els= ewhere.
Preliminary proceedings, including all the papers selected for t= he
workshop, will be available electronically at the workshop. Post
p= roceedings will be proposed for publication with Electronic Proceedings
= in Theoretical Computer Science (EPTCS).

# List of Topics

The= workshop is open to contributions on all aspects of a system
developmen= t process, including specification, design, implementation,
analysis and= documentation. It welcomes the presentation of tools,
methods, techniqu= es and experiments. Topics of interest include, but are
not limited to, = the following:

=C2=A0=C2=A0=C2=A0 F-= IDE building: design and integration of lan= guages,
=C2=A0=C2=A0=C2=A0 development of user-friendly front-ends
= =C2=A0=C2=A0=C2=A0 How to make high-level logical and programming concepts = palatable
=C2=A0=C2=A0=C2=A0 to industrial developers
=C2=A0=C2=A0=C2= =A0 Integration of Object-Oriented and modularity features
=C2=A0=C2=A0= =C2=A0 Integration of static analyzers
=C2=A0=C2=A0=C2=A0 Integration of= automatic proof tools,
=C2=A0=C2=A0=C2=A0 theorem provers and testing t= ools
=C2=A0=C2=A0=C2=A0 Documentation tools
=C2=A0=C2=A0=C2=A0 Impact= of tools on certification
=C2=A0=C2=A0=C2=A0 Experience reports on deve= loping F-IDEs
=C2=A0=C2=A0=C2=A0 Experie= nce reports on using F-IDEs
=C2=A0=C2=A0= =C2=A0 Experience reports on formal methods-based assessments
=C2=A0=C2= =A0=C2=A0 in industrial applications

# Committees
## PC Co-Chairs=

=C2=A0=C2=A0=C2=A0 Rosemary Monahan, Maynooth University, rosemary = (dot) monahan (at)
nuim (dot) ie
=C2=A0=C2=A0=C2=A0 Virgile Prevosto,= Institut List, CEA Tech, Universit=C3=A9 Paris-Saclay,
virgile (dot) pr= evosto (at) cea (dot) fr
=C2=A0=C2=A0=C2=A0 Jos=C3=A9 Proen=C3=A7a, HASL= ab/INESC-TEC and Universidade do Minho, jose (dot)
p (dot) proenca (at) = inesctec (dot) pt

## Steering Committee

=C2=A0=C2=A0=C2=A0 Ca= therine Dubois, Samovar / ENSIIE, catherine (dot) dubois (at)
ensiie (do= t) fr
=C2=A0=C2=A0=C2=A0 Paolo Masci, HASLab/INESC-TEC and Universidade = do Minho, paolo (dot)
masci (at) inesctec (dot) pt
=C2=A0=C2=A0=C2=A0= Dominique M=C3=A9ry, LORIA / Universit=C3=A9 de Lorraine, dominique (dot) = mery
(at) loria (dot) fr

## Program Committee

=C2=A0=C2=A0= =C2=A0 Cinzia Bernardeschi (University of Pisa)
=C2=A0=C2=A0=C2=A0 Jos= =C3=A9 Creissac Campos (University of Minho)
=C2=A0=C2=A0=C2=A0 Paul Cur= zon (Queen Mary University of London)
=C2=A0=C2=A0=C2=A0 Damien Doligez = (INRIA)
=C2=A0=C2=A0=C2=A0 Andrea Domenici (University of Pisa)
=C2= =A0=C2=A0=C2=A0 Carlo A. Furia (Chalmers University of Technology)
=C2= =A0=C2=A0=C2=A0 Kenneth Lausdahl (Aarhus University)
=C2=A0=C2=A0=C2=A0 = Stephan Merz (Inria Nancy)
=C2=A0=C2=A0=C2=A0 Stefan Mitsch (Carnegie Me= llon University)
=C2=A0=C2=A0=C2=A0 Yannick Moy (Adacore)
=C2=A0=C2= =A0=C2=A0 C=C3=A9sar Mu=C3=B1oz (NASA Langley)
=C2=A0=C2=A0=C2=A0 Andrei= Paskevich (Universit=C3=A9 Paris-Sud, LRI)
=C2=A0=C2=A0=C2=A0 Fran=C3= =A7ois Pessaux (ENSTA ParisTech)
=C2=A0=C2=A0=C2=A0 James Power (Maynoot= h University)
=C2=A0=C2=A0=C2=A0 Steve Reeves (University of Waikato)=C2=A0=C2=A0=C2=A0 Bernhard Rumpe (RWTH Aachen University)
=C2=A0=C2=A0= =C2=A0 Claudio Sacerdoti-Cohen (University of Bologna)
=C2=A0=C2=A0=C2= =A0 Silvia Lizeth Tapia Tarifa (University of Oslo)
=C2=A0=C2=A0=C2=A0 M= attias Ulbricht (Karlsruhe Institute of Technology)
=C2=A0=C2=A0=C2=A0 L= aurent Voisin (Systerel)
=C2=A0=C2=A0=C2=A0 Makarius Wenzel (sketis.net)
=C2=A0=C2=A0=C2=A0 = Yi Zhang (U.S. Food and Drug Administration)

# Venue

The conf= erence will be held in Porto (Portugal), as part of FM Week 2019

# C= ontact

All questions about submissions should be emailed to the PC c= o-chairs
(see contact information above).

--
E tutto per oggi, a la prossima vo= lta
Virgile
--000000000000dece4f058989044d--