<html>
<head>
<meta http-equiv="Content-Type" content="text/html; charset=Windows-1252">
<style type="text/css" style="display:none;"> P {margin-top:0;margin-bottom:0;} </style>
</head>
<body dir="ltr">
<div style="font-family: Calibri, Arial, Helvetica, sans-serif; font-size: 12pt; color: rgb(0, 0, 0);" class="elementToProof ContentPasted0">
<span style="font-size: 12pt;">Dear all</span><br>
</div>
<div style="font-family: Calibri, Arial, Helvetica, sans-serif; font-size: 12pt; color: rgb(0, 0, 0);" class="elementToProof ContentPasted0">
<div><span class="ContentPasted0" style="font-size:12pt;margin:0px"></span><br class="ContentPasted0">
</div>
<div class="ContentPasted0">The POPL 2024 submission site is now live:</div>
<div><br class="ContentPasted0">
</div>
<div class="ContentPasted0">https://popl24.hotcrp.com</div>
<div><br class="ContentPasted0">
</div>
<div class="ContentPasted0">and the deadline for submissions is 11 July 2023, Anywhere on Earth.</div>
<div><br class="ContentPasted0">
</div>
<div class="ContentPasted0">Please spread the word, and consider submitting your best work! Full details below.</div>
<div><br class="ContentPasted0">
</div>
<div class="ContentPasted0">Best wishes</div>
<div><br class="ContentPasted0">
</div>
<div class="ContentPasted0">Ally Donaldson and John Wickerson</div>
<div class="ContentPasted0">POPL 2024 Publicity Chairs</div>
<div><br class="ContentPasted0">
</div>
<div><br class="ContentPasted0">
</div>
<div><br class="ContentPasted0">
</div>
<div class="ContentPasted0">PACMPL Issue POPL 2024 seeks contributions on all aspects of programming languages and programming systems, both theoretical and practical. Authors of papers published in PACMPL Issue POPL 2024 will be invited to present their work
in the POPL conference in January 2024, which is sponsored by ACM SIGPLAN, in cooperation with ACM SIGACT and ACM SIGLOG.</div>
<div><br class="ContentPasted0">
</div>
<div class="ContentPasted0">POPL 2024 Website: https://popl24.sigplan.org</div>
<div><br class="ContentPasted0">
</div>
<div class="ContentPasted0">Call for Papers: https://popl24.sigplan.org/track/POPL-2024-popl-research-papers</div>
<div><br class="ContentPasted0">
</div>
<div class="ContentPasted0">Double-Blind Review FAQ: https://popl24.sigplan.org/track/POPL-2024-popl-research-papers#FAQ-on-Double-Blind-Reviewing</div>
<div><br class="ContentPasted0">
</div>
<div><br class="ContentPasted0">
</div>
<div class="ContentPasted0">### Organization</div>
<div><br class="ContentPasted0">
</div>
<div class="ContentPasted0">Conference Location: London, United Kingdom</div>
<div><br class="ContentPasted0">
</div>
<div class="ContentPasted0">Conference Dates: January 17-19, 2024</div>
<div><br class="ContentPasted0">
</div>
<div class="ContentPasted0">General Chair: Philippa Gardner, Imperial College London</div>
<div><br class="ContentPasted0">
</div>
<div class="ContentPasted0">Program Chair: Derek Dreyer, MPI-SWS</div>
<div><br class="ContentPasted0">
</div>
<div class="ContentPasted0">Program Committee: https://popl24.sigplan.org/committee/POPL-2024-popl-research-papers-program-committee</div>
<div><br class="ContentPasted0">
</div>
<div><br class="ContentPasted0">
</div>
<div class="ContentPasted0">### Important Dates</div>
<div><br class="ContentPasted0">
</div>
<div class="ContentPasted0">All the times/deadlines below are Anywhere on Earth (AoE) in 2023.</div>
<div><br class="ContentPasted0">
</div>
<div class="ContentPasted0">Submission deadline: July 11</div>
<div class="ContentPasted0">Start of author response period: Sept 11</div>
<div class="ContentPasted0">End of author response period: Sept 14</div>
<div class="ContentPasted0">Notification of conditional acceptance: Oct 2</div>
<div class="ContentPasted0">Artifact deadline: Oct 9</div>
<div class="ContentPasted0">Revised submissions due: Oct 26</div>
<div class="ContentPasted0">Notification of final acceptance (artifacts & papers): Nov 7</div>
<div class="ContentPasted0">Camera-ready deadline: Nov 10</div>
<div><br class="ContentPasted0">
</div>
<div><br class="ContentPasted0">
</div>
<div class="ContentPasted0">### Scope</div>
<div><br class="ContentPasted0">
</div>
<div class="ContentPasted0">Principles of Programming Languages (POPL) is a forum for the discussion of all aspects of programming languages and programming systems. Both theoretical and experimental papers are welcome. We seek submissions that make principled,
enduring contributions to the theory, design, understanding, implementation, or application of programming languages.
</div>
<div><br class="ContentPasted0">
</div>
<div><br class="ContentPasted0">
</div>
<div class="ContentPasted0">### Evaluation Criteria</div>
<div><br class="ContentPasted0">
</div>
<div class="ContentPasted0">The Program Committee will evaluate the technical contribution of each submission as well as its accessibility to both experts and the general POPL audience. All papers will be judged on significance, originality, relevance, correctness,
and clarity. Each paper must explain its scientific contribution in both general and technical terms, identifying what has been accomplished, explaining why it is significant, and comparing it with previous work. Advice on writing technical papers can be found
on the [SIGPLAN author information page](http://www.sigplan.org/Resources/Author/).</div>
<div><br class="ContentPasted0">
</div>
<div class="ContentPasted0">Deadlines and formatting requirements, detailed below, will be strictly enforced.</div>
<div><br class="ContentPasted0">
</div>
<div><br class="ContentPasted0">
</div>
<div class="ContentPasted0">### Full Double-Blind Reviewing Process</div>
<div><br class="ContentPasted0">
</div>
<div class="ContentPasted0">POPL 2024 will use a **full double-blind** reviewing process (similar to the one used for POPL 2023 but different from the lightweight double-blind process used in previous years). This means that identities of authors will not be
made visible to reviewers until after conditional-acceptance decisions have been made, and then only for the conditionally-accepted papers. The use of full double-blind reviewing has several consequences for authors.</div>
<div><br class="ContentPasted0">
</div>
<div class="ContentPasted0">* **Submissions**: Authors must omit their names and institutions from their paper submissions. In addition, references to authors' own prior work should be in the third person (e.g., not "We build on our previous work …" but rather
"We build on the work of …").</div>
<div><br class="ContentPasted0">
</div>
<div class="ContentPasted0">* **Supplementary material**: Authors are permitted to provide supplementary material (e.g., detailed proofs, proof scripts, system implementations, or experimental data) along with their submission, which reviewers may (but are
not required to) examine. This material may take the form of a single file, such as a PDF or a tarball. **Authors must fully anonymize any supplementary material. Links to supplementary material on external websites are not permitted.**</div>
<div><br class="ContentPasted0">
</div>
<div class="ContentPasted0">* **Author response**: In responding to reviews, authors should not say anything that reveals their identity, since author identities will not be revealed to reviewers at that stage of the reviewing process.</div>
<div><br class="ContentPasted0">
</div>
<div class="ContentPasted0">* **Dissemination of work under submission**: Authors are welcome to disseminate their ideas and post draft versions of their paper(s) on their personal website, institutional repository, or arXiv (reviewers will be asked to turn
off arXiv notifications during the review period). But authors should not take steps that would almost certainly reveal their identities to members of the Program Committee, e.g., directly contacting PC members or publicizing the work on widely-visible social
media or major mailing lists used by the community. </div>
<div><br class="ContentPasted0">
</div>
<div class="ContentPasted0">The purpose of the above restrictions is to help the Program Committee and external reviewers come to a judgment about the paper without bias, not to make it impossible for them to discover the authors' identities if they were to
try. In particular, nothing should be done in the name of anonymity that weakens the quality of the submission.</div>
<div><br class="ContentPasted0">
</div>
<div class="ContentPasted0">However, there are occasionally cases where adhering to the above restrictions is truly difficult or impossible for one reason or another. In such cases, the authors should contact the Program Chair to discuss the situation and how
to handle it.</div>
<div><br class="ContentPasted0">
</div>
<div class="ContentPasted0">The [FAQ on Double-Blind Reviewing](https://conf.researchr.org/track/POPL-2024/POPL-2024-popl-research-papers#FAQ-on-Double-Blind-Reviewing) addresses many common scenarios and answers many common questions about this topic. But
there remain many grey areas and trade-offs. If you have any doubts about how to interpret the double-blind rules or you encounter a complex case that is not clearly covered by the FAQ, please contact the Program Chair for guidance.</div>
<div><br class="ContentPasted0">
</div>
<div><br class="ContentPasted0">
</div>
<div class="ContentPasted0">### Additional Details of the Reviewing Process</div>
<div><br class="ContentPasted0">
</div>
<div class="ContentPasted0">POPL 2024 will have four Associate Chairs who will help the Program Chair monitor reviews, solicit external expert reviews for submissions when there is not enough expertise on the committee, and facilitate reviewer discussions.
</div>
<div><br class="ContentPasted0">
</div>
<div class="ContentPasted0">As in previous years, authors will have a multi-day period to respond to reviews, as indicated in the Important Dates table. Responses are optional but recommended. A response should address specific points or questions raised in
the reviews as well as any erroneous claims made by reviewers; in particular, it should not present new technical results, unless specifically requested by the reviewers.</div>
<div><br class="ContentPasted0">
</div>
<div class="ContentPasted0">The Program Committee (PC) will discuss papers electronically using the HotCRP conference management system. There will be no physical or synchronous PC meeting; this will avoid the time, cost, and environmental impact of transporting
an increasingly large committee to one point on the globe. There is also no formal External Program Committee or Extended Review Committee, though experts outside the committee will be consulted as needed. Paper decisions will be accompanied by a "meta-review"
summarizing the reasoning behind the committee's decision.</div>
<div><br class="ContentPasted0">
</div>
<div class="ContentPasted0">To conform with ACM requirements for journal publication, all POPL papers will be subject to two rounds of review. At the end of the first round, the PC will select a set of _conditionally accepted_ papers, each with a clear list
of mandatory revisions that the authors must implement in order for the paper to be accepted. For the second round, authors of conditionally accepted papers will then be required to submit a short description of how they have revised the paper, including how
the mandatory revisions have been implemented. The PC will then check the revisions and make final acceptance decisions. Authors of conditionally accepted papers must submit a satisfactory revision to the PC by the second-round deadline or risk rejection.</div>
<div><br class="ContentPasted0">
</div>
<div class="ContentPasted0">For additional information about the reviewing process, see: [Principles of POPL](https://www.sigplan.org/Conferences/POPL/Principles/), a presentation of the underlying organizational and reviewing policies for POPL. For POPL 2024,
policies specified in this Call for Papers supersede those in the Principles of POPL document.
</div>
<div><br class="ContentPasted0">
</div>
<div><br class="ContentPasted0">
</div>
<div class="ContentPasted0">### Submission Site Information</div>
<div><br class="ContentPasted0">
</div>
<div class="ContentPasted0">The submission site is https://popl24.hotcrp.com. </div>
<div><br class="ContentPasted0">
</div>
<div class="ContentPasted0">Authors can submit multiple times prior to the deadline. Only the last submission will be reviewed. There is no abstract deadline. The submission site requires entering author names and affiliations, relevant topics, and potential
conflicts. Addition or removal of authors after the submission deadline will need to be approved by the Program Chair (as this kind of change potentially undermines the goal of eliminating conflicts during paper assignment).</div>
<div><br class="ContentPasted0">
</div>
<div class="ContentPasted0">The submission deadline is 11:59 PM on July 11, 2023, Anywhere on Earth: https://en.wikipedia.org/wiki/Anywhere_on_Earth</div>
<div><br class="ContentPasted0">
</div>
<div><br class="ContentPasted0">
</div>
<div class="ContentPasted0">### Conflicts of Interest</div>
<div><br class="ContentPasted0">
</div>
<div class="ContentPasted0">For each submission, the authors must make sure that they properly declare all potential conflicts of interest for all of the authors of that submission. This includes marking PC conflicts as well as “Other Conflicts (external)”.
A conflict caught late in the reviewing process leads to a voided review which may be infeasible to replace.</div>
<div><br class="ContentPasted0">
</div>
<div class="ContentPasted0">Conflicts should be declared between an adviser and an advisee (e.g., Ph.D., post-doc; forever), between an author and a co-author (papers and proposals; for two years), between people at the same institution (branches of large companies
or different locations of research institutes are considered to be the same institution; for two years after leaving an institution), between people with financial conflicts of interest, and between relatives.
</div>
<div><br class="ContentPasted0">
</div>
<div class="ContentPasted0">Please do not declare spurious conflicts: such incorrect conflicts are especially harmful if the aim is to exclude potential reviewers, so spurious conflicts can be grounds for rejection. If you are unsure about a conflict, please
ask the Program Chair.</div>
<div><br class="ContentPasted0">
</div>
<div><br class="ContentPasted0">
</div>
<div class="ContentPasted0">### Submission Guidelines</div>
<div><br class="ContentPasted0">
</div>
<div class="ContentPasted0">Prior to the paper submission deadline, authors should upload their full anonymized paper. Here are some key requirements concerning paper submissions:</div>
<div><br class="ContentPasted0">
</div>
<div class="ContentPasted0">* Each paper should have no more than **25 pages of text, excluding bibliography**, using the PACMPL format (specifically, the `acmart` LaTeX class with `acmsmall` option). It is a single-column page layout with a 10 pt font, 12
pt line spacing, and wider margins than recent POPL page layouts. In this format, the main text block is 5.478 in (13.91 cm) wide and 7.884 in (20.03 cm) tall. Use of a different format (e.g., smaller fonts or a larger text block) is grounds for summary rejection.
The PACMPL template for LaTeX can be found at the [SIGPLAN author information page](http://www.sigplan.org/Resources/Author/), and further information about PACMPL submissions can be found on the [PACMPL author guidelines page](https://dl.acm.org/journal/pacmpl/author-guidelines).
PACMPL does not support submissions in Microsoft Word. </div>
<div><br class="ContentPasted0">
</div>
<div class="ContentPasted0">* We strongly encourage use of the `review` and `screen` options in order to make submissions easier to review.
</div>
<div><br class="ContentPasted0">
</div>
<div class="ContentPasted0">* We strongly encourage use of author-year citations, since that is the citation format required by PACMPL for final versions of accepted papers.</div>
<div><br class="ContentPasted0">
</div>
<div class="ContentPasted0">* Submissions should be in PDF and printable on both US Letter and A4 paper. Papers may be resubmitted to the submission site multiple times up until the deadline, but the last version submitted before the deadline will be the version
reviewed. Papers that exceed the length requirement or deviate from the expected format will be rejected.</div>
<div><br class="ContentPasted0">
</div>
<div class="ContentPasted0">* Submitted papers must adhere to the [SIGPLAN Republication Policy](http://www.sigplan.org/Resources/Policies/Republication/) and the [ACM Policy on Plagiarism](https://www.acm.org/publications/policies/plagiarism-overview). Concurrent
paper submissions to other conferences, workshops, journals, or similar forums of publication are not allowed.</div>
<div><br class="ContentPasted0">
</div>
<div class="ContentPasted0">* Authors are free to submit supplementary material along with their submissions, but it must be fully anonymized.</div>
<div><br class="ContentPasted0">
</div>
<div class="ContentPasted0">* Authors must list all their conflicts of interest (both PC conflicts and external conflicts) in the HotCRP submission form.</div>
<div><br class="ContentPasted0">
</div>
<div class="ContentPasted0">* Authors may include additional information in a field of the HotCRP submission form labeled "Confidential Comments for the Program Chair". This information need not be anonymized. It can be used to inform the Program Chair, for
example, about sensitive issues concerning a conflict with a PC member or about supplementary material that cannot be anonymized. It is left to the discretion of the Program Chair what to do with this information.</div>
<div><br class="ContentPasted0">
</div>
<div class="ContentPasted0">* If for some reason an author feels uncomfortable discussing a sensitive issue with the Program Chair (or communicating via the "Confidential Comments" field in HotCRP), they should feel free to get in touch instead with any of
the Associate Chairs, with whom they can discuss the issue in confidence.</div>
<div><br class="ContentPasted0">
</div>
<div class="ContentPasted0">* Submissions from PC members (except the Program Chair) are permitted and will not be handled any differently than other submissions. This is in accordance with a recent change in policy approved by the SIGPLAN Executive Committee:
SIGPLAN conferences that use full double-blind review and whose PCs have at least 50 members need not hold PC submissions to a higher standard.</div>
<div><br class="ContentPasted0">
</div>
<div><br class="ContentPasted0">
</div>
<div class="ContentPasted0">### Artifact Evaluation for Accepted Papers</div>
<div><br class="ContentPasted0">
</div>
<div class="ContentPasted0">Authors of conditionally accepted papers will be invited to formally submit supporting materials to the Artifact Evaluation process. Artifact Evaluation is run by a separate committee whose task is to assess how the artifacts support
the work described in the papers. Artifact submission is strongly encouraged but voluntary and will not influence the final decision regarding the papers. Papers that go through the Artifact Evaluation process successfully will receive a seal of approval printed
on the papers themselves. Authors of accepted papers are encouraged to make these materials publicly available upon publication of the proceedings, by including them as "source materials" in the ACM Digital Library.</div>
<div><br class="ContentPasted0">
</div>
<div><br class="ContentPasted0">
</div>
<div class="ContentPasted0">### Copyright, Publication, and Presentation</div>
<div><br class="ContentPasted0">
</div>
<div class="ContentPasted0">As a Gold Open Access journal, PACMPL is committed to making peer-reviewed scientific research free of restrictions on both access and (re-)use. Authors are strongly encouraged to support libre open access by licensing their work
with the [Creative Commons Attribution 4.0 International (CC BY) license](https://creativecommons.org/licenses/by/4.0/), which grants readers liberal (re-)use rights.</div>
<div><br class="ContentPasted0">
</div>
<div class="ContentPasted0">Authors of accepted papers will be required to choose one of the following publication rights:</div>
<div><br class="ContentPasted0">
</div>
<div class="ContentPasted0">* Author licenses the work with a [Creative Commons license](https://creativecommons.org/), retains copyright, and (implicitly) grants ACM non-exclusive permission to publish (suggested choice).</div>
<div class="ContentPasted0">* Author retains copyright of the work and grants ACM a non-exclusive permission to publish license.</div>
<div class="ContentPasted0">* Author retains copyright of the work and grants ACM an exclusive permission to publish license.</div>
<div class="ContentPasted0">* Author transfers copyright of the work to ACM.</div>
<div><br class="ContentPasted0">
</div>
<div class="ContentPasted0">These choices follow from ACM Copyright Policy and ACM Author Rights, corresponding to ACM's "author pays" option. While PACMPL may ask authors who have funding for open-access fees to voluntarily cover the article processing charge
(currently, US$400), payment is not required for publication. PACMPL and SIGPLAN continue to explore the best models for funding open access, focusing on approaches that are sustainable in the long-term while reducing short-term risk.</div>
<div><br class="ContentPasted0">
</div>
<div class="ContentPasted0">All papers will be archived by the ACM Digital Library. Authors will have the option of including supplementary material with their paper. The official publication date is the date the proceedings are made available in the ACM Digital
Library. This date may be up to two weeks prior to the first day of the conference. The official publication date affects the deadline for any patent filings related to published work.</div>
<div><br class="ContentPasted0">
</div>
<div class="ContentPasted0">Authors of accepted papers are required to give a short talk (precise length still to be determined, but typically between 15 and 25 minutes) at the conference, according to the conference schedule.
</div>
<div><br class="ContentPasted0">
</div>
<div><br class="ContentPasted0">
</div>
<div class="ContentPasted0">### Distinguished Paper Awards</div>
<div><br class="ContentPasted0">
</div>
<div class="ContentPasted0">At most 10% of the accepted papers of POPL 2024 will be designated as Distinguished Papers. This award highlights papers that the Program Committee thinks should be read by a broad audience due to their relevance, originality, significance,
and clarity. The selection of the distinguished papers will be made based on the final version of the paper and through an additional review process.</div>
<br>
</div>
</body>
</html>