The Coq mailing list

[Andreea Costea <andreeac AT comp.nus.edu.sg>]

========================================================================
                      PACMPL Issue OOPSLA 2023

                         Call for Papers

               OOPSLA 2023 will be held as part of
The ACM Conference on Systems, Programming, Languages, and Applications:
                 Software for Humanity (SPLASH'23)

             October 23-27, 2023, Lisbon, Portugal

          https://2023.splashcon.org/track/splash-2023-oopsla
========================================================================

### Important dates

ROUND 1:
Submission Deadline:      Fri Oct 28, 2022
Author Response:          Wed Dec 07 - Fri Dec 9
Author Notification:      Thu Dec 22
Submission of Revisions:  Mon Feb 13 - Fri Feb 24

ROUND 2:
Submission Deadline:      Fri Apr 14, 2023
Author Response:          Wed Jun 14 - Fri Jun 16
Author Notification:      Fri Jun 30
Submission of Revisions:  Mon Aug 14 - Fri Aug 18

Camera ready:             Thu Aug 31

Papers accepted at either of the rounds will be published in the 2023 
volume of PACMPL(OOPSLA) and invited to be presented at the SPLASH 
conference in October 2023.

### 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, modeling, 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. The final outcome of each 
round can be one of Accept, Revise or Reject.

*Accept*: Accepted papers will appear at the next PACMPL(OOPSLA).

*Revise*: 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.  When authors resubmit, they should clearly explain how the 
revisions address the comments of the reviewers. The revised paper will 
be re-evaluated, and either accepted or rejected.  Resubmitted papers 
will retain the same reviewers throughout the process.

*Reject*: Rejected papers will not be included in the 2023 volume of 
PACMPL(OOPSLA). Papers in this category are not guaranteed a review if 
resubmitted less than one year from the date of original submission. A 
paper will be judged to be a resubmission if it is substantially similar 
to the original submission. The judgment that a paper is a resubmission 
of the same work and whether, in this case, it will be reviewed or not 
is at the discretion of the Chair. Obviously, this same policy applies 
to papers that were rejected for inclusion in the 2022 volume of 
PACMPL(OOPSLA).

Each _round_ of reviewing consists of two _phases_. The first phase 
evaluates the papers and results in an early notification of Reject, 
Revise, or Conditional Accept. During the first phase, authors will be 
able to read their reviews and respond to them. The second phase is 
restricted to conditionally accepted papers. Authors must make a set of 
mandatory revisions. The second phase assesses whether the required 
revisions have been addressed. The outcome can be Accept, Revise or 
Reject.

### Submissions

Submitted papers must be at most **23 pages** in 10 point font. There is 
no page limit on references. No appendices are allowed on the main 
paper, instead authors can upload supplementary material with no page or 
content restrictions, but reviewers may choose to ignore it. Submissions 
must adhere to the "ACM Small" template available from [the 
ACM](http://www.acm.org/publications/authors/submissions). Papers are 
expected to use author-year citations. Author-year citations may be used 
as either a noun phrase, such as "The lambda calculus was originally 
conceived by Church (1932)", or a parenthetic phase, such as "The lambda 
calculus (Church 1932) was intended as a foundation for mathematics".

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.

Nothing should be done in the name of anonymity that weakens the 
submission; see the DBR FAQ. When in doubt, contact the Review Committee 
Chairs.

Papers must describe unpublished work that is not currently submitted 
for publication elsewhere as described by [SIGPLAN's Republication 
Policy](http://www.sigplan.org/Resources/Policies/Republication). 
Submitters should also be aware of [ACM's Policy and Procedures on 
Plagiarism](http://www.acm.org/publications/policies/plagiarism_policy). 
Submissions are expected to comply with the [ACM Policies for 
Authorship](https://www.acm.org/publications/authors/information-for-authors).

### Artifacts

Authors should indicate with their initial submission if an artifact 
exists, describe its nature and limitations, and indicate if it will be 
submitted for evaluation. Accepted papers that fail to provide an 
artifact will be requested to explain the reason they cannot support 
replication. It is understood that some papers have no artifacts.

### Publication

PACMPL is a Gold Open Access journal, all papers will be freely 
available to the public. Authors can voluntarily cover the article 
processing charge ($400), but payment is not required. The official 
publication date is the date the journal are made available in the ACM 
Digital Library. The journal issue and associated papers may be 
published up to two weeks prior to the first day of the conference.

### Additional Information

Consult FAQ in Call for Papers at:  
https://2023.splashcon.org/track/splash-2023-oopsla

### Review Committee

PC Chair:    Mira Mezini  (TU Darmstadt)

Jonathan Aldrich (CMU, USA)
Karim Ali (U. Alberta, Canada)
Peter Alvaro (UC Santa Cruz, USA)
Stefanie Balzer (CMU, USA)
Osbert Bastani (U. Penn, USA)
Annette Bieniusa (U. Kaiserslautern, Germany)
Sebastian Burkhardt (MSR, Switzerland)
Satish Chandra (Facebook, USA)
James Cheney (University of Edinburgh; Alan Turing Institute, UK)
Albert Cohen (Google, France)
Wolfgang De Meuter (VUB, BE)
Dominique Devriese (KU Leuven, Belgium)
Dana Drachsler Cohen (Technion, Israel)
Derek Dreyer (MPI Saarbrücken, DE)
Sophia Drosopolou (Imperial College, UK)
Jana Dunfield (Queen’s University in Kingston, Ontario, CA)
Sebastian Erdweg (U. Mainz, Germany)
Patrick Eugster (USI, Switzerland)
Matthew Flatt (U. Utah, USA)
Jeremy Gibbons (U. Oxford, UK)
Anitha Gollamudi (UMass, USA)
Elisa Gonzalez Boix (VUB, Belgien)
Andrew Gordon (MS Research, Edinburgh, UK)
Dan Grossman (U. Washington, USA)
Arjun Guha (Northeastern U., USA)
Philipp Haller (KTH, Sweden)
Görel Hedin (Lund University, Sweden)
Steven Holtzen (Northeastern U., USA)
Justin Hsu (Cornell University, USA)
Atsushi Igarashi (Kyoto U., Japan)
Ranjit Jhala (UC San Diego, USA)
Gowtham Kaki (U. Colorado, USA)
Shriram Krishnamurthi (Brown University, USA)
Neel Krishnaswami (Cambridge, UK)
Burcu Kulahcioglu Ozkan (Delft University of Technology, The 
Netherlands)
Sorin Lerner (UCSD, USA)
Hongjin Liang (Nanjing University, CN)
Crista Lopes (UC Irvine, USA)
Kenji Maillard (Inria Nantes & University of Chile)
Hidehiko Masuhara (Tokyo Institute of Technology, Japan)
Ana Milanova (Rensselaer Polytechnic Institute)
Heather Miller (CMU, USA)
Ragnar Mogk (TU Darmstadt, DE)
Anders Møller (Aarhus U,, Danemark)
Fabrizio Montesi (Univ. of Southern Denmark, Denmark)
Sarah Nadi (U. Alberta, Canada)
James Noble (U. Wellington, New Zealand)
Bruno C. d. S.  Oliveira (U. Hong Kong, Hong Kong)
Klaus Ostermann (U. Tübingen, Germany)
Mangpo Phothilimthana (Google Brain, USA)
Benjamin Pierce (UPenn, USA)
Nadia Polikarpova (UC San Diego, USA)
Michael Pradel (U. Stuttgart, Germany)
Shaz Qadeer (Facebook, USA)
Marianna Rapoport (Amazon Web Services, Canada)
Cindy Rubio-González (UC Davis, USA)
Sukyoung Ryu (KAIST, Korea)
Guido Salvaneschi (U. St. Gallen, Switzerland)
Mark Santolucito (Columbia, USA)
Ilya Sergey (National University of Singapore, Singapore)
Armando Solar-Lezama (MIT, USA)
Manu Sridharan (University of California, USA)
Charles Sutton (Google, UK)
Joseph Tassarotti (New York University, USA)
Ross Tate (Cornell U., USA)
Peter Thiemann (U. Freiburg, Germany)
Bernardo Toninho (Universidade Nova de Lisboa, Portugal)
Viktor Vafeiadis (MPI, Germany)
Tijs van der Storm (CWI; University of Groningen, Netherlands)
Vasco Vasconcelos (U. Lisbon, Portugal)
Jan Vitek (Northeastern U./Czech Technical University)
Dimitrios Vytiniotis (DeepMind, UK)
David Walker (Princeton, USA)
Conrad Watt (U. Cambridge, UK)
Pascal Weisenburger (U. St. Gallen, Switzerland)
Qirun Zhang (Gatech, USA)