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 12C1A7EFCE for ; Thu, 10 Nov 2016 15:31:11 +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-f51.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.51; 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.51 as permitted sender) identity=mailfrom; client-ip=74.125.82.51; 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-f51.google.com) identity=helo; client-ip=74.125.82.51; receiver=mail2-smtp-roc.national.inria.fr; envelope-from="bob.atkey@gmail.com"; x-sender="postmaster@mail-wm0-f51.google.com"; x-conformance=sidf_compatible IronPort-PHdr: =?us-ascii?q?9a23=3A549JURKaajz43TKtidmcpTZWNBhigK39O0sv0rFi?= =?us-ascii?q?tYgRI/rxwZ3uMQTl6Ol3ixeRBMOAuqkC07Gd7vCocFdDyK7JiGoFfp1IWk1Nou?= =?us-ascii?q?QttCtkPvS4D1bmJuXhdS0wEZcKflZk+3amLRodQ56mNBXdrXKo8DEdBAj0OxZr?= =?us-ascii?q?KeTpAI7SiNm82/yv95HJbQhFgDSwbaluIBi4ognctsobipZ+J6gszRfEvmFGcP?= =?us-ascii?q?lMy2NyIlKTkRf85sOu85Nm7i9dpfEv+dNeXKvjZ6g3QqBWAzogM2Au+c3krgLD?= =?us-ascii?q?QheV5nsdSWoZjBxFCBXY4R7gX5fxtiz6tvdh2CSfIMb7Q6w4VSik4qx2ThLjlS?= =?us-ascii?q?UJOCMj8GzPlMJ+kaJVrhGvqRNxzIHbfI6bOeFifq7eZ94WWXZNU8hTWiFHH4iy?= =?us-ascii?q?b5EPD+0EPetAs4f9oEABogWkBQmwGeji1iNIhnzo0qw6zu8sFhrJ3As7EN4Uqn?= =?us-ascii?q?vUsNb1O7kSUO2uw6nIyC/Mb/JS2Tvn9IfIdRUhrOiKULltf8TRzkwvGBnEjlWW?= =?us-ascii?q?sYHlJS2a1v8TvGeB9epvSeKvi3Q9pwF2uDivyd8ghZfTiYIOylHL6SV5z5w0Jd?= =?us-ascii?q?2iUkJ7ZsSkEJRWuiqHNIV2WtsvTmNntSog17EKp562cDIJxZg53RLSa+GLf5CV?= =?us-ascii?q?7h79UOudOyl0iG9ldb6lgxu+7FKsx+/zW8SyzV1EtDBKksPWuXAIzxHT6taISv?= =?us-ascii?q?96/kq53DaAzQHT6uVdLUE6kKrXN4ctwrAwm5YOq0jDESj2mEL5jK+SaEoo4PSn?= =?us-ascii?q?6+PiYrn+p5+cMZF7ih3mP6kslcGzG/k0PhYOUmSB+umwyqfv8E3kTLlSi/05iK?= =?us-ascii?q?jZsJTUJcQBoa65BhdY3Z0k6xmkFTupysgYnXoZI1NFYx+HgI3pNEvPIPD8F/uw?= =?us-ascii?q?n1OskDJzy/DcIrLhGonNLmTEkLr5Ybly8UtcyA4qwdBb5pJUEa0BLenoWk7xsd?= =?us-ascii?q?zYFgU2Pxa1w+bhEtV915kRVXiBAq+DY+vutgqD7+crZu2Nf5M9uTDnKvFj6eS9?= =?us-ascii?q?o2U+nAoneqOkx4dfQWy7E+Uud0+eazzlntQMAE8FuwM/SKrhj1jUAm0bXGq7Q6?= =?us-ascii?q?9pvmJzM4mhF4qWHo0=3D?= X-IronPort-Anti-Spam-Filtered: true X-IronPort-Anti-Spam-Result: =?us-ascii?q?A0C0AABkgiRYfzNSfUpTCh0YBwsBFwEGA?= =?us-ascii?q?YJ5AQEBAQF3LFOsO2aLf4IHKYgUPxQBAQEBAQEBAQEBARIBAQkLCwkbMoIzGII?= =?us-ascii?q?vCwYPAQUIARsMEgMSEA8CJgIlEQEFAS8IAQEQBweIIgEDFw6gU4IJgTI/MotQg?= =?us-ascii?q?gwGAS2DGgWDZwoZJw1UgxIBCgEBAQEaAgYQeYcyCIZkEYMsgl0FmjeBQoR3ihq?= =?us-ascii?q?Bbk+CRYFggwsOhiGNPIJEMYESHm4uQoUNcogXAQEB?= X-IPAS-Result: =?us-ascii?q?A0C0AABkgiRYfzNSfUpTCh0YBwsBFwEGAYJ5AQEBAQF3LFO?= =?us-ascii?q?sO2aLf4IHKYgUPxQBAQEBAQEBAQEBARIBAQkLCwkbMoIzGIIvCwYPAQUIARsME?= =?us-ascii?q?gMSEA8CJgIlEQEFAS8IAQEQBweIIgEDFw6gU4IJgTI/MotQggwGAS2DGgWDZwo?= =?us-ascii?q?ZJw1UgxIBCgEBAQEaAgYQeYcyCIZkEYMsgl0FmjeBQoR3ihqBbk+CRYFggwsOh?= =?us-ascii?q?iGNPIJEMYESHm4uQoUNcogXAQEB?= X-IronPort-AV: E=Sophos;i="5.31,619,1473112800"; d="scan'208";a="244483099" Received: from mail-wm0-f51.google.com ([74.125.82.51]) by mail2-smtp-roc.national.inria.fr with ESMTP/TLS/AES128-GCM-SHA256; 10 Nov 2016 15:31:10 +0100 Received: by mail-wm0-f51.google.com with SMTP id t79so35193575wmt.0 for ; Thu, 10 Nov 2016 06:31:10 -0800 (PST) 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=RyurcwZTcfFG2L9H4P/zMEkVz7/SeS27uPHsH1pSKI8=; b=Q6Q+OGLASS40eDE1z+5GM0wX4vhNIK2+CKSXJn0Nhcq86OyVPdi3GDVLrVhm1TPrbu vMVmQHu3UENcbbMjbbHyVV5kJuI3hDlwp/epCnD0OjWl1TCzMYGrXL6Cx4HanWD0wJ2q EiznUIMF1O2jDeCbXarKWy1Hk/aOJXPWggkADhacMyeOjLKok28IBZD4DSkdlPkUYiwq Je8EzWijyA9xCVEo56hppzl83JyyoJrrbWaOLXE7sofav8Oz8uUcgrTnH7qjRyWogBJN Xm++kFhraGN1mdJDifO59Gwi11D4AKtH8IsmSGL7kpr+R5chLckDPMWcnu1f6uiVml/W p1Jw== 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=RyurcwZTcfFG2L9H4P/zMEkVz7/SeS27uPHsH1pSKI8=; b=TKYVUPcrXhybIOQQ/PZ8PlMYmpWO5p5y3WGAhyBI3kkJ/AQFys6fEQ2BnhcT8zmHUX MAhtsMXciBMl3fNe2nVmYIml6ntcD+J2o9P1HkueUvuS7eX0V9m/5yz48vuoK1MWudjs zsDQEXmtZoEaZLHMajtzST93MsMcz4gf6JssYYQL95n+zzfTJQtJQYGF/Q4Wd465mnD7 DnE7mcvR/Jj1CQCBsOnmrcx8KUqbg+QOkIhUMwT18zFphjQM2W/f41OAYJlR5IlEr7sj YisjpxnH1G9fASq7bHOrkTpxFRzNNmfucAgQH6Hl5L4cODAt26YjhQKjzffEbEdtwoXh L4Vg== X-Gm-Message-State: ABUngvdmIi+16J+czvctQ+z3YG+rLZGO3t8E4Baj3meHuZV+mCx93ApdhFc+VLgttiFOcA== X-Received: by 10.28.137.193 with SMTP id l184mr4313897wmd.88.1478788269595; Thu, 10 Nov 2016 06:31:09 -0800 (PST) Received: from [129.215.91.74] (dhcp-91-074.inf.ed.ac.uk. [129.215.91.74]) by smtp.gmail.com with ESMTPSA id p13sm6488238wmd.20.2016.11.10.06.31.09 for (version=TLS1_2 cipher=ECDHE-RSA-AES128-GCM-SHA256 bits=128/128); Thu, 10 Nov 2016 06:31:09 -0800 (PST) To: caml-list@inria.fr From: Robert Atkey Message-ID: Date: Thu, 10 Nov 2016 14:31:08 +0000 User-Agent: Mozilla/5.0 (X11; Linux x86_64; rv:45.0) Gecko/20100101 Thunderbird/45.4.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: Final Call for Talk Proposals; deadline extended # Call for Talk Proposals: Off the Beaten Track 2017 http://conf.researchr.org/track/POPL-2017/OBT-2017 *** DEADLINE EXTENDED TO 15th November *** 21st January 2017 (co-located with POPL 2017, Paris, France) ## Invited Speakers We an invited speaker for OBT: - Moa Johansson, Chalmers, Sweden with another invited speaker TBC. ## 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 ** EXTENDED DEADLINE ** * 15th 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