The Coq mailing list

[Ralf Jung <research AT ralfj.de>]

Hi all,

I apologize for a mistake in the previous email -- the submission URL is:

    https://popl25src.hotcrp.com

Kind regards,
Ralf


On 07.11.24 18:25, Ralf Jung wrote:
> 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.

--
Website: https://research.ralfj.de