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 c5ff346549e7 (Postfix) with ESMTP id 86C055D5 for ; Mon, 3 Jun 2019 16:03:43 +0000 (UTC) X-IronPort-AV: E=Sophos;i="5.60,547,1549926000"; d="scan'208";a="385785511" Received: from sympa.inria.fr ([193.51.193.213]) by mail2-relais-roc.national.inria.fr with ESMTP; 03 Jun 2019 18:03:42 +0200 Received: by sympa.inria.fr (Postfix, from userid 20132) id 5043A826BB; Mon, 3 Jun 2019 18:03:42 +0200 (CEST) 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 6D7C98247D for ; Mon, 3 Jun 2019 18:03:36 +0200 (CEST) Authentication-Results: mail2-smtp-roc.national.inria.fr; spf=None smtp.pra=icfp.publicity@googlemail.com; spf=Pass smtp.mailfrom=icfp.publicity@googlemail.com; spf=None smtp.helo=postmaster@mail-it1-f172.google.com IronPort-PHdr: =?us-ascii?q?9a23=3A7qxIkBRtAZ/p4Z7CbQtlMFpZ69psv+yvbD5Q0YIu?= =?us-ascii?q?jvd0So/mwa6zZRaN2/xhgRfzUJnB7Loc0qyK6vmmADdfqsfa+Fk5M7V0Hycfjs?= =?us-ascii?q?sXmwFySOWkMmbcaMDQUiohAc5ZX0Vk9XzoeWJcGcL5ekGA6ibqtW1aFRrwLxd6?= =?us-ascii?q?KfroEYDOkcu3y/qy+5rOaAlUmTaxe7x/IAiroQnLq8Ubj4lvJqk1xxbHv3BFZ/?= =?us-ascii?q?lYyWR0KFyJgh3y/N2w/Jlt8yRRv/Iu6ctNWrjkcqo7ULJVEi0oP3g668P3uxbD?= =?us-ascii?q?SxCP5mYHXWUNjhVIGQnF4wrkUZr3ryD3q/By2CiePc3xULA0RTGv5LplRRP0lC?= =?us-ascii?q?sKMSMy/WfKgcJyka1bugqsqRxxzYDKY4+bKfVxcb/Sc94BWWpBR9xcWzBdDo+g?= =?us-ascii?q?bYYCCfcKM+ZCr4n6olsDtQawChOpBOjy1DFIgWT53aw80+g4Ew/G2xAvH9IVsH?= =?us-ascii?q?TIttr6KbsSWv2ywanJ0TrDYetW1S3l6IjVaR8hpfCMUq5xccrNyUgiDAzFjlKX?= =?us-ascii?q?qYzqOzOayOENvHKa7+pkT+6gl2knqwRorzWp28wihI7JhocPxVDF8yV02Jw6Ks?= =?us-ascii?q?G9SEJhZt6kCpRQuzmBN4t3TcMiW2Votzw8yrEcvp67ZicKxIwnxx7Yd/yIb5KI?= =?us-ascii?q?4gr5WOmNJjd4gXRoc6+8iRaq6UWs1PHwW82u3FtJridJiMTAu3EM2hDJ98SKSO?= =?us-ascii?q?Vx8l+/1TqTywzf9+RJLV03mKXFKJMsx6A8m58NvUnABSD7mkD7jKGKekk45uSl?= =?us-ascii?q?7uHqb7voppCGM4J5jBz1PL40lcylG+s4NxADX2iF9uS4073u5Uj5T69Ljv0yi6?= =?us-ascii?q?XZsYzaKdkCqq63HgNY0Jgv5wywDzeh19QYkn0HI0xfdB2biIjpPknCIPH+Dfih?= =?us-ascii?q?n1ShiClny+zCM7H7AZjALmLPnKrgcLt88UJQ1Qg+wc5H65JREL4BIfbzWkHrtN?= =?us-ascii?q?zfCx80Kw20zPrpCNVlzI8eQX+PDbSdMKPTrVCI5/4vIumXaY8avzb9LPcl5/rw?= =?us-ascii?q?gn88g1AdfK2p0YELZ3C/G/RqO1+Zbmb0gtcdDWcKuRIzQ/Dwh12HVT5ffnKyX6?= =?us-ascii?q?Mn5jEnE4+mFofCRoW1gLObxiu7H5tWZnpHCl+WC3voeZ+ECL8wb3eZK8pl1zgF?= =?us-ascii?q?TqSJSok71BjouhWp5aBgK7/v8yhQiZXp1d4wx+rYlQou/DBoR5Cc2G+VCXlplG?= =?us-ascii?q?cJTD4qzYhwpktyzlqG2Kl8xfdfEIoAtLtyTg4mOMuEnKRBANfoV1eZJ4rbeBOd?= =?us-ascii?q?WtyjRAoJYJcxztsJORgvHtyjilXCw3PvDeZKzfqEA5s79q+a1H/0dZ4kmiT2kZ?= =?us-ascii?q?I5hlxjefNhcGivh6px7Q/WXtCbnEKemKKncK0d2GjG82LRlDPS7nEdaxZ5VOD+?= =?us-ascii?q?ZV5aflHf9Iqr6UTFQLujDL0mNk1KzsvQcqY=3D?= X-IronPort-Anti-Spam-Filtered: true X-IronPort-Anti-Spam-Result: =?us-ascii?q?A0DXBAApRPVcf6ymVdFmHgEGBwaBZYE+g?= =?us-ascii?q?TEMgSyEFJNWCJwNCQEDAQoBAQUeCgIBAYN6g1obBwEENBMBAwEBBAEBAgEBAwE?= =?us-ascii?q?TAQEJCwsIJyUMgjoigxIGHQEnEgMSHwImAjYBBQE9DAeDCIFpAQMJFAEOng48i?= =?us-ascii?q?yCBMYJ6BYQxCkANghoCBwkBCHooi1qBD4EHgRGCYm6BBAGBXASBOXOCPYJYBIt?= =?us-ascii?q?Th0uVWwcCgg+GP4ROiCUbgiJohgmDSYoSlAuPEwYCCQgPIYFFgXk0GSMvgw0Jg?= =?us-ascii?q?gYYg1iFFIVbIzOBBY1uglEBAQ?= X-IPAS-Result: =?us-ascii?q?A0DXBAApRPVcf6ymVdFmHgEGBwaBZYE+gTEMgSyEFJNWCJw?= =?us-ascii?q?NCQEDAQoBAQUeCgIBAYN6g1obBwEENBMBAwEBBAEBAgEBAwETAQEJCwsIJyUMg?= =?us-ascii?q?joigxIGHQEnEgMSHwImAjYBBQE9DAeDCIFpAQMJFAEOng48iyCBMYJ6BYQxCkA?= =?us-ascii?q?NghoCBwkBCHooi1qBD4EHgRGCYm6BBAGBXASBOXOCPYJYBItTh0uVWwcCgg+GP?= =?us-ascii?q?4ROiCUbgiJohgmDSYoSlAuPEwYCCQgPIYFFgXk0GSMvgw0JggYYg1iFFIVbIzO?= =?us-ascii?q?BBY1uglEBAQ?= X-IronPort-AV: E=Sophos;i="5.60,547,1549926000"; d="scan'208";a="385785477" X-MGA-submission: =?us-ascii?q?MDEPPuawPTerbdDQvkPpX7lJLYP98QOm93m/Ib?= =?us-ascii?q?XCU0CjK0v487mSvjss9fNJG2ycd4yIo/YGKNyB9YEEXZZQ09xYRuOeaC?= =?us-ascii?q?vzjFZYEZohyd8AGNg05A5xED3rxbUAnYPyFn3DwNstUZsh/wvSxBHfty?= =?us-ascii?q?vxEh+tAJXl+iyBYUsbW4XyTQ=3D=3D?= Received: from mail-it1-f172.google.com ([209.85.166.172]) by mail2-smtp-roc.national.inria.fr with ESMTP/TLS/AES128-GCM-SHA256; 03 Jun 2019 18:03:35 +0200 Received: by mail-it1-f172.google.com with SMTP id e184so27440444ite.1 for ; Mon, 03 Jun 2019 09:03:35 -0700 (PDT) DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/relaxed; d=googlemail.com; s=20161025; h=from:date:to:message-id:subject:mime-version :content-transfer-encoding; bh=ZrWSyROearMwntcK26f/tG/znfcW2P6fpGfHJ6QFGY8=; b=DTvCDASuyLwWUOBx2llY9eyhyYJIqYvZnWs0quYGDXTXLJs3pa4nerr1v4z0UUHvWk hxsYA+NGsd42cduZiDmXlEjK/ilVmMb5uguiV/iGHyZC2TRYRkubM+bvXJ0dv8zzywnR +QsgqkXl5I3EOWXu6DWERfQznGm+Uo6Uqlhdb64hrNZaXvT9bZWRrQfmtCh0ig1dhuN/ xdiQgPdP6qPz2rWRNYvpJ9j9dWzB2aWb2oxdYDKRKNEGLmlxOlnhKUJNGcr1BYuuKmnp 4aaGD+LeZLQ/xC5cQxlP5W3z4c/Oys91zjv856oHBc6jW/2UoLOqb/XHrE33fW7SRZw1 cZcw== X-Google-DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/relaxed; d=1e100.net; s=20161025; h=x-gm-message-state:from:date:to:message-id:subject:mime-version :content-transfer-encoding; bh=ZrWSyROearMwntcK26f/tG/znfcW2P6fpGfHJ6QFGY8=; b=A2OQLlbaVZ9PVzPi/pKyO9WAQUJBlpgMsKNhNsxEVMeIz+UVgH2ZCEpChnO1ky82W/ sjrtC33pkZv+pSR1Wg6gAeE+Uc+NW22KiQC04kAPjApj9u1GyJu+fUVts2L6OGRHS2K7 5h321hkFyFXzqIXVZOBy/E/TFy9hDKzCkqX3P36s1E3YT3+oazwQOv8XOAFrNWNPZgJb rcEuxbhXIO2gaV2cK+wHSGNUfKZBjTOL+UmZkdDtW7MehjG5QveXIwX9jyKcZ9BdtZvp SAz97UxpjJiEKlEzrD711WF1Wh+WIwtzBD6EOkyHXqTMKNyYLSmlLZSVcCSvwDS18qIe xi7g== X-Gm-Message-State: APjAAAXBU14bgAAehB4B1YaXzpCkJLM9JqlpkNb13eW7V73PGIHhWomG kE2RyjEhn2tCIXoN+FEWCHOjATLd X-Google-Smtp-Source: APXvYqwkQPxJ6rS/35HowL2cN2v87npXvA0i+ssVIWbsxlU2zMgyaWGkikMVPMSPQX1D6dw/u+e3kw== X-Received: by 2002:a24:da83:: with SMTP id z125mr6009086itg.126.1559577814438; Mon, 03 Jun 2019 09:03:34 -0700 (PDT) Received: from icfp.publicity ([2001:18e8:2:28b7:f000::3fa9]) by smtp.gmail.com with ESMTPSA id t4sm4761974iop.0.2019.06.03.09.03.33 for (version=TLS1_2 cipher=ECDHE-RSA-CHACHA20-POLY1305 bits=256/256); Mon, 03 Jun 2019 09:03:34 -0700 (PDT) From: Sam Tobin-Hochstadt X-Google-Original-From: Sam Tobin-Hochstadt Date: Mon, 03 Jun 2019 12:03:33 -0400 To: caml-list@inria.fr Message-ID: <5cf544d5a6b2e_78b42ab427c125b8899ed@homer.mail> Mime-Version: 1.0 Content-Type: text/plain; charset=UTF-8 Content-Transfer-Encoding: quoted-printable Subject: [Caml-list] Second Call for Submissions: ICFP Student Research Competition Reply-To: Sam Tobin-Hochstadt X-Loop: caml-list@inria.fr X-Sequence: 17599 Errors-to: caml-list-owner@inria.fr Precedence: list Precedence: bulk Sender: caml-list-request@inria.fr X-no-archive: yes List-Id: List-Archive: List-Help: List-Owner: List-Post: List-Subscribe: List-Unsubscribe: ICFP 2019 Student Research Competition Call for Submissions ICFP invites students to participate in the Student Research Competition in order to present their research and get feedback from prominent members of the programming language research community. Please submit your extended abstracts through the submission website. ### Important dates Submissions due: 14 Jun 2019 (Friday) = https://icfp19src.hotcrp.com Notification: 28 Jun 2019 (Friday) Conference: 18 August (Sunday) - 23 August (Friday) Each submission (referred to as "abstract" below) should include the student author=E2=80=99s name and e-mail address; institutional affiliati= on; research advisor=E2=80=99s name; ACM student member number; category (undergraduate or graduate); research title; and an extended abstract addressing the following: * Problem and Motivation: Clearly state the problem being addressed and explain the reasons for seeking a solution to this problem. * Background and Related Work: Describe the specialized (but pertinent) background necessary to appreciate the work in the context of ICFP areas of interest. Include references to the literature where appropriate, and briefly explain where your work departs from that done by others. * Approach and Uniqueness: Describe your approach in addressing the problem and clearly state how your approach is novel. * Results and Contributions: Clearly show how the results of your work contribute to programming language design and implementation in particular and to computer science in general; explain the significance of those results. * Submissions must be original research that is not already published at ICFP or another conference or journal. One of the goals of the SRC is to give students feedback on ongoing, unpublished work. Furthermore, the abstract must be authored solely by the student. If the work is collaborative with others and*or part of a larger group project, the abstract should make clear what the student=E2=80=99s role was and should focus on that portion of the work= . * Formatting: Submissions must be in PDF format, printable in black and white on US Letter sized paper, and interpretable by common PDF tools. All submissions must adhere to the "ACM Small" template that is available (in both LaTeX and Word formats) from https://www.acm.org/publications/authors/submissions. For authors using LaTeX, a lighter-weight package, including only the essential files, is available from http://sigplan.org/Resources/Author/#acmart-format. The submission must not exceed 3 pages in PDF format. Reference lists do not count towards the 3-page limit. Further information is available at the ICFP SRC website: https://icfp19.sigplan.org/track/icfp-2019-Student-Research-Competition ICFP Student Research Competition Chair: William J. Bowman (University of British Columbia)=