From mboxrd@z Thu Jan 1 00:00:00 1970 Return-Path: X-Original-To: caml-list@sympa.inria.fr Delivered-To: caml-list@sympa.inria.fr 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 77E477F61E for ; Tue, 24 Jan 2017 10:37:13 +0100 (CET) Authentication-Results: mail3-smtp-sop.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 (mail3-smtp-sop.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=mail3-smtp-sop.national.inria.fr; envelope-from="tobias.grosser@inf.ethz.ch"; x-sender="tobias.grosser@inf.ethz.ch"; x-conformance=sidf_compatible Received-SPF: None (mail3-smtp-sop.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=mail3-smtp-sop.national.inria.fr; envelope-from="tobias.grosser@inf.ethz.ch"; x-sender="tobias.grosser@inf.ethz.ch"; x-conformance=sidf_compatible Received-SPF: None (mail3-smtp-sop.national.inria.fr: no sender authenticity information available from domain of postmaster@edge20.ethz.ch) identity=helo; client-ip=82.130.99.26; receiver=mail3-smtp-sop.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=3A+fsFjBR/CtnFRMCrEBcjltrtEdpsv+yvbD5Q0YIu?= =?us-ascii?q?jvd0So/mwa6yZhSN2/xhgRfzUJnB7Loc0qyN4vymBDVLuc/JmUtBWaQEbwUCh8?= =?us-ascii?q?QSkl5oK+++Imq/EsTXaTcnFt9JTl5v8iLzG0FUHMHjew+a+SXqvnYdFRrlKAV6?= =?us-ascii?q?OPn+FJLMgMSrzeCy/IDYbxlViDanb75/KBq7oR/Ru8ULjoduNrs9wQbVr3VVfO?= =?us-ascii?q?hb2XlmLk+JkRbm4cew8p9j8yBOtP8k6sVNT6b0cbkmQLJBFDgpPHw768PttRnY?= =?us-ascii?q?UAuA/WAcXXkMkhpJGAfK8hf3VYrsvyTgt+p93C6aPdDqTb0xRD+v4btnRAPuhS?= =?us-ascii?q?waMDE07G/ah85+ga5CvB6sqAF0z4rUbY2JMfZzeL7Wc9EHSmpbRstfVCxPDJ2z?= =?us-ascii?q?YIUAE+UPOvtWoYf8p1YVsRuzBxOhCP/1xzNUhHL727Ax3eQ7EQHB2QwtB8wAsH?= =?us-ascii?q?PPo9X0LqgSSv2+wqjSzTXEdPNWwiny6JLVeR0mvfGMWql/ccvLxkk0DQ/FgU+Q?= =?us-ascii?q?qYv+PzOOyOsNqXOW7+tmVeKhkWIotR1xojiux8s2lobJhpsYx1bZ/it3x4Y1IM?= =?us-ascii?q?e3SE99YdO8CptfqTqaOJVsTcM4X25ouDw6xqcBuZ6hcygHzoksyR3Ha/GfcIWE?= =?us-ascii?q?/AjvWPufLDtknn5ofLayiwys/UWh0uHxV8i53ExXoiZYj9XArH8A2wbN5sSZSf?= =?us-ascii?q?Zw+Fqq1yyV2ADJ8O5EJFg5larFJJ4lxb49joQcvlnMHiDohkn6kLWaeVs4+uio?= =?us-ascii?q?6uXreKnppp+EO491jAHxLLgul9S8DOgmKAQCQmaW9fim2LDn+UD1WqtGg/wunq?= =?us-ascii?q?ncqp/aJMAbpqCjAw9S14Yu8wq/DzC939QZh3YHN0hJeB2dj4juIFHOO+73De2k?= =?us-ascii?q?jlStljdryerKMaP9ApXNL3nPiqvufbZl505G1AUz1cxf545TCrwZPP38QErxtN?= =?us-ascii?q?jBAh89Mgy02PrnBc5m1oIeXGKPGrWWPLnTsV+O/OIvIvODaJUbuDbneLAZ4Ku6?= =?us-ascii?q?hnY8nRoZfLK19ZoRcnGxWPp8dRa3e33p1+sGG2YDpUIRVuvxk1CYGWpPYHyzVr?= =?us-ascii?q?l66Ss8E5mrF6/CQI7rjaCBzmGwHssFNSh9FlmQHCKwJM2/UPAWZXfPesI=3D?= X-IronPort-Anti-Spam-Filtered: true X-IronPort-Anti-Spam-Result: =?us-ascii?q?A0ARAQCiH4dYhxpjglJdHQEFAQsBGAEFA?= =?us-ascii?q?QsBgwkBAQEBAX+BCgaDTIp7kHKDXY9hgg+CDSyBSIZAQBcBAQEBAQEBAQEBARI?= =?us-ascii?q?BAQEKCwkKHS+CMwoHgk+BCwImAi4bFoktBAEBCJ1bkAGCJYsLCQGBAYVAgg2EH?= =?us-ascii?q?oNZggAMLi6CMQWVPIYRgXyEZoxpARdShD2JaJJ3IAGBThOFNQSBbYc6AYEMAQE?= =?us-ascii?q?B?= X-IPAS-Result: =?us-ascii?q?A0ARAQCiH4dYhxpjglJdHQEFAQsBGAEFAQsBgwkBAQEBAX+?= =?us-ascii?q?BCgaDTIp7kHKDXY9hgg+CDSyBSIZAQBcBAQEBAQEBAQEBARIBAQEKCwkKHS+CM?= =?us-ascii?q?woHgk+BCwImAi4bFoktBAEBCJ1bkAGCJYsLCQGBAYVAgg2EHoNZggAMLi6CMQW?= =?us-ascii?q?VPIYRgXyEZoxpARdShD2JaJJ3IAGBThOFNQSBbYc6AYEMAQEB?= X-IronPort-AV: E=Sophos;i="5.33,278,1477954800"; d="scan'208";a="210630112" Received: from edge20.ethz.ch ([82.130.99.26]) by mail3-smtp-sop.national.inria.fr with ESMTP/TLS/DHE-RSA-AES256-SHA; 24 Jan 2017 10:37:12 +0100 Received: from CAS22.d.ethz.ch (172.31.51.112) by edge20.ethz.ch (82.130.99.26) with Microsoft SMTP Server (TLS) id 14.3.319.2; Tue, 24 Jan 2017 10:37:08 +0100 Received: from auth2-smtp.messagingengine.com (66.111.4.228) by mail.ethz.ch (172.31.51.112) with Microsoft SMTP Server (TLS) id 14.3.319.2; Tue, 24 Jan 2017 10:37:11 +0100 Received: from compute1.internal (compute1.nyi.internal [10.202.2.41]) by mailauth.nyi.internal (Postfix) with ESMTP id 5CF4F209F4 for ; Tue, 24 Jan 2017 04:37:10 -0500 (EST) Received: from web1 ([10.202.2.211]) by compute1.internal (MEProxy); Tue, 24 Jan 2017 04:37:10 -0500 X-ME-Sender: Received: by mailuser.nyi.internal (Postfix, from userid 99) id 3C778AA6C8; Tue, 24 Jan 2017 04:37:10 -0500 (EST) Message-ID: <1485250629.1980092.857605952.55639B25@webmail.messagingengine.com> From: Tobias Grosser To: MIME-Version: 1.0 Content-Transfer-Encoding: 7bit Content-Type: text/plain; charset="utf-8" X-Mailer: MessagingEngine.com Webmail Interface - ajax-37809a74 Date: Tue, 24 Jan 2017 10:37:09 +0100 X-Originating-IP: [66.111.4.228] Subject: [Caml-list] PLDI workshop and proposal deadline - Jan 30 Reminder! The final deadline for PLDI W&T proposals is coming up on January 30. Please see the PLDI website for more information. http://conf.researchr.org/track/pldi-2017/pldi-2017-workshops-and-tutorials. Tobias Grosser PLDI Publicity Chair