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 E2651822B9 for ; Tue, 16 Apr 2019 17:22:47 +0200 (CEST) Authentication-Results: mail3-smtp-sop.national.inria.fr; spf=None smtp.pra=wies@cs.nyu.edu; spf=None smtp.mailfrom=wies@cs.nyu.edu; spf=None smtp.helo=postmaster@mx.cims.nyu.edu Received-SPF: None (mail3-smtp-sop.national.inria.fr: no sender authenticity information available from domain of wies@cs.nyu.edu) identity=pra; client-ip=128.122.49.99; receiver=mail3-smtp-sop.national.inria.fr; envelope-from="wies@cs.nyu.edu"; x-sender="wies@cs.nyu.edu"; x-conformance=sidf_compatible Received-SPF: None (mail3-smtp-sop.national.inria.fr: no sender authenticity information available from domain of wies@cs.nyu.edu) identity=mailfrom; client-ip=128.122.49.99; receiver=mail3-smtp-sop.national.inria.fr; envelope-from="wies@cs.nyu.edu"; x-sender="wies@cs.nyu.edu"; x-conformance=sidf_compatible Received-SPF: None (mail3-smtp-sop.national.inria.fr: no sender authenticity information available from domain of postmaster@mx.cims.nyu.edu) identity=helo; client-ip=128.122.49.99; receiver=mail3-smtp-sop.national.inria.fr; envelope-from="wies@cs.nyu.edu"; x-sender="postmaster@mx.cims.nyu.edu"; x-conformance=sidf_compatible IronPort-PHdr: =?us-ascii?q?9a23=3AZlEa6BQIP0wsGHiog0KZCoCyAdpsv+yvbD5Q0YIu?= =?us-ascii?q?jvd0So/mwa69bBGN2/xhgRfzUJnB7Loc0qyK6vmmAjVLscjJ8ChbNsAVD1ld0Y?= =?us-ascii?q?RetjdjKfbNMVf8Iv/uYn5yN+V5f3ghwUuGN1NIEt31fVzYry76xzcTHhLiKVg9?= =?us-ascii?q?fbytScbdgMutyu+95YDYbRlWizqhe7NyKwi9oRnMusUMjoZuN7s9xgHHr3dVdO?= =?us-ascii?q?hbxmJlLk+Xkxrg+8u85pFu/zlMt/4768JMTaD2dLkkQLJFCzgrL3o779DxuxnZ?= =?us-ascii?q?SguP6HocUmEInRdNHgPI8hL0UIrvvyXjruZy1zWUMsPwTbAvRDSt9LxrRwPyiC?= =?us-ascii?q?cGLDE27mfagdFtga1BoRKhoxt/w5PIYIyQKfFzcL/Rcc8cSGFcWMtaSi5PDZ6m?= =?us-ascii?q?b4YXD+QPIPhWoYrzqVQAohSxGQaiCfjzyjJLnHL6wbE23uojHAzAwQcuH8gOsH?= =?us-ascii?q?PRrNjtKqkSUee1zKzSwjXYcvhZ2Tb955bTchs8pvyNU7NwftTKyUQ0CwzFlU+c?= =?us-ascii?q?qYrlPjOIzOgCrXWU7/d5WO+plmUppQZxoj21ycctjInEnoQVy1DZ9Slj3ok6OM?= =?us-ascii?q?C4RFZlbtG+C5tRtz2VN4tsTcMjWWFkoiE6yqcJuZO9YSMEy4wnygbCZ/CZcIWE?= =?us-ascii?q?+A/vWPiPLTtii39ofKizihK2/ES41+HwSMq53ExXoiZbjNXArH8A2hjJ5sWDSP?= =?us-ascii?q?Zw+Fqq1yyV2ADJ8O5EJFg5larFJJ4lxb49jp8TsEvZEiDqmUX2ibSWel8i+umo?= =?us-ascii?q?9uTreKvpqYKBN4NsiwH+NLohmtCnDOglLAQDXHKX9fmi2LH950H0T7FHgucyn6?= =?us-ascii?q?TdqJzaIN4Upq+9Aw9byIYj7BO/Ai+o0dQZg3YHN0lIdw6cj4TzPVHPIO34Ae2h?= =?us-ascii?q?jFuxjTdn3+rGMaH5ApXRMnjDl6/scqpn5E5ZzAo/1NRf55NPCrEdO//zQU/wtN?= =?us-ascii?q?nADhAjKQC0wuDnCM981owEQ26PDLWZY+vutgqD7+crZu2Nf5M9uTDnKvFj6eS9?= =?us-ascii?q?o2U+nAohfa6s1IBfV3G1BbwyPESUelLnmZEHAHpMswYjGr+5wGaeWCJeMi7hF5?= =?us-ascii?q?k34Ss2Xdr/UNXzA7u1ibnE5x+VW51bYmcfVQKJATHjdoCfHfEddWSfLtIzymVY?= =?us-ascii?q?B4jkcJco0FSVjCG/06Bud7CG8TZes4P+ktV5+r+LzEBgxXlPF82Yllq1YSRxl2?= =?us-ascii?q?IMSSUx2fkl80dmjFGSzO51j+EKTdE=3D?= X-IronPort-Anti-Spam-Filtered: true X-IronPort-Anti-Spam-Result: =?us-ascii?q?A0CIAgB48rVcmGMxeoBmHQEBBQEHBQGBZ?= =?us-ascii?q?YJ5A08yhDaVDQiIKpI/AQ0BASOBVYh+GwYGNBMBAwEBCgECAQEBARMBAQEBAQg?= =?us-ascii?q?LCwYpIwyCOiKDEgYPATUFNwoCJgJsCAEBEIMOAYIID5pojniBL4VHgxIHgU6BC?= =?us-ascii?q?yeLSheBfxJ/JwyDHYEEgV0BAxiBIHSCPYJXA4pxjQqBSYxyCYIIhguMCCGLURK?= =?us-ascii?q?JE5IVjXECBAIEBQIUAYFmVoEhMxoIHRODKAiCGQKEP4QqhVsjAY5SglIBAQ?= X-IPAS-Result: =?us-ascii?q?A0CIAgB48rVcmGMxeoBmHQEBBQEHBQGBZYJ5A08yhDaVDQi?= =?us-ascii?q?IKpI/AQ0BASOBVYh+GwYGNBMBAwEBCgECAQEBARMBAQEBAQgLCwYpIwyCOiKDE?= =?us-ascii?q?gYPATUFNwoCJgJsCAEBEIMOAYIID5pojniBL4VHgxIHgU6BCyeLSheBfxJ/Jwy?= =?us-ascii?q?DHYEEgV0BAxiBIHSCPYJXA4pxjQqBSYxyCYIIhguMCCGLURKJE5IVjXECBAIEB?= =?us-ascii?q?QIUAYFmVoEhMxoIHRODKAiCGQKEP4QqhVsjAY5SglIBAQ?= X-IronPort-AV: E=Sophos;i="5.60,358,1549926000"; d="scan'208";a="303088119" X-MGA-submission: =?us-ascii?q?MDHT4bSHBjfb2DJxj8Nrqtw5x0FcdtVPFE2sAf?= =?us-ascii?q?V4x4bGIpMFLecQtDDNWxawNhIsIHTxTOPYikBbqmrPK4ygv8zG4AUaXE?= =?us-ascii?q?3CZdhORRdkQacQtlip86R+HrTorvoarNNQ0u3Lwi+MLdqCzsbgbkA5pn?= =?us-ascii?q?dZ9oykhPxwapWRXP/nx9s83Q=3D=3D?= Received: from mx.cims.nyu.edu ([128.122.49.99]) by mail3-smtp-sop.national.inria.fr with ESMTP/TLS/DHE-RSA-AES256-GCM-SHA384; 16 Apr 2019 17:22:46 +0200 Received: from smtp.cs.nyu.edu (smtp.cs.nyu.edu [128.122.49.97]) by mx.cims.nyu.edu (8.15.1+Sun/8.15.1) with ESMTPS id x3GFMWnk025252 (version=TLSv1.2 cipher=DHE-RSA-AES256-GCM-SHA384 bits=256 verify=NOT) for ; Tue, 16 Apr 2019 11:22:35 -0400 (EDT) Received: from [172.24.71.250] (172-24-71-250.dynapool.nyu.edu [172.24.71.250]) (authenticated bits=0) by smtp.cs.nyu.edu (8.14.7/8.14.7) with ESMTP id x3GFMVVr027442 (version=TLSv1/SSLv3 cipher=ECDHE-RSA-AES256-GCM-SHA384 bits=256 verify=NOT) for ; Tue, 16 Apr 2019 11:22:32 -0400 From: Thomas Wies To: caml-list@inria.fr Message-ID: <7e1bf85f-5f76-24fd-8090-dd9890edf8ae@cs.nyu.edu> Date: Tue, 16 Apr 2019 11:22:31 -0400 User-Agent: Mozilla/5.0 (X11; Linux x86_64; rv:60.0) Gecko/20100101 Thunderbird/60.6.1 MIME-Version: 1.0 Content-Type: text/plain; charset=utf-8 Content-Language: en-US Content-Transfer-Encoding: 8bit X-Greylist: inspected by milter-greylist-4.6.2 (mx.cims.nyu.edu [128.122.49.99]); Tue, 16 Apr 2019 11:22:35 -0400 (EDT) for IP:'128.122.49.97' DOMAIN:'smtp.cs.nyu.edu' HELO:'smtp.cs.nyu.edu' FROM:'wies@cs.nyu.edu' RCPT:'' X-Greylist: Sender IP whitelisted, not delayed by milter-greylist-4.6.2 (mx.cims.nyu.edu [128.122.49.99]); Tue, 16 Apr 2019 11:22:35 -0400 (EDT) X-Virus-Scanned: clamav-milter 0.99.4 at mx X-Virus-Status: Clean X-Scanned-By: MIMEDefang 2.80 on 128.122.49.99 Subject: [Caml-list] SYNT 2019: Call for Abstracts Call for Abstracts ---------------------------------------------------------------------- 8th Workshop on Synthesis SYNT 2019 ---------------------------------------------------------------------- July 14, 2019 New York, NY, USA A Satellite Workshop of CAV 2019 http://cs.nyu.edu/acsys/synt2019/ Important Dates --------------- * Submission deadline: May 3, 2019 * Notification: May 31, 2019 * Workshop: July 14, 2019 Objectives ---------- The SYNT workshop aims to bring together researchers interested in the broad area of synthesis of computing systems. The workshop fosters the development of frontier techniques in automating the development of computing systems and is inclusive in its interpretation of the term synthesis Topics of interest include, but are not limited to: * algorithms and tools for program synthesis and reactive (discrete-time, timed, hybrid, ...) synthesis, * specification languages and optimization in synthesis, * complexity and decidability results for synthesis, * case studies of software or hardware synthesis, * connections between verification and synthesis, * synthesis by model learning, * connections between synthesis and inductive programming, * new approaches or applications for synthesis, * description and analysis of benchmark families for synthesis. Submission ---------- SYNT 2019 welcomes submissions of extended abstracts of up to 3 pages in the two-column sub-format of the ACM proceedings format. Submissions will be judged on how interesting they are to the SYNT community. Overlap with previously published work should be indicated, but does not disqualify a submission if the presentation can be expected to be of enough interest. Copies of the accepted submissions will be provided to the participants. Submission is via easychair.org: . Invited Speakers ---------------- Forthcoming. Program Chairs -------------- * Markus Rabe (Google, USA) * Thomas Wies (NYU, USA) Program Committee ----------------- * Roderick Bloem (Graz University of Technology, Austria) * Pavol Cerny (University of Colorado Boulder, USA) * Supratik Chakraborty (IIT Bombay, India) * Christina David (University of Cambridge, UK) * Rayna Dimitrova (University of Leicester, UK) * Rüdiger Ehlers (University of Bremen, Germany) * Bernd Finkbeiner (Saarland University, Germany) * Dana Fisman (Ben Gurion University, Israel) * Swen Jacobs (CISPA, Germany) * Viktor Kuncak (EPFL, Switzerland) * Lucas Martinelli Tabajara (Rice University, USA) * Necmiye Ozay (University of Michigan, USA) * Doron Peled (Bar Ilan University, Israel) * Guillermo Perez (University of Antwerp, Belgium) * Elizabeth Polgreen (University of Oxford, UK) * Mukund Raghothaman (University of Pennsylvania, USA) * Mark Santolucito (Yale University, USA) * Sven Schewe (University of Liverpool, UK) * Martina Seidl (Johannes Kepler University, Austria) * Eran Yahav (Technion, Israel)