The Coq mailing list

[Ralf Jung <research AT ralfj.de>]

SRC@POPL 2025 Call for Submissions
ACM Student Research Competition

https://popl25.sigplan.org/track/POPL-2025-student-research-competition
Location: Denver, Colorado, US
SRC Posters: Jan 22, 2025 (tentative)
SRC Presentation: Jan 23, 2025 (tentative)

--------------------------------------------------------------------------

Important Dates

Abstract Submission: Fri 29 Nov 2024
Notification of (Conditional) Acceptance: Fri 6 Dec 2024
Re-Submission for Conditionally Accepted Abstracts: Wed 11 Dec 2024
Notification of Final Acceptance: Fri 13 Dec 2024

--------------------------------------------------------------------------

Overview

POPL 2025 will host an ACM Student Research Competition, where
undergraduate and graduate students can present their original
research before a panel of judges and conference attendees. This
year’s competition will consist of three rounds:

* Round 1, Extended abstract: All students are encouraged to submit an
  extended abstract outlining their research. The submission should be
  up to three pages using “\documentclass[acmsmall,nonacm]{acmart}”.

* Round 2, Poster at POPL: Based on the abstracts, a panel of judges
  will select the most promising entrants to participate in a poster
  session at POPL. In the poster session, students will be able to
  interact with POPL attendees and judges. After the poster session,
  three finalists in each category (graduate/undergraduate) will be
  selected to advance to the next round.

* Round 3, Oral presentation at POPL: The last round will consist of a
  short oral live presentation at POPL to compete for the final awards
  in each category. This round will also select an overall winner who
  will advance to the ACM SRC Grand Finals.

--------------------------------------------------------------------------

Call for Submission

POPL 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 HotCRP:

    https://popl24src.hotcrp.com

Submissions must be original research that is not already published at
POPL 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.

The extended abstract should be up to three pages using
‘\documentclass[acmsmall,nonacm]{acmart}’. Reference lists do not
count towards the three-page limit. You may write appendices after the
three-page limit, but please be noted that the committee is not
required to read them.

This year, we will have two review cycles. For each submission, one of
the following decisions will be made:

* Accept: abstracts that proceed to the next round unconditionally.
* Conditional Accept: abstracts that receive revision suggestions from
    the PC members. Authors will have 5 days to revise the abstract
    accordingly and then resubmit. The revised abstracts will then be
    re-evaluated, and either accepted or rejected.
* Reject: abstracts that will not proceed to the next round.