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 ESMTP id 81DB65D4 for ; Tue, 16 Apr 2019 15:22:56 +0000 (UTC) X-IronPort-AV: E=Sophos;i="5.60,358,1549926000"; d="scan'208";a="378908181" Received: from sympa.inria.fr ([193.51.193.213]) by mail2-relais-roc.national.inria.fr with ESMTP; 16 Apr 2019 17:22:52 +0200 Received: by sympa.inria.fr (Postfix, from userid 20132) id 7633A82697; Tue, 16 Apr 2019 17:22:52 +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 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 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 Reply-To: Thomas Wies X-Loop: caml-list@inria.fr X-Sequence: 17491 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: 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)