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 sympa.inria.fr (Postfix) with ESMTPS id 557767ED11 for ; Wed, 21 Sep 2016 16:18:13 +0200 (CEST) Authentication-Results: mail2-smtp-roc.national.inria.fr; spf=None smtp.pra=tobias.grosser@inf.ethz.ch; spf=None smtp.mailfrom=tobias.grosser@inf.ethz.ch; spf=None smtp.helo=postmaster@edge20.ethz.ch Received-SPF: None (mail2-smtp-roc.national.inria.fr: no sender authenticity information available from domain of tobias.grosser@inf.ethz.ch) identity=pra; client-ip=82.130.99.26; receiver=mail2-smtp-roc.national.inria.fr; envelope-from="tobias.grosser@inf.ethz.ch"; x-sender="tobias.grosser@inf.ethz.ch"; x-conformance=sidf_compatible Received-SPF: None (mail2-smtp-roc.national.inria.fr: no sender authenticity information available from domain of tobias.grosser@inf.ethz.ch) identity=mailfrom; client-ip=82.130.99.26; receiver=mail2-smtp-roc.national.inria.fr; envelope-from="tobias.grosser@inf.ethz.ch"; x-sender="tobias.grosser@inf.ethz.ch"; x-conformance=sidf_compatible Received-SPF: None (mail2-smtp-roc.national.inria.fr: no sender authenticity information available from domain of postmaster@edge20.ethz.ch) identity=helo; client-ip=82.130.99.26; receiver=mail2-smtp-roc.national.inria.fr; envelope-from="tobias.grosser@inf.ethz.ch"; x-sender="postmaster@edge20.ethz.ch"; x-conformance=sidf_compatible IronPort-PHdr: =?us-ascii?q?9a23=3AZ1sITRXx0idcHRUD8ysudOksk7/V8LGtZVwlr6E/?= =?us-ascii?q?grcLSJyIuqrYZRyFt8tkgFKBZ4jH8fUM07OQ6PG6HzRaqsjQ+DBaKdoXCE9D0Z?= =?us-ascii?q?1X1yUbQ+e7SmTDZMbwaCI7GMkQHHRExFqcdXZvJcDlelfJqWez5zNBUj/2NA5y?= =?us-ascii?q?O/inUtWK15f/hKiO/MiHaAxNgH+5YKhuBBSwtwTY8McM19hMMKE0nyfOqHpBYK?= =?us-ascii?q?x532RzPl+J10Lg4c2x9YUl/D5XoOks7eZBV6u8crg4X/pTDGJ1YCgO+MT3uEyb?= =?us-ascii?q?HkO07XwGXzBOnw=3D=3D?= X-IronPort-Anti-Spam-Filtered: true X-IronPort-Anti-Spam-Result: =?us-ascii?q?A0C8AQB3leJXhxpjglJeRwEBFgEBBQEBg?= =?us-ascii?q?wMBAQEBAXV9BqUhkUCEEyaHWDwQAQEBAQEBAQEBAQESAQEBCgsJCRkvgjIYgjt?= =?us-ascii?q?LgR4xiF4EAQmfJ5w7CwEBASOGN4IEhAyDVIJjgi8FmXWBZYRCi3eNMIxng3w1g?= =?us-ascii?q?0QEgVyGXgF+AQEB?= X-IPAS-Result: =?us-ascii?q?A0C8AQB3leJXhxpjglJeRwEBFgEBBQEBgwMBAQEBAXV9BqU?= =?us-ascii?q?hkUCEEyaHWDwQAQEBAQEBAQEBAQESAQEBCgsJCRkvgjIYgjtLgR4xiF4EAQmfJ?= =?us-ascii?q?5w7CwEBASOGN4IEhAyDVIJjgi8FmXWBZYRCi3eNMIxng3w1g0QEgVyGXgF+AQE?= =?us-ascii?q?B?= X-IronPort-AV: E=Sophos;i="5.30,373,1470693600"; d="scan'208";a="237734453" Received: from edge20.ethz.ch ([82.130.99.26]) by mail2-smtp-roc.national.inria.fr with ESMTP/TLS/DHE-RSA-AES256-SHA; 21 Sep 2016 16:18:12 +0200 Received: from CAS11.d.ethz.ch (172.31.38.211) by edge20.ethz.ch (82.130.99.26) with Microsoft SMTP Server (TLS) id 14.3.301.0; Wed, 21 Sep 2016 16:18:07 +0200 Received: from auth1-smtp.messagingengine.com (66.111.4.227) by mail.ethz.ch (172.31.38.211) with Microsoft SMTP Server (TLS) id 14.3.319.2; Wed, 21 Sep 2016 16:18:12 +0200 Received: from compute5.internal (compute5.nyi.internal [10.202.2.45]) by mailauth.nyi.internal (Postfix) with ESMTP id AE76F203AF for ; Wed, 21 Sep 2016 10:18:10 -0400 (EDT) Received: from web1 ([10.202.2.211]) by compute5.internal (MEProxy); Wed, 21 Sep 2016 10:18:10 -0400 Received: by mailuser.nyi.internal (Postfix, from userid 99) id 859286A4C0; Wed, 21 Sep 2016 10:18:10 -0400 (EDT) Message-ID: <1474467490.3029441.732646825.218E37C3@webmail.messagingengine.com> X-Sasl-Enc: 3zzzaFVWhQceLjisTNbEYgsMdEM5auCR+QYZVX0n93G/ 1474467490 From: Tobias Grosser To: MIME-Version: 1.0 Content-Transfer-Encoding: 7bit Content-Type: text/plain X-Mailer: MessagingEngine.com Webmail Interface - ajax-43c89091 Date: Wed, 21 Sep 2016 16:18:10 +0200 X-Originating-IP: [66.111.4.227] Subject: [Caml-list] PLDI 2017 call for papers *Call for Contributions* ==================== 2017 ACM Conference on Programming Language Design and Implementation (PLDI) June 19-23, 2017 in Barcelona, Spain http://conf.researchr.org/home/pldi-2017 PLDI is the premier forum in the field of programming languages and programming systems research, covering the areas of design implementation, theory, applications, and performance. PLDI welcomes outstanding research which clearly advances the field and has the potential to make a lasting contribution. *Important Dates* =============== Research paper submissions due 15 Nov 2016 Author response period 26-28 Jan 2017 Author notification 13 Feb 2017 *Author Instructions* ================== http://conf.researchr.org/track/pldi-2017/pldi-2017-papers Submission site: https://pldi17.hotcrp.com/ *Organizing Committee* ==================== General Chair: Albert Cohen, INRIA, France Program Chair: Martin Vechev, ETH Zurich, Switzerland Workshops & Tutorials Chair: Aaron Smith, University of Edinburgh Publicity Chairs: Adrian Sampson, Cornell, USA Tobias Grosser, ETH Zurich, Switzerland http://conf.researchr.org/committee/pldi-2017/pldi-2017-organizing-committee -- Tobias Grosser