The Coq mailing list

[Umar Farooq <ufarooq AT lsu.edu>]

========================================================================

                       PACMPL Issue OOPSLA 2024

                          Call for Papers

                OOPSLA 2024 will be held as part of

The ACM Conference on Systems, Programming, Languages, and Applications:

                  Software for Humanity (SPLASH'24)

              October 20-25, 2024, Pasadena, California, United States

           https://2024.splashcon.org/track/splash-2024-oopsla

========================================================================

### Important dates

#### ROUND 1:

Submission Deadline:               Fri Oct 20, 2023

Author Response:                   Mon Dec 11 - Wed Dec 13, 2023

Author Notification:               Fri Dec 22, 2023

Artifact Submission:               Fri Jan 5, 2024

Artifact kick-tires:               Sat Jan 6 - Fri Jan 19, 2024

Submission of Revisions:           Sun Feb 11, 2024

Author Notification of Revisions:  Sat Feb 24, 2024

Artifact Notification:             Fri Mar 1, 2024

Camera Ready:                      Fri Mar 8, 2024

Papers accepted at either of the rounds will be published in the 2024

volume of PACMPL(OOPSLA) and invited to be presented at the SPLASH

conference in October 2024.

### Scope

The OOPSLA issue of the Proceedings of the ACM on Programming Languages

(PACMPL) welcomes papers focusing on all practical and theoretical

investigations of programming languages, systems and environments.

Papers may target any stage of software development, including

requirements, modelling, prototyping, design, implementation,

generation, analysis, verification, testing, evaluation, maintenance,

and reuse of software systems. Contributions may include the

development of new tools, techniques, principles, and evaluations.

#### Review Process

PACMPL(OOPSLA) has two rounds of reviewing with submission deadlines

around October and April each year. As you submit your paper you will

receive around three reviews and an opportunity to provide an author

response that will be read and addressed by the reviewers in the final

decision outcome summary. There are 5 possible outcomes at the end of

the round:

*Accept*: Your paper will appear in the upcoming volume of PACMPL

(OOPSLA).

*Conditional Accept*: You will receive a list of required revisions

that you will need to address. You must submit a revised paper, a clear

explanation of how your revision addresses these comments, and

"if possible" a diff of the PDF as supplementary material.

*Minor Revision*: The reviewers have concerns that go beyond what can

be enumerated in a list. Therefore, while you may receive a list of

revisions suggested by the reviewers, this will not necessarily be

comprehensive. You will have the opportunity to resubmit your revised

paper and have it re-reviewed by the same reviewers, which may or may

not result in your paper's acceptance.

*Major Revision*: You will receive a list of revisions suggested by the

reviewers. Papers in this category are *invited to submit a revision

to the next round of submissions* with a specific set of expectations

to be met.

*Reject*: Rejected papers will not be included in the upcoming volume

of PACMPL(OOPSLA).

### Submissions

Submitted papers must be at most **23 pages** in 10 point font. There

is no page limit on references.

PACMPL uses double-blind reviewing. Authors' identities are only

revealed if a paper is accepted. Papers must

1. omit author names and institutions,

2. use the third person when referencing your work,

3. anonymise supplementary material.