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 B8B717FD90 for ; Thu, 15 Dec 2016 12:05:17 +0100 (CET) Authentication-Results: mail2-smtp-roc.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-wm0-f53.google.com Received-SPF: None (mail2-smtp-roc.national.inria.fr: no sender authenticity information available from domain of bob.atkey@gmail.com) identity=pra; client-ip=74.125.82.53; receiver=mail2-smtp-roc.national.inria.fr; envelope-from="bob.atkey@gmail.com"; x-sender="bob.atkey@gmail.com"; x-conformance=sidf_compatible Received-SPF: Pass (mail2-smtp-roc.national.inria.fr: domain of bob.atkey@gmail.com designates 74.125.82.53 as permitted sender) identity=mailfrom; client-ip=74.125.82.53; receiver=mail2-smtp-roc.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 (mail2-smtp-roc.national.inria.fr: no sender authenticity information available from domain of postmaster@mail-wm0-f53.google.com) identity=helo; client-ip=74.125.82.53; receiver=mail2-smtp-roc.national.inria.fr; envelope-from="bob.atkey@gmail.com"; x-sender="postmaster@mail-wm0-f53.google.com"; x-conformance=sidf_compatible IronPort-PHdr: =?us-ascii?q?9a23=3AKOEfvhYzeUbiH2dcmDA9M+v/LSx+4OfEezUN459i?= =?us-ascii?q?sYplN5qZpsu7bnLW6fgltlLVR4KTs6sC0LuN9f6wEjRQqdbZ6TZZL8wKD0dEwe?= =?us-ascii?q?wt3CUeQ+e9QXXhK/DrayFoVO9jb3RCu0+BDE5OBczlbEfTqHDhpRQbGxH4KBYn?= =?us-ascii?q?br+tQt2a3IyL0LW58pjXJgFJnyaVYLVoLRzwox+CmNMRhN5YLaw80AeBi2dLdv?= =?us-ascii?q?UekWlvLxSagxXx9++/+Zdi92JbvPd3pJ0IarnzY6ltFe8QNz8hKW1gvMA=3D?= X-IronPort-Anti-Spam-Filtered: true X-IronPort-Anti-Spam-Result: =?us-ascii?q?A0BXAAD7d1JYhjVSfUpTCh4GDBkGDIMMA?= =?us-ascii?q?QEBAQF5LlitCowkggkqh3Y/FAEBAQEBAQEBAQEBEgEBAQgLCwkdMIIzGIJBBg8?= =?us-ascii?q?BBQgBGwwSAxIQDwImAiURAQUBLwgBARAHiDUBAxcOmimDPz+MAoIEBQEegw0Fg?= =?us-ascii?q?1cKGScNVIJ4CwEBAQEbAgYJAQh5hyiGdHSCAAstgl0FmmyBSoUHimGCRYJLhH0?= =?us-ascii?q?Phi+OFIJJMoEUH4E4XYMyIIFocog4AQEB?= X-IPAS-Result: =?us-ascii?q?A0BXAAD7d1JYhjVSfUpTCh4GDBkGDIMMAQEBAQF5LlitCow?= =?us-ascii?q?kggkqh3Y/FAEBAQEBAQEBAQEBEgEBAQgLCwkdMIIzGIJBBg8BBQgBGwwSAxIQD?= =?us-ascii?q?wImAiURAQUBLwgBARAHiDUBAxcOmimDPz+MAoIEBQEegw0Fg1cKGScNVIJ4CwE?= =?us-ascii?q?BAQEbAgYJAQh5hyiGdHSCAAstgl0FmmyBSoUHimGCRYJLhH0Phi+OFIJJMoEUH?= =?us-ascii?q?4E4XYMyIIFocog4AQEB?= X-IronPort-AV: E=Sophos;i="5.33,351,1477954800"; d="scan'208";a="250196281" Received: from mail-wm0-f53.google.com ([74.125.82.53]) by mail2-smtp-roc.national.inria.fr with ESMTP/TLS/AES128-GCM-SHA256; 15 Dec 2016 12:05:17 +0100 Received: by mail-wm0-f53.google.com with SMTP id t79so39921435wmt.0 for ; Thu, 15 Dec 2016 03:05:17 -0800 (PST) DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/relaxed; d=gmail.com; s=20161025; h=to:subject:from:message-id:date:user-agent:mime-version :content-transfer-encoding; bh=ul26iuZCBAMd46bEqxrx3unbHo5K3qf8qyDj9zIQj9s=; b=coZTx0H9vt/3pLDRJW3gShbteQjfuMEPyMYrH7QFwmRSzQb95EKf2XMcfEyd+/vkG/ NnQNb2b1+6oiOrtnfbhpb62YVYQLbRpg4W0CwKC0Qya5f+9UMzIWYIkCzY7kyeYZJ5tA BYj+khvO6uPefEfqMY/xniwrJfMOgoNHbBZr8mjjUgscWuyYsDlN/JeAGQ2X+btuLg6z eRAjY1AMn+Rg51D09wgWrc8oynILrQTD1UVCrUAlFoTLmRexCRUhdmfwOQ3IUzXpRU5M xE5Nzvk1n+OnKdVcHN6Bd4flo+8xzsca/R+8U9LWDHUGMNbAVIRVWd36msw7AIJu0zpY 75FQ== X-Google-DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/relaxed; d=1e100.net; s=20161025; h=x-gm-message-state:to:subject:from:message-id:date:user-agent :mime-version:content-transfer-encoding; bh=ul26iuZCBAMd46bEqxrx3unbHo5K3qf8qyDj9zIQj9s=; b=aEpH9xLu8rViIMxQHldc8n1ejaSlQAN4uNLVcI9CloSsDK4sToe64+uFigQo+82fVg jBfj+dr7587Kg9Pwfs9Pfktj0ixGKxvGpnHEaTWU3669KZU1Qrg4yHKbKLif0yHsL+ZY lsQlYLpySYEQZNAV16SVeSMmSSkw3YXsl4heo+7YD7fT1ebk/6G4g1kpJhpHswmtM6/4 G+VpRSJ3J+vrT9pFicSy0pKgOmLix+eVjdp85Jt/HiNfiByysbIJNKylcXoAZhF978Th gI0JvUGp05gw5wmu0nV5TFl3758BACzTpKhlJoB0mxAAHNKIaXqkod4WIzo3j6x0MCWK U/ww== X-Gm-Message-State: AIkVDXIJ2dCB/wJ3mHX55Gfm9qYoERlNsrkhg/qYCmhnWumUb50pu8FgW2iTEb5Vy1fHyQ== X-Received: by 10.28.135.5 with SMTP id j5mr832143wmd.3.1481799916590; Thu, 15 Dec 2016 03:05:16 -0800 (PST) Received: from [10.13.194.204] (client-7-179.visitor-network.oxuni.org.uk. [192.76.7.179]) by smtp.gmail.com with ESMTPSA id bf2sm1488455wjc.48.2016.12.15.03.05.15 for (version=TLS1_2 cipher=ECDHE-RSA-AES128-GCM-SHA256 bits=128/128); Thu, 15 Dec 2016 03:05:16 -0800 (PST) To: caml-list@inria.fr From: Robert Atkey Message-ID: <2c280880-8c33-42ee-0ab4-11969a2d6d7b@gmail.com> Date: Thu, 15 Dec 2016 11:05:15 +0000 User-Agent: Mozilla/5.0 (X11; Linux x86_64; rv:45.0) Gecko/20100101 Thunderbird/45.5.1 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 Participation # Call for Participation: Off the Beaten Track 2017 http://conf.researchr.org/track/POPL-2017/OBT-2017 21st January 2017 (co-located with POPL 2017, Paris, France) ## Registration http://popl17.sigplan.org/attending/registration ** Early registration deadline: Saturday 17th Dec 2016 ** ## Invited Speakers - Moa Johansson, Chalmers, Sweden - Alan Blackwell, Cambridge University, UK ## 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. ## Programme 09:00-10:00 Invited talk: Reasoning about Functional Programs: Exploring, Testing and Inductive Proofs. Moa Johanssen 10:00-10:30 coffee break 10:30-10:55 Can we machine-learn programming language semantics? Dan Ghica, Khulood Alyahya and Victor Patentasu 10:55-11:20 How Far Apart Should Those Programs Be? Ugo Dal Lago 11:20-11:45 Programming Quantum Annealers George Stelle and Scott Pakin 11:45-12:10 Understanding the POSIX Shell as a Programming Language Michael Greenberg 12:10-14:00 lunch 14:00-15:00 Invited Talk: Varieties of Programming Experience Alan Blackwell 15:00-15:25 Bootstrapping the next generation of mathematical social machines Ursula Martin, Alison Pease and Joe Corneli 15:30-16:00 coffee break 16:00-16:25 Designing extensible, domain-specific languages for mathematical diagrams Katherine Ye, Keenan Crane, Jonathan Aldrich and Joshua Sunshine 16:25-16:50 Laziness Boxes You In Jose Manuel Calderon Trilla and Stephen Magill 16:50-17:15 Programming with Epistemic Logic Markus Eger and Chris Martens 17:15-17:40 Preventing False Discoveries in Adaptive Data Analysis: a Programming Language approach Marco Gaboardi 17:40-18:05 Running Incomplete Programs Ian Voysey, Cyrus Omar and Matthew Hammer