The Coq mailing list

[Kimball Germane <kimball AT cs.byu.edu>]

ICFP 2025 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.

The SRC consists of three rounds:

* Submission of an extended abstract

* Poster session at ICFP 2025

* Finalists' presentations at ICFP 2025

During the first round students submit an extended abstract detailing
their research to be reviewed by the program committee.
Those students whose abstracts get accepted advance to the poster session round which will take place during ICFP 2025.
Winners of the poster session advance to the next round, where they will give a 5-minute presentation about their work on the ICFP main stage in front of a live audience.

Please note that a work cannot be simultaneously submitted to multiple SRCs, including both the ICFP SRC and the SPLASH SRC which are co-located this year.

### IMPORTANT DATES AND TIMES

* Submission Deadline: 19 June 2025 (Thursday)

* Author Notification: 14 July 2025 (Monday)

* ICFP 2025 Conference in Singapore:
  12 October 2025 (Sunday) - 18 October 2025 (Saturday)

### SUBMISSION OF EXTENDED ABSTRACTS

* Submission Website: https://icfp25src.hotcrp.com

Each submission (referred to as "abstract" below) should include the
student author's name and e-mail address; institutional affiliation;
research advisor's 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's 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://icfp25.sigplan.org/track/icfp-2025-student-research-competition