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 419D580024 for ; Mon, 10 Oct 2016 17:21:57 +0200 (CEST) Authentication-Results: mail3-smtp-sop.national.inria.fr; spf=None smtp.pra=bob.atkey@gmail.com; spf=Pass smtp.mailfrom=bob.atkey@gmail.com; spf=None smtp.helo=postmaster@mail-qt0-f177.google.com Received-SPF: None (mail3-smtp-sop.national.inria.fr: no sender authenticity information available from domain of bob.atkey@gmail.com) identity=pra; client-ip=209.85.216.177; receiver=mail3-smtp-sop.national.inria.fr; envelope-from="bob.atkey@gmail.com"; x-sender="bob.atkey@gmail.com"; x-conformance=sidf_compatible Received-SPF: Pass (mail3-smtp-sop.national.inria.fr: domain of bob.atkey@gmail.com designates 209.85.216.177 as permitted sender) identity=mailfrom; client-ip=209.85.216.177; receiver=mail3-smtp-sop.national.inria.fr; envelope-from="bob.atkey@gmail.com"; x-sender="bob.atkey@gmail.com"; x-conformance=sidf_compatible; x-record-type="v=spf1" Received-SPF: None (mail3-smtp-sop.national.inria.fr: no sender authenticity information available from domain of postmaster@mail-qt0-f177.google.com) identity=helo; client-ip=209.85.216.177; receiver=mail3-smtp-sop.national.inria.fr; envelope-from="bob.atkey@gmail.com"; x-sender="postmaster@mail-qt0-f177.google.com"; x-conformance=sidf_compatible IronPort-PHdr: =?us-ascii?q?9a23=3Aiz5gZx3j1iHkFqN2smDT+DRfVm0co7zxezQtwd8Z?= =?us-ascii?q?segVKvad9pjvdHbS+e9qxAeQG96KsbQf26GG6OjJYi8p2d65qncMcZhBBVcuqP?= =?us-ascii?q?49uEgeOvODElDxN/XwbiY3T4xoXV5h+GynYwAOQJ6tL2PbrnD61zMOABK3bVMz?= =?us-ascii?q?fbWvXNWCxJTsn8mJuLTrKz1SgzS8Zb4gZD6Xli728vcsvI15N6wqwQHIqHYbM8?= =?us-ascii?q?5fxGdvOE7B102kvpT4r9Zf9HFbsvclsspBSrnSfqIiTLUeAi51HXoy4ZjRshPO?= =?us-ascii?q?VxfHz2cfX3RexhBPCU7M8BL3T7/+tyL7sqx23yzMbp6+dqw9RTn3t/QjcxTvki?= =?us-ascii?q?pSbzM=3D?= X-IronPort-Anti-Spam-Filtered: true X-IronPort-Anti-Spam-Result: =?us-ascii?q?A0ABCgAAsftXh7HYVdFSCh0GDBkYB4MFA?= =?us-ascii?q?QEBAQF0KlKlBQSHc412JodzPBABAQEBAQEBAQEBARIBAQEIDQkJGS+CMhiCMAs?= =?us-ascii?q?GDwEFCAEbDBIDEhAPAiYCJREBBQEvCAEBEAcHiBMBAxcOohuCCIEyPjKLQoFrg?= =?us-ascii?q?l8Fg2gKGScNU4MCAQoBAQEbAwYQd4czhmYRgyyCWwWZf4E6hG2JVoFuToI7gV6?= =?us-ascii?q?DBg6GC4x3gj0xgRE1RBqDCIFfcYgPAQEB?= X-IPAS-Result: =?us-ascii?q?A0ABCgAAsftXh7HYVdFSCh0GDBkYB4MFAQEBAQF0KlKlBQS?= =?us-ascii?q?Hc412JodzPBABAQEBAQEBAQEBARIBAQEIDQkJGS+CMhiCMAsGDwEFCAEbDBIDE?= =?us-ascii?q?hAPAiYCJREBBQEvCAEBEAcHiBMBAxcOohuCCIEyPjKLQoFrgl8Fg2gKGScNU4M?= =?us-ascii?q?CAQoBAQEbAwYQd4czhmYRgyyCWwWZf4E6hG2JVoFuToI7gV6DBg6GC4x3gj0xg?= =?us-ascii?q?RE1RBqDCIFfcYgPAQEB?= X-IronPort-AV: E=Sophos;i="5.31,324,1473112800"; d="scan'208";a="196269058" Received: from mail-qt0-f177.google.com ([209.85.216.177]) by mail3-smtp-sop.national.inria.fr with ESMTP/TLS/AES128-GCM-SHA256; 10 Oct 2016 17:21:56 +0200 Received: by mail-qt0-f177.google.com with SMTP id f6so58941925qtd.2 for ; Mon, 10 Oct 2016 08:21:56 -0700 (PDT) DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/relaxed; d=gmail.com; s=20120113; h=to:subject:from:message-id:date:user-agent:mime-version :content-transfer-encoding; bh=kClNna4VCwsDgyS5YXiInyfTpF58IWAUm+vIDn3HY/Q=; b=IhJSxSJYunq9jndvFBVwHm+BwcKW+DmnGhRqH2Yz9a0S8NTRnT+g2UQyWTkV9Gsae1 lRMFTN95BYT7I8ROZZk6t7ipzIw9ZWv7Dq6J/2gix5MtasaGkdRCtxQa38P/20tTOvXO KqLqYh2A4RSY7/rClUbw28wKrYegGP1zx7diRFWI6zuy5/dO3cyGqSboPV60X9/AENIB G7EZc6RFhl5kd3JKDoghfKFycv+OC/pxBVxkY689aRPcInbyNk4Mp6iIy5yFNbzko22Z ozE816fpyI9KG/EFNPhdl7xWf7uAPaNHD/RS9To4E3m4rL6ML+5raKsICxX+xxCwKThs O6Uw== X-Google-DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/relaxed; d=1e100.net; s=20130820; h=x-gm-message-state:to:subject:from:message-id:date:user-agent :mime-version:content-transfer-encoding; bh=kClNna4VCwsDgyS5YXiInyfTpF58IWAUm+vIDn3HY/Q=; b=lcAGY15hpJXsTHuYaN1R91zGDHvA/pO/YWiXpi1bx1mSwGcwHihfJMMgCUElq00xAJ oeScDVpXglQmDMy8MyD7qojTlo+fFf2T4kTEzIxXManUoTq6KBpgs0Pky6DoA5yk3nd/ IDxMPtQKYCkh1BBD2QtLbZ4i0EjwcjWNsierOfeEuHmqYQDZwSLbXYR91jXJkr8fJKxI feAa3ZM2ZPwvJ66ne21RRQY/oiEgJvYPK2w2v8WaxQLoRxUCqWHmzyzAHRC46plR2K2a 2ymWk4CNfnMtzVKO0zVSKynyIVyoZykpKyeOBeFkHR/SrXf9MP5J2apNu/ayUVT2HZfU 3x8g== X-Gm-Message-State: AA6/9RntAp9nBPkW67vkUTWuE2PRu1z05E4x0MPljN5dtEA19LcCM5GmzU3hRa1Abw45vQ== X-Received: by 10.194.107.137 with SMTP id hc9mr34577039wjb.158.1476112914554; Mon, 10 Oct 2016 08:21:54 -0700 (PDT) Received: from [130.159.184.121] (lap-robert.cis.strath.ac.uk. [130.159.184.121]) by smtp.gmail.com with ESMTPSA id a1sm40961261wjl.28.2016.10.10.08.21.53 for (version=TLS1_2 cipher=ECDHE-RSA-AES128-GCM-SHA256 bits=128/128); Mon, 10 Oct 2016 08:21:53 -0700 (PDT) To: caml-list@inria.fr From: Robert Atkey Message-ID: <0032cb41-a452-5a48-c9b0-d8fa446fbe5e@gmail.com> Date: Mon, 10 Oct 2016 16:21:53 +0100 User-Agent: Mozilla/5.0 (X11; Linux x86_64; rv:45.0) Gecko/20100101 Thunderbird/45.3.0 MIME-Version: 1.0 Content-Type: text/plain; charset=utf-8; format=flowed Content-Transfer-Encoding: 8bit Subject: [Caml-list] Off the Beaten Track 2017: Call for Talk Proposals # Call for Talk Proposals: Off the Beaten Track 2017 http://conf.researchr.org/track/POPL-2017/OBT-2017 21st January 2017 (co-located with POPL 2017, Paris, France) ## Background Programming language researchers have the principles, tools, algorithms and abstractions to solve all kinds of problems, in all areas of computer science. However, identifying and evaluating new problems, particularly those that lie outside the typical core PL problems we all know and love, can be a significant challenge. This workshop’s goal is to identify and discuss problems that do not often show up in our top conferences, but where programming language research can make a substantial impact. We hope fora like this will increase the diversity of problems that are studied by PL researchers and thus increase our community’s impact on the world. While many workshops associated with POPL have become more like mini-conferences themselves, this is an anti-goal for OBT. The workshop will be informal and structured to encourage discussion. We are at least as interested in problems as in solutions. ## Scope A good submission is one that outlines a new problem or an interesting, underrepresented problem domain. Good submissions may also remind the PL community of problems that were once in vogue but have not recently been seen in top PL conferences. Good submissions do not need to propose complete or even partial solutions, though there should be some reason to believe that programming languages researchers have the tools necessary to search for solutions in the area at hand. Submissions that seem likely to stimulate discussion about the direction of programming language research are encouraged. Use your imagination. It's hard to imagine how a paper that discusses programming languages could be considered out of scope. If in doubt, ask the program chair. ## Previous OBTs 2017 marks the sixth year of OBT and its co-location with POPL. The previous five workshops were: - OBT 2016, St. Petersburg, USA - OBT 2015, Mumbai, India - OBT 2014, San Diego, USA - OBT 2013, Rome, Italy - OBT 2012, Philadelphia, USA ## Important Dates * 10th November 2016: Submission deadline * 8th December 2016: Notification * (18th December 2016: POPL early registration) * 21st January 2017: Workshop ## Submission Please submit your talk proposal via EasyChair: https://easychair.org/conferences/?conf=obt2017 All submissions should be in PDF format, two pages or less, in at least 10pt font, printable on A4 and on US Letter paper. Authors are welcome to include links to multimedia content such as YouTube videos or online demos. Reviewers may or may not view linked documents; it is up to authors to convince the reviewers to do so. For each accepted submission, one of the authors will give a talk at the workshop. The length of the talk will depend on the submissions received and how the program committee decides to assemble the program. Reviewing of submissions will be very light. Authors should not expect a detailed analysis of their submission by the program committee. Accepted submissions will be posted as is on this web site. By submitting a document, you agree that if it is accepted, it may be posted and you agree that one of the co-authors will attend the workshop and give a talk there. There will be no revision process and no formal publication. ## Organisers General chair: - Lindsey Kuper, Intel Labs, USA Programme chair: - Robert Atkey, University of Strathclyde, UK Programme committee: - Ekaterina Komendantskaya, Heriot-Watt University, UK - Chris Martens, North Carolina State University, USA - Tomas Petricek, University of Cambridge, UK - Wren Romano, Google Inc., USA - Mary Sheeran, Chalmers University of Technology, Sweden - KC Sivaramakrishnan, University of Cambridge, UK - Wouter Swierstra, Utrecht University, Netherlands