The Coq mailing list

[Neel Krishnaswami <nk480 AT cl.cam.ac.uk>]

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


SRC@POPL 2024 Call for Submissions
ACM Student Research Competition

https://popl24.sigplan.org/track/POPL-2024-student-research-competition
Location: London, UK
SRC Posters: Jan 17, 2024 (tentative)
SRC Presentation: Jan 18, 2024 (tentative)

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

Important Dates

Abstract Submission: Fri 10 Nov 2023
Notification of (Conditional) Acceptance: Fri 1 Dec 2023
Re-Submission for Conditionally Accepted Abstracts: Wed 6 Dec 2023
Notification of Final Acceptance: Fri 8 Dec 20223

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

Overview

POPL 2024 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.

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

SRC@POPL 2023 Call for Submissions
ACM Student Research Competition

https://popl23.sigplan.org/track/POPL-2023-student-research-competition
Location: Boston, Massachusetts, USA
SRC Posters: Jan 15, 2023 (tentative)
SRC Presentation: Jan 17, 2023 (tentative)

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

Important Dates

Abstract Submission: Fri 11 Nov 2022
Notification of (Conditional) Acceptance: Fri 2 Dec 2022
Re-Submission for Conditionally Accepted Abstracts: Wed 7 Dec 2022
Notification of Final Acceptance: Fri 9 Dec 2022

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

Overview

POPL 2023 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://popl23src.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.

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

Program Committee

To be announced: