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 ESMTPS id 3A4A25D5 for ; Thu, 17 Jun 2021 02:40:59 +0000 (UTC) X-IronPort-AV: E=Sophos;i="5.83,278,1616454000"; d="scan'208";a="515085406" Received: from prod-listesu18.inria.fr (HELO sympa.inria.fr) ([128.93.162.160]) by mail2-relais-roc.national.inria.fr with ESMTP; 17 Jun 2021 04:40:57 +0200 Received: by sympa.inria.fr (Postfix, from userid 20132) id 9F864E0150; Thu, 17 Jun 2021 04:40:57 +0200 (CEST) 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 D734AE0150 for ; Thu, 17 Jun 2021 04:40:49 +0200 (CEST) Authentication-Results: mail3-smtp-sop.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-qk1-f170.google.com IronPort-PHdr: =?us-ascii?q?A9a23=3AgfXCkBzWQ4uTGZDXCzKlzVBlVkEcU1XcAAcZ59I?= =?us-ascii?q?dhq5Udez7ptK+ZR2Zvq41xwWSFazgqNt8w9LMtK7hXWFSqb2gi1slNKJ2ahkel?= =?us-ascii?q?M8NlBYhCsPWQWfyLfrtcjBoVJ8aDAwt8H60K1VaF9jjbFPOvHKy8SQSGhLiPgZ?= =?us-ascii?q?pO+j5AIHfg9mz2uyo9ZDebRlEiDWjbb58MR67sRjfus4KjIV4N60/0AHJonxGe?= =?us-ascii?q?+RXwWNnO1eelAvi68mz4ZBu7T1et+ou+MBcX6r6eb84TaFDAzQ9L281/szrugL?= =?us-ascii?q?dQgaJ+3ART38ZkhtMAwjC8RH6QpL8uTb0u+ZhxCWXO9D9QLYpUjqg8qhrUgflh?= =?us-ascii?q?icJOTAn82/Zl8N/g75Urh+6uxx/2pTZbJ2JOPZifK7Qe84RS2pbXsZWUixMGp6?= =?us-ascii?q?yYJEKD+EcI+hYqJLyp1oIrRenBwesA//gyj9Thn/qx6I1zvghGhzB0QwhA90Ov?= =?us-ascii?q?mzUoM/tNKcPSu+1yKjIwinCb/NK2Tbw84fIchcmofGDWbJ/b8/RxlMuFwPBlFm?= =?us-ascii?q?ftYvlPzaM2+kLrmOU4PZuW/i1hG47twF+vCKvxsE0h4TKhI8bxVPJ+CZ3zYg7O?= =?us-ascii?q?NC2Rk92bNylHZZNtyyXOZd6Tt4sTmxspSo3yKMLt5C0ciUK1Zgq2R7SZuKbfoW?= =?us-ascii?q?H7R/uUvuaLzl/hHJgYr2/hhCy/FCgyu37Ssm7zExKrjJfntbQsXAN0gTf5dKbR?= =?us-ascii?q?ft45Euh3iyP1w/L5uFfIEA0mrLbK5o7zb42jJYTtl7DHiDwlU7rj6GWbl0p9va?= =?us-ascii?q?05+njeLnrpZ+RO5Vqhg3gLKgigNGzDOYkPgQWXmWW+v6w2bLj8EHjQrhGkOc6n?= =?us-ascii?q?rTWvZzGI8kQu7S3DBVP0ok57hayFzem38ocnXkANF9FfQiIj4ntO13XOfD4Duq?= =?us-ascii?q?zj02ikDt2xf3KIqftAprKLnjEn7fheahy51RAxwo0yNBT/5NUCrcfL/LvQkL9q?= =?us-ascii?q?sDUAxsjPwG3w+vrEstx2p0AVW6VH6OUMr/evUeN5u01IumMYIEVuCz6K/gg//P?= =?us-ascii?q?ujGM2mVEFfaWzxZsXdWu3HvBnI0qFYHrsntcAHHwFvgo5S+zqh1mCXiBWZ3moX?= =?us-ascii?q?qI84is3B56hDYfGXoytmqCO3D+nHp1KYWBLEkyDHm3td4WAQvsMbCOSItR9kjE?= =?us-ascii?q?fTrigS4oh1Qm0uwPgyrpnKPDU+iwCup752th1/b6bqRZn/jVxC4GZ0nqRZ2Byh?= =?us-ascii?q?GIBATEsj45lpkko8V6GmZR/if1eUPxU7PNSTg42KdaIzud0E5bqRwjFf9yIVEe?= =?us-ascii?q?OTdKhDjU8S9swx5kFZEMrSIbqtQzKwyf/W+xdrLeMHpFhqso0OlD+IMFyz3vD3?= =?us-ascii?q?aglyVIhR5kXXYVHrqt29gyWHo2Q1kvAyP7seqMb0yrAsmyEyDjW1Km3eAF3Vqr?= =?us-ascii?q?BUHUWZ0+QptP8tBqqcg=3D=3D?= IronPort-HdrOrdr: =?us-ascii?q?A9a23=3A1BHo8KkilP4C95+p5H84pW6BZDLpDfIe3DAb?= =?us-ascii?q?v31ZSRFFG/Fw8Pre58jztCWE8Ar5PUtLpTnuAtjkfZqxz+8X3WByB8bEYOCWgh?= =?us-ascii?q?rQEGgK1+KLqF3d8kXFl9K1vp0QFZSWZueAaWSSTvyX3OB7KbsdKJ3rytHLuQ4T?= =?us-ascii?q?9RhQpMhRBZ1d0w=3D=3D?= X-IronPort-Anti-Spam-Filtered: true X-IronPort-Anti-Spam-Result: =?us-ascii?q?A0CmAgDEtMpgf6reVdFagQmDU4EYDldrh?= =?us-ascii?q?EiJBIkBnUULAQMBCwEBNQoCBAEBhAyDMAIdBwEENBMCBBUBAQUBAQECAQMDBAE?= =?us-ascii?q?TAQENCwsIJxyFaA2COCKEBAsGHQEnEgMSHwImAjYBBQFJBweCBEyCVAEDCSYPm?= =?us-ascii?q?iWBBD2LMoEygQGCCAaEbgpBDYI8AgcJAQh+Ko4RgRmBEIEVgnJvgQQBgV0EgTa?= =?us-ascii?q?DP4JkBIIqggEqAVgtEwMCJwwUA1I7kHYbi3uebAeDIYoQhzCMOSuDXoFCiWKFb?= =?us-ascii?q?JB+oXGTJgIThGQCCgcGECOBSIF9NBkjL4MKCUcZDo42g1mFFIVmJTI4AgYBCQE?= =?us-ascii?q?BAwlYhjeCRgEB?= X-IPAS-Result: =?us-ascii?q?A0CmAgDEtMpgf6reVdFagQmDU4EYDldrhEiJBIkBnUULAQM?= =?us-ascii?q?BCwEBNQoCBAEBhAyDMAIdBwEENBMCBBUBAQUBAQECAQMDBAETAQENCwsIJxyFa?= =?us-ascii?q?A2COCKEBAsGHQEnEgMSHwImAjYBBQFJBweCBEyCVAEDCSYPmiWBBD2LMoEygQG?= =?us-ascii?q?CCAaEbgpBDYI8AgcJAQh+Ko4RgRmBEIEVgnJvgQQBgV0EgTaDP4JkBIIqggEqA?= =?us-ascii?q?VgtEwMCJwwUA1I7kHYbi3uebAeDIYoQhzCMOSuDXoFCiWKFbJB+oXGTJgIThGQ?= =?us-ascii?q?CCgcGECOBSIF9NBkjL4MKCUcZDo42g1mFFIVmJTI4AgYBCQEBAwlYhjeCRgEB?= X-IronPort-AV: E=Sophos;i="5.83,278,1616454000"; d="scan'208";a="385275738" X-MGA-submission: =?us-ascii?q?MDFrTI3jBpatAeeJozGXSP7BeihUeSzuTeDoyq?= =?us-ascii?q?snnPUU2F+Yr1ppTpSIleBgp0WoW1mtswnXrUz/mjsrDjuCWW5IYY8WOj?= =?us-ascii?q?9qE2rsbUoFgU66rKuUya+TyjHcGvKnBkFIkug/5QtTrjs0M9ri8V+SqQ?= =?us-ascii?q?+iYGe7FPLXTTxx1yuJGTqvnQ=3D=3D?= Received: from mail-qk1-f170.google.com ([209.85.222.170]) by mail3-smtp-sop.national.inria.fr with ESMTP/TLS/AES256-GCM-SHA384; 17 Jun 2021 04:40:48 +0200 Received: by mail-qk1-f170.google.com with SMTP id q16so1652575qkm.9 for ; Wed, 16 Jun 2021 19:40:48 -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=eVe9KQhT+tNm6tRS3roJ4ZqF/NAIYwMSpOTRmquRrC4=; b=L4vqqgwBB43uv9VcStuN2f7I4+q/8e/C6SkUsUlonNyEU4L1T8P97Ka/v1H739pBuu p80F/z6es/XvViMwDKgESE1xU8/goiReykKKr661He52KY0PR4qkY/xX60NuK3nxvNdG 0Y1JhpjrrrgPfPJYYCsEQUQMjqRR0sGTUbfdmrpc6AQpyzHVJp2qd01usX0qo3AEtZZy 1IgN0KlVFzugw7S6FFq3LBQx9lFJR4i9Qi6KLxPFjHSantBuyVZfgFCcraldqxGIfRVk pZZV0uq9o9EI11INxiQbe60oQAb1gs6gMs/KTMJ/dyJUj6XxTdNJIWTwR3hljYWMvqBH n8xg== 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=eVe9KQhT+tNm6tRS3roJ4ZqF/NAIYwMSpOTRmquRrC4=; b=I8MjcmmUZyNnYnsg2vDj1oUD2F4gl1GbptnWcKwJFX9DjI3gEFsRmM/u+LvI9knThD ZB76Kp6rL5r+/hHMQ0e6uGvgxkPlUuUWJcf7Ix8WAsMmqhEsfgStIZLzi/fM/8xmVLpT g9CGR3WMnIv+G5O/Nplql9Jcs1Q6MTJ6vhuVpzB5c1E8MgzhQMqntsnWTfbg0MzN6pXf QSdL0NjwOu9rBPp5sL5enVS2bcdulg7ifiBR0/G9nLwmiiREgQ8IjIsz6okYePqLlY7a jN2PVuO1eunZkPQi+zQY6eYPeRUtto27pdm2Ml6Xz1xVDxw3uikwxXCe0/xFE9XN7hRi WkMw== X-Gm-Message-State: AOAM533HANeOmct9MHdgo9InKYp6EUuHtOA+HFsQOOUaRtKISt65FxOl b3kdqcguM2nnVlDp81cP5JJihLntElk= X-Google-Smtp-Source: ABdhPJxwBXlEeVAEUGJ4lypuKWwFoieZO7yPj0tXfr2MNvVRD4SDM95j9S274ZJkBAoe8yoIsI7fEg== X-Received: by 2002:a37:e209:: with SMTP id g9mr1504547qki.231.1623897646900; Wed, 16 Jun 2021 19:40:46 -0700 (PDT) Received: from icfp.publicity (c-68-45-72-140.hsd1.in.comcast.net. [68.45.72.140]) by smtp.gmail.com with ESMTPSA id m7sm789859qki.79.2021.06.16.19.40.46 for (version=TLS1_3 cipher=TLS_AES_256_GCM_SHA384 bits=256/256); Wed, 16 Jun 2021 19:40:46 -0700 (PDT) From: Sam Tobin-Hochstadt X-Google-Original-From: Sam Tobin-Hochstadt Date: Wed, 16 Jun 2021 22:40:46 -0400 To: caml-list@inria.fr Message-ID: <60cab62e5369e_4e48e2940c8@homer.mail> Mime-Version: 1.0 Content-Type: text/plain; charset=UTF-8 Content-Transfer-Encoding: quoted-printable Subject: [Caml-list] ICFP 2021 Student Research Competition: Call for Submissions Reply-To: Sam Tobin-Hochstadt X-Loop: caml-list@inria.fr X-Sequence: 18527 Errors-To: caml-list-owner@inria.fr Precedence: list Precedence: bulk Sender: caml-list-request@inria.fr X-no-archive: yes List-Id: List-Help: List-Subscribe: List-Unsubscribe: List-Post: List-Owner: List-Archive: Archived-At: ICFP 2021 Student Research Competition Call for Submissions ICFP invites students to participate in the Student Research Competition, which will be held virtually alongside the main conference, in order to present their research and receive feedback from prominent members of the programming language research community. As usual, the SRC consists of three rounds: * Extended abstract * Poster session at ICFP 2021 * ICFP presentation To make the virtual competition fruitful, we will make sure that every student will have an "invited audience"=C2=A0during the poster=C2=A0session.=C2=A0 We are also planning to organize a social even= t for the students. Please visit the SRC website for updates. ### Important Dates Submissions due: 2 July 2021 (Friday) https://icfp21src.hotcrp.com Notification: 16 July 2021 (Friday) Conference: 22 August (Sunday) - 27 August (Friday) ### Submission Details 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://icfp21.sigplan.org/track/icfp-2021-Student-Research-Competition Program Committee: Chair: Anders Miltner (UT Austin) Andreea Costea (NUS Singapore) Andrew Hirsch (MPI-SWS) Liam O'Connor (University of Edinburgh) Lionel Parreaux (HKUST) Daming Zou (ETH Zurich)