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 3BC355D4 for ; Sun, 23 Jun 2019 08:01:42 +0000 (UTC) X-IronPort-AV: E=Sophos;i="5.63,407,1557180000"; d="scan'208";a="388663580" Received: from sympa.inria.fr ([193.51.193.213]) by mail2-relais-roc.national.inria.fr with ESMTP; 23 Jun 2019 10:01:13 +0200 Received: by sympa.inria.fr (Postfix, from userid 20132) id 468AA826E3; Sun, 23 Jun 2019 10:01:13 +0200 (CEST) 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 179A38247D; Sun, 23 Jun 2019 09:59:53 +0200 (CEST) Authentication-Results: mail3-smtp-sop.national.inria.fr; spf=None smtp.pra=nevrenato@gmail.com; spf=Pass smtp.mailfrom=nevrenato@gmail.com; spf=None smtp.helo=postmaster@mail-wm1-f65.google.com IronPort-PHdr: =?us-ascii?q?9a23=3ApSYCnxGWN1VEZU+3e6P9fp1GYnF86YWxBRYc798d?= =?us-ascii?q?s5kLTJ7ypM2wAkXT6L1XgUPTWs2DsrQY0rCQ6/GrADZZqdbZ6TZeKcUKD0dEwe?= =?us-ascii?q?wt3CUYSPafDkP6KPO4JwcbJ+9lEGFfwnegLEJOE9z/bVCB6le77DoVBwmtfVEt?= =?us-ascii?q?fre9FYHdldm42P6v8JPPfQpImCC9YbRvJxmqsAndrMYbjZZ8Jqor1hfEpnREd/?= =?us-ascii?q?lIyW91OFmfmwrw6tqq8JNs7ihcpugt+9JcXan/Yq81UaFWADM6Pm4v+cblrwPD?= =?us-ascii?q?TQyB5nsdVmUZjB9FCBXb4R/5Q5n8rDL0uvJy1yeGM8L2S6s0WSm54KdwVBDoki?= =?us-ascii?q?YHOCUn/2zRl8d9kbhUoBOlpxx43o7UfISYP+dwc6/BYd8XQ3dKUcFPWSNfDYK8?= =?us-ascii?q?c5IBD+wFPedYtoXxvkcDoBW8CASiHe/j1jBFjWLy0aA6z+gtFAfL1xEiEd0Tqn?= =?us-ascii?q?TZtNb7OroSX+6rwqfH0TvMYPxZ1zrm9IjFcAosre2QUb9qc8fcz1QkGQPfjlWX?= =?us-ascii?q?rIzoJzWV2foTs2iB8eVgU/igi3IgqwxqrTivw90jiojNho4P1l/E8iB5zYAoLt?= =?us-ascii?q?O2T057ZMSrEJpWtyyCKot2RMIiTHpvuCogy70GpZi2dzUJxpQ/3xPTdeCLfoyS?= =?us-ascii?q?7h/gVOudOyp0iGxmdb6lhhu/8VCsxvPgWsWozVpHqylIncPQun0IyRPe5NOIRu?= =?us-ascii?q?Z480ql3TuDyx3f5+RKLEwpl6fXNZsswrA0m5UPvknOGzL6lUb4jKKZc0gr5uyl?= =?us-ascii?q?5P/nb7jgu5SSLZV7ihvkPaQrgsG/Afo3MgwJX2WD/OSzzrzj/UngTLREi/06j7?= =?us-ascii?q?DVsJ7bKMkbvKK5DAhV0oEs6xa7ETiqysgXnX4CLF5deRKHiZbmO03WLfzmEfuy?= =?us-ascii?q?h06gnTRryvzcI7HtHJbAImLCnbrhZbp97lRTyAs3zdBR/ZJUDbQBLer1WkDvqt?= =?us-ascii?q?zYFAE2MwquzOb7D9VwzYweWWeVDa+YNKPeq0OH5uUqI+WUfo8apC79K+Q55/7p?= =?us-ascii?q?lXI2hUUSfayt3ZcObHC4H+9mI1mCbHr3gtYBFH8KsRAkQOzrjl2CSz9TaGyoU6?= =?us-ascii?q?Iy/DExEJimApvbRoCxnLyB2z+2EYFRZmBfE1yDDXPod5ifVPoXcyKTIsphkiQe?= =?us-ascii?q?WrS7So8h0wuutA7gxLZ9IOrU4H5QiZW2nvozwaubshUz6zF1Fc3XmzWPSWZckm?= =?us-ascii?q?JOWjo32qB451RhnASty6991vpVC8Ze4fpVVS81MJfdy6pxDNWhCUr6Yt6VRQP+?= =?us-ascii?q?EZ2dCjYrQ4dsm4ZSMXY4IM2ri1X45wTvG6UczuXZC5k986aa1H/0dZ4kliT2kZ?= =?us-ascii?q?I5hlxjefNhcG2rgqklqlrWDo/N1lqczuOkK/la0ynK+2OOi2GJuRMACV8iYeD+?= =?us-ascii?q?RXkaI3Dug5H870LGQaWpDO1+YAREwM+GbKBNb4+wgA=3D=3D?= X-IronPort-Anti-Spam-Filtered: true X-IronPort-Anti-Spam-Result: =?us-ascii?q?A0A4KwB0MA9df0GAVdFjghuBLgISgT1SW?= =?us-ascii?q?oQWg3uOe4MAiVmQFwkBAwEKAQEFHgoCAQGBS4VVGwcBBDQTAQMBAQQBAQIBAgM?= =?us-ascii?q?BEwEBCQsLCCeKQAxCARABgWYMDA+DDQYdARsMBQcGAxIQDwImAiURAQUBIiyDC?= =?us-ascii?q?oFpAQMdAQ6TZYMfPIsggRQFAReCegWCSYFnChknDWITgScCBwkBCHomAgEBiRe?= =?us-ascii?q?CRReBf4ERhiaBR4MxglgEjAKIP5VICYgJjW8bgiiHDYNRikGEEKAZAgoHBg8hg?= =?us-ascii?q?UaBeXCBAYI7CYFAhGiCbodmPjMBgQQ+g2WIKYJSAQE?= X-IPAS-Result: =?us-ascii?q?A0A4KwB0MA9df0GAVdFjghuBLgISgT1SWoQWg3uOe4MAiVm?= =?us-ascii?q?QFwkBAwEKAQEFHgoCAQGBS4VVGwcBBDQTAQMBAQQBAQIBAgMBEwEBCQsLCCeKQ?= =?us-ascii?q?AxCARABgWYMDA+DDQYdARsMBQcGAxIQDwImAiURAQUBIiyDCoFpAQMdAQ6TZYM?= =?us-ascii?q?fPIsggRQFAReCegWCSYFnChknDWITgScCBwkBCHomAgEBiReCRReBf4ERhiaBR?= =?us-ascii?q?4MxglgEjAKIP5VICYgJjW8bgiiHDYNRikGEEKAZAgoHBg8hgUaBeXCBAYI7CYF?= =?us-ascii?q?AhGiCbodmPjMBgQQ+g2WIKYJSAQE?= X-IronPort-AV: E=Sophos;i="5.63,407,1557180000"; d="scan'208";a="311104196" X-MGA-submission: =?us-ascii?q?MDE56RLa0pJjOvRntZp25dXtVqAtR3raflxN1c?= =?us-ascii?q?qIczxVIqKBl5MvssSVfEN2m4MQrYE4zIl6W1NjdcPbovH5lqAhHTc9Aa?= =?us-ascii?q?TsX4KP06Rn3wlhPxM8jFSj4IjOnbJbsOjiB2IK/69t3NV2EdPlmUW9Fy?= =?us-ascii?q?D2W69+64sgF4IYR/QnYZhDuQ=3D=3D?= Received: from mail-wm1-f65.google.com ([209.85.128.65]) by mail3-smtp-sop.national.inria.fr with ESMTP/TLS/AES128-GCM-SHA256; 23 Jun 2019 09:59:52 +0200 Received: by mail-wm1-f65.google.com with SMTP id a15so9867831wmj.5; Sun, 23 Jun 2019 00:59:52 -0700 (PDT) DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/relaxed; d=gmail.com; s=20161025; h=message-id:subject:from:to:date:user-agent:mime-version :content-transfer-encoding; bh=jkLwiwRQWr4A4+m+DOsPeDkOp4T97YfgShjlBzUyoLE=; b=MoqWiCVDOLAVlrQ+eCu3Cx6Ld5STwXn3i42TOTVlgCu7HDa77sjnPMMWBNdA/gAhWI ZjWWwbMrRP4lNqpu9xCdQhSzb5iWNwaZxQixup9ku0L6pKMiq49xUZslnd9P5YUAz9Zi lGuybVfb13E09Glrj6+YRGAJt4RiXPqglx0xS7gTg7LtShPb0Aiw5FgNGR82SdyRMezF poRgusJRKA8Wf3lpMwenO9tPdHRGrkq9IaDbtuTwQbNMg/Ly0Zr4y7L2mGBQP1gGqDAg 5Te31uiLt6Z1SDDA79BCGcCPOoJak1VMic5ytRr1vyYKEkdozF7Epuh5vQm6iteb7tw+ HjVw== X-Google-DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/relaxed; d=1e100.net; s=20161025; h=x-gm-message-state:message-id:subject:from:to:date:user-agent :mime-version:content-transfer-encoding; bh=jkLwiwRQWr4A4+m+DOsPeDkOp4T97YfgShjlBzUyoLE=; b=iO0Mbs8A1k7mJR2DUseJP869lrD+fR0paFqxBCiU0VXuJWXga/6O8oRbmp3CXnX8uj YFQEbhv5KfxeG8Our52xcshnui6frd30d4iiQ4lRQHQeMUEUdNmXbpvbwr6FkrmkFnhs 5IcMD2lC0xL4Lv2Q2Pic+XtkzCEDN4BB+KetIsU0/NBRZCB2rOM3WR1dTUjqUz5mggdd 6XI04G1RPuEuPLHrNbH99BTTVMKcKpV1j1wxyqPNGcFxps2HQq/n/nRJni0VwY/8BwTW a+mQ3Z2SgpqHuaDivbOIJqBedhhMIIZFeM/mMgAHLqwbd0+OMICs13p8fxuF8fqIveZx o9pA== X-Gm-Message-State: APjAAAXWkzs2rLKLoIlHg+wvrZ+7+Sl+ClvwNeeaolcqPPOupsH5HqOG 5Tz1pFSMFIJe6Lz715S2M90= X-Google-Smtp-Source: APXvYqzLtmQPaaMpVfQnkcP72CBWzVAGAF7Vihwo23U+4N5XiaFW8fe+bkotGriPYPvFl8zU4m/0YA== X-Received: by 2002:a1c:e715:: with SMTP id e21mr11157643wmh.16.1561276791625; Sun, 23 Jun 2019 00:59:51 -0700 (PDT) Received: from localhost.localdomain ([2001:8a0:e3b1:9901:3172:f9c4:18f4:c9b5]) by smtp.gmail.com with ESMTPSA id u25sm6675050wmc.3.2019.06.23.00.59.49 (version=TLS1_3 cipher=AEAD-AES256-GCM-SHA384 bits=256/256); Sun, 23 Jun 2019 00:59:50 -0700 (PDT) Message-ID: <43e463de4f80c8251718ebb40c916cafb9af6ad9.camel@gmail.com> From: nevrenato@gmail.com To: "J.N. Oliveira" Date: Sun, 23 Jun 2019 08:59:48 +0100 Content-Type: text/plain; charset="UTF-8" User-Agent: Evolution 3.30.3 (3.30.3-1.fc29) Mime-Version: 1.0 Content-Transfer-Encoding: 7bit X-Validation-by: nevrenato@gmail.com Subject: [Caml-list] Formal Methods 2019 - LOPSTR (Third Call for Papers, Deadline extension) Reply-To: nevrenato@gmail.com X-Loop: caml-list@inria.fr X-Sequence: 17635 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: ====================================================================== LOPSTR 2019: Third Call for Papers ====================================================================== ** Please note that paper submission deadlines have been extended as follows: Abstract submission: June 25, 2019 Paper/Extended abstract submission: June 30, 2019 (AoE, UTC-12) ** ====================================================================== 29th International Symposium on Logic-Based Program Synthesis and Transformation LOPSTR 2019 http://www.cs.unibo.it/projects/lopstr19/ Porto, Portugal, October 8-10, 2019 (co-located with the Symposium on Formal Methods, FM'19 and a part of the FM Week) The aim of the LOPSTR series is to stimulate and promote international research and collaboration on logic-based program development. LOPSTR is open to contributions in logic-based program development in any language paradigm. LOPSTR has a reputation for being a lively, friendly forum for presenting and discussing work in progress. Formal proceedings are produced only after the symposium so that authors can incorporate this feedback in the published papers. Topics of interest cover all aspects of logic-based program development, all stages of the software life cycle, and issues of both programming-in-the-small and programming-in-the-large. This year LOPSTR extends its traditional topics to include also logic-based program development based on integration of sub-symbolic and symbolic models, on machine learning techniques and on differential semantics. Both full papers and extended abstracts describing applications in all these areas are especially welcome. Contributions are welcome on all aspects of logic-based program development, including, but not limited to: * synthesis * transformation * specialization * composition * optimization * inversion * specification * analysis and verification * testing and certification * program and model manipulation * machine learning for program development * integration of sub-symbolic and symbolic models * differential semantics * transformational techniques in SE * applications and tools Important Dates Abstract submission: June 25, 2019 (**new**) Paper/Extended abstract submission: June 30, 2019 AoE (**new**) Notification: July 24, 2018 Camera-ready (for electronic pre-proceedings): August 7, 2019 Symposium: October 8-10, 2019 Submission Guidelines Authors should submit an electronic copy of the paper (written in English) in PDF, formatted in the Lecture Notes in Computer Science style. Submissions cannot exceed 15 pages including references but excluding well-marked appendices not intended for publication. Papers should be submitted via the Easychair submission website for LOPSTR 2019. Best Paper Award and Prize A best paper award will be granted, which will include a 500 EUR prize provided by Springer. This award will be given to the best paper submitted to the conference, based on the relevance, originality, and technical quality. The program committee may split the award among two or more papers, also considering authorship (e.g., student paper). Proceedings The formal post-conference proceedings will be published by Springer in the Lecture Notes in Computer Science series. Full papers can be directly accepted for publication in the formal proceedings, or accepted only for presentation at the symposium and inclusion in informal proceedings. After the symposium, a selection of the best papers might be invited for submission to a special issue of a journal. Invited Speakers John Gallagher, Roskilde University, Denmark Naoki Kobayashi, The University of Tokyo, Japan (joint with PPDP) German Vidal, Polytechnic University of Valencia, Spain (joint with PPDP)