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 mail2-relais-roc.national.inria.fr (mail2-relais-roc.national.inria.fr [192.134.164.83]) by sympa.inria.fr (Postfix) with ESMTPS id 2A72E8011C for ; Mon, 17 Apr 2017 22:09:06 +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=3AP/gwEBEZ3HEFFgTb+n+P251GYnF86YWxBRYc798d?= =?us-ascii?q?s5kLTJ7zr8SwAkXT6L1XgUPTWs2DsrQf2raQ6/iocFdDyK7JiGoFfp1IWk1Nou?= =?us-ascii?q?QttCtkPvS4D1bmJuXhdS0wEZcKflZk+3amLRodQ56mNBXdrXKo8DEdBAj0OxZr?= =?us-ascii?q?KeTpAI7SiNm82/yv95HJbQhFgDWwbaluIBmqsA7cqtQYjYx+J6gr1xDHuGFIe+?= =?us-ascii?q?NYxWNpIVKcgRPx7dqu8ZBg7ipdpesv+9ZPXqvmcas4S6dYDCk9PGAu+MLrrxjD?= =?us-ascii?q?QhCR6XYaT24bjwBHAwnB7BH9Q5fxri73vfdz1SWGIcH7S60/VDK/5KlpVRDokj?= =?us-ascii?q?8KOT05/m/JhcN+g75UrhW8qRJxwo7Ze52VNONkc6/BZ94WWWhMU8BMXCJBGIO8?= =?us-ascii?q?aI4PAvIfM+ZftIb9pkEBrQCjDgetHuPvzSRIhmTo0q0gzu8sFh3G3As7ENIPqn?= =?us-ascii?q?vUt8/5NKgIUeCy16nI1ivMb+lN1Df87ojIfAotru+QXbJwcMvd01UgFwPcg1iW?= =?us-ascii?q?tIfrMTSV1uEXvGia6eptTfmvi28oqwFppjig3MEshpPOhoIPxVDI7Tl5wYg0Jd?= =?us-ascii?q?2kVE50f8SkHIFMuCGdMot6WtkiTH9zuCkk0LIGo4K0fCgQyJg9wB7fcfOHf5CS?= =?us-ascii?q?4h39W+aRJC13hGl5eL2hnRa//lKsxfH7VsmxyFpKoDBKncXSuX8W0BzT7cuHRu?= =?us-ascii?q?Fh8Uem3DaC0R3Y5OJcIU0slqfXNYQtzqM+m5YPq0jOGiv7lF/ogKKXbkkp++ml?= =?us-ascii?q?5/76brn7u5OQLYB5hhvgPqgwmcGyB/kzPBIUUGiB4+u80aXu/U3nT7VOif07ir?= =?us-ascii?q?fWv43VJcsFuKK1HxVZ3Zg/6xa/DjaqysgXnXkfIFJEfhKIkZTpNknNLfzmF/uz?= =?us-ascii?q?nlqhnCtxy/3COrDtGIvBI3nbnLfkZ7l96kpcyAQpzdBY4pJZEq0BIPXoVU/wrt?= =?us-ascii?q?PYFQU1MwOuw+bgE9V9zZ0RWXiUD6+YNqPSv0WE6fwzI+mMZY4ZoiryK/g96/70?= =?us-ascii?q?kXA5gUMdfbWu3ZYPdH+3BPFmI0GAbXrog9cBCnsKsxElTO3qjV2CSSRca2yzX6?= =?us-ascii?q?I6/DE7CZipAZ3NRoC30/S923LvFZRTYiVCC0uQOXbubYSNHfkWPnG8OMhkxwAD?= =?us-ascii?q?X7moUMcOzxa1rwLgg+57KeDV8zZeuojkz8N4/cXSkx90+CB0HYKW0zfeHClPgm?= =?us-ascii?q?oUSmpuj+hEqktnxwLb3A=3D=3D?= X-IronPort-Anti-Spam-Filtered: true X-IronPort-Anti-Spam-Result: =?us-ascii?q?A0CgAQB5H/VYhxpjglJDGh0BBQELARcBA?= =?us-ascii?q?QQBAQoBAYQJgQsHg1+LCJBKLZdiLIUuhE9DFAEBAQEBAQEBAQEBEgEBAQoLCQg?= =?us-ascii?q?oL4IzIIJmBkUFQQImAi4bFimKAQQBCTGaapAIgiaLGwEKAQEBASMJAYEBhUeBX?= =?us-ascii?q?TWEH4EzgjSCAAwuLoIxBYdOlU10YjKEC3GNYFWEW4oXlAo2gSYmHYMdgk4EgXF?= =?us-ascii?q?ziA4BgQwBAQE?= X-IPAS-Result: =?us-ascii?q?A0CgAQB5H/VYhxpjglJDGh0BBQELARcBAQQBAQoBAYQJgQs?= =?us-ascii?q?Hg1+LCJBKLZdiLIUuhE9DFAEBAQEBAQEBAQEBEgEBAQoLCQgoL4IzIIJmBkUFQ?= =?us-ascii?q?QImAi4bFimKAQQBCTGaapAIgiaLGwEKAQEBASMJAYEBhUeBXTWEH4EzgjSCAAw?= =?us-ascii?q?uLoIxBYdOlU10YjKEC3GNYFWEW4oXlAo2gSYmHYMdgk4EgXFziA4BgQwBAQE?= X-IronPort-AV: E=Sophos;i="5.37,215,1488841200"; d="scan'208";a="269331141" Received: from edge20.ethz.ch ([82.130.99.26]) by mail2-smtp-roc.national.inria.fr with ESMTP/TLS/DHE-RSA-AES256-SHA; 17 Apr 2017 22:09:05 +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.319.2; Mon, 17 Apr 2017 22:09:02 +0200 Received: from auth2-smtp.messagingengine.com (66.111.4.228) by mail.ethz.ch (172.31.38.211) with Microsoft SMTP Server (TLS) id 14.3.319.2; Mon, 17 Apr 2017 22:09:04 +0200 Received: from compute1.internal (compute1.nyi.internal [10.202.2.41]) by mailauth.nyi.internal (Postfix) with ESMTP id 8212B20472 for ; Mon, 17 Apr 2017 16:09:03 -0400 (EDT) Received: from web5 ([10.202.2.215]) by compute1.internal (MEProxy); Mon, 17 Apr 2017 16:09:03 -0400 X-ME-Sender: Received: by mailuser.nyi.internal (Postfix, from userid 99) id 69E2C9E21E; Mon, 17 Apr 2017 16:09:03 -0400 (EDT) Message-ID: <1492459743.2579649.947192616.428FF054@webmail.messagingengine.com> From: Tobias Grosser To: MIME-Version: 1.0 Content-Transfer-Encoding: quoted-printable Content-Type: text/plain; charset="utf-8" X-Mailer: MessagingEngine.com Webmail Interface - ajax-0b509d77 Date: Mon, 17 Apr 2017 22:09:03 +0200 X-Originating-IP: [66.111.4.228] Subject: [Caml-list] Call for participation: PLDI 2017 and co-located events Call for participation: PLDI 2017 and co-located events 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. The co-located conferences take place in Barcelona, June 18-23, 2017. This year, PLDI is co-located with ECOOP, LCTES, DEBS, ISMM, Curry On and others. The conferences will take place at the Universitat Polyt=C3=A8cnica de Catalunya in Barcelona, Spain. http://conf.researchr.org/home/pldi-2017 Registration is now open, please visit: https://regmaster4.com/2017conf/BARC17/register.php to register. The early registration rate ends on May 26th. The tentative program is available at: http://pldi17.sigplan.org/program/program-pldi-2017 PLDI will also hold an ACM Student Research Competition: http://pldi17.sigplan.org/track/pldi-2017-student-research-competition Co-located events: + ECOOP: European Conference on Object-Oriented Programming + DEBS: annual conference on Distributed Event-Based Systems + Curry On: conference on programming languages and emerging challenges in industry. + ISMM: International Symposium on Memory Management + LCTES: Languages, Compilers, and Tools for Embedded Systems Co-located workshops include: + ARRAY: Workshop on Libraries, Languages and Compilers for Array Programming + DSW: Deep Specifications in the Wild + FMS: Formal Methods for Security + IC: Workshop on Incremental Computing + MAPL: Machine Learning and Programming Languages + PLMW: Programming Languages Mentoring Workshop + SOAP: International Workshop on the State Of the Art in Java Program Analysis + WCIRE: Workshop for Compiler Infrastructure for Research and Education Additionally, there will be eight co-located tutorials: + Bug detection in JavaScript web apps using the SAFE framework + Building your own modular static analyzer with Facebook Infer + Engineering Static Analyzers with Souffl=C3=A9 + Graal: High Performance Compilation for Managed Languages + P4: Programming the Network Data Plane + Polyhedral Compilation + Refinement Types for Program Verification and Synthesis + Scala, LMS and Delite for High-Performance DSLs and Program Generators + WALA Hack-A-Thon + Writing Verified Programs in CakeML See the web site for a schedule and further details and links. For further updates, follow PLDI on the social media: Facebook: https://www.facebook.com/PLDIConf Twitter: https://twitter.com/PLDI Albert Cohen, PLDI 2017 General Chair Tobias Grosser, PLDI 2017 Publicity Chair