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 0087C7EE5B for ; Fri, 16 May 2014 22:31:40 +0200 (CEST) Received-SPF: None (mail3-smtp-sop.national.inria.fr: no sender authenticity information available from domain of icfp.publicity@googlemail.com) identity=pra; client-ip=209.85.160.195; receiver=mail3-smtp-sop.national.inria.fr; envelope-from="icfp.publicity@googlemail.com"; x-sender="icfp.publicity@googlemail.com"; x-conformance=sidf_compatible Received-SPF: Pass (mail3-smtp-sop.national.inria.fr: domain of icfp.publicity@googlemail.com designates 209.85.160.195 as permitted sender) identity=mailfrom; client-ip=209.85.160.195; receiver=mail3-smtp-sop.national.inria.fr; envelope-from="icfp.publicity@googlemail.com"; x-sender="icfp.publicity@googlemail.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-yk0-f195.google.com) identity=helo; client-ip=209.85.160.195; receiver=mail3-smtp-sop.national.inria.fr; envelope-from="icfp.publicity@googlemail.com"; x-sender="postmaster@mail-yk0-f195.google.com"; x-conformance=sidf_compatible X-IronPort-Anti-Spam-Filtered: true X-IronPort-Anti-Spam-Result: As0BAF50dlPRVaDDeWdsb2JhbABZg1VYgmmmbZoqgRAIFg4BAQkLDAgSKoJJBh0BASYJCRgNDwIJHQIkEgEFASIcEogRAQMRDZEkkA+LGneDXgEFgXeXcApADYYvEQaBKoQrhWwBgRSBKAEBLoMdgUuEYJR8kSgYKYUDITCBCg X-IPAS-Result: As0BAF50dlPRVaDDeWdsb2JhbABZg1VYgmmmbZoqgRAIFg4BAQkLDAgSKoJJBh0BASYJCRgNDwIJHQIkEgEFASIcEogRAQMRDZEkkA+LGneDXgEFgXeXcApADYYvEQaBKoQrhWwBgRSBKAEBLoMdgUuEYJR8kSgYKYUDITCBCg X-IronPort-AV: E=Sophos;i="4.97,1069,1389740400"; d="scan'208";a="62207618" Received: from mail-yk0-f195.google.com ([209.85.160.195]) by mail3-smtp-sop.national.inria.fr with ESMTP/TLS/RC4-SHA; 16 May 2014 22:31:39 +0200 Received: by mail-yk0-f195.google.com with SMTP id 200so826897ykr.2 for ; Fri, 16 May 2014 13:31:38 -0700 (PDT) DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/relaxed; d=googlemail.com; s=20120113; h=mime-version:reply-to:date:message-id:subject:from:to:content-type :content-transfer-encoding; bh=qDHJrYmIHRphnyM0zaLofFWy0qLaz7rSyyChpST8v94=; b=r9DFV5CTTlKjD/zw+pTmJK2dN84N+qqkbyh98WxjCN0k5xK9TR22EKPe8lk/Z+c3Ik de8bPrq9Z3cmf4OP/7udl/d2NDfXHycPy7wcxQ7kF/mjkhLVdLelMFdhcupTOoRKQCB1 97H9sNUS+eNyOTxCFzOZ+NYqrEFz1cgdZnK8rsQu8TT4DYN8/uyLusfDR12UDIneJDe8 gEa3JbGseR/5oQuPqB6+RvWgXzd37hwxrnCsv9b7u/Njv5lDJqW1ZrXaJY3KmOT+70gb CUCIih0bcvRJbtWwSMqzj/i/e3U4XQcRUaMngs4DAD5otuJmUkbXuB0QYsvlnXnuD2nH 6/uQ== MIME-Version: 1.0 X-Received: by 10.236.129.43 with SMTP id g31mr7372762yhi.155.1400271866151; Fri, 16 May 2014 13:24:26 -0700 (PDT) Received: by 10.170.221.65 with HTTP; Fri, 16 May 2014 13:24:26 -0700 (PDT) Reply-To: dvanhorn@cs.neu.edu Date: Fri, 16 May 2014 16:24:26 -0400 Message-ID: From: David Van Horn To: caml-list Content-Type: text/plain; charset=UTF-8 Content-Transfer-Encoding: quoted-printable Subject: [Caml-list] ICFP 2014 Student Research Competition: Call for Submissions =3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D= =3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D= =3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D CALL FOR SUBMISSION SRC@ICFP 2014 Gothenburg, Sweden 1-3 September 2014 http://www.icfpconference.org/icfp2014/src.html Co-located with the International Conference on Functional Programming (ICFP 2014) =3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D= =3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D= =3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D Student Research Competition ------------------------ This year ICFP will host a Student Research Competition where undergraduate and postgraduate students can present posters. The SRC at the ICFP 2014 consists of three rounds: Extended abstract round: All students are encouraged to submit an extended abstract outlining their research (800 words). Poster session at ICFP 2014: Based on the abstracts, a panel of judges will select the most promising entrants to participate in the poster session which will take place at ICFP. Students who make it to this round will be eligible for some travel support to attend the conference. In the poster session, students will have the opportunity to present their work to the judges, who will select three finalists in each category* (graduate/undergraduate) to advance to the next round. ICFP presentation: The last round will consist of an oral presentation at the ICFP to compete for the final awards in each category. Prizes ----- * Both the top three graduate and the top three undergraduate winners will receive prizes of $500, $300, and $200, respectively. * All six winners will receive award medals and a two-year complimentary ACM student membership, including a subscription to ACM=C3=A2=E2=82=AC=E2=84=A2s Di= gital Library. * The names of the winners will be posted on the SRC web site. * The overall first place winner of the SRC will be invited to participate in the ACM SRC Grand Finals, an on-line round of competitions among the winners of other conference-hosted SRCs. * Grand Finalists and their advisors will be invited to the Annual ACM Awards Banquet for an all-expenses-paid trip, where they will be recognized for their accomplishments along with other prestigious ACM award winners, including the winner of the Turing Award (also known as the Nobel Prize of Computing). * The top three graduate Grand Finalists will receive an additional $500, $300, and $200. Likewise, the top three undergraduate Grand Finalists will receive an additional $500, $300, and $200. All six Grand Finalists will receive Grand Finalist certificates. * The ACM, Microsoft Research, and our industrial partners provide financial support for students attending the SRC. You can find more information about this on the ACM website. Eligibility -------- The SRC is open to both undergraduate (not in a PhD programme) and graduate students (in a PhD programme). Upon submission, entrants must be enrolled as a student at their universities, and are ACM student members. Furthermore, there are some constraints on what kind of work may be submitted. Previously published work: Submissions should consist of original work (not yet accepted for publication). If the work is a continuation of previously published work, the submission should focus on the contribution over what has already been published. We encourage students to see this as an opportunity to get early feedback and exposure for the work they plan to submit to the next ICFP or POPL. Collaborative work: Students are encouraged to submit work they have been conducting in collaboration with others, including advisors, internship mentors, or other students. However, submissions are individual, so they must focus on the contributions of the student. Submission Details --------------- Each submission should include the student author=C3=A2=E2=82=AC=E2=84=A2s = name, institutional affiliation, e-mail address, and postal address; research advisor=C3=A2=E2=82=AC=E2=84=A2s 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. 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 attacking the problem and clearly state how your approach is novel. * Results and Contributions: Clearly show how the results of your work contribute to computer science and explain the significance of those results. The abstract must describe the student=C3=A2=E2=82=AC=E2=84=A2s individual = research and 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=C3=A2=E2=82=AC=E2=84=A2s role was and should focus o= n that portion of the work. The extended abstract must not exceed 800 words and must not be longer than 2 pages. The reference list does not count towards these limits. To submit an abstract, please register through the submission page and follow the instructions. Abstracts submitted after the deadline may be considered at the committee's discretion, but only after decisions have been made on all abstracts submitted before the deadline. If you have any problems, don't hesitate to contact the competition chair. Important Dates ------------- * Deadline for submission: 29 June * Notification of acceptance: 14 July Selection Committee ---------------- Jeremy Gibbons, University of Oxford Andrew Kennedy, Microsoft Research Cambridge Matthieu Sozeau, INRIA Paris Sam Tobin-Hochstadt, Indiana University Meng Wang, Chalmers University of Technology (Chair) Stephanie Weirich, University of Pennsylvania Transport of your poster ------------------- You can either bring your poster on your own to the conference or mail it to the local organizers: Attn.: Meng Wang Chalmers University of Technology Department of Computer Science and Engineering SE-412 96 G=C3=B6teborg, Sweden If you choose to mail, please make sure that the poster will arrive at the latest on 30th August 2014.