<html><head><meta http-equiv="Content-Type" content="text/html; charset=UTF-8" /></head><body style='font-size: 10pt; font-family: Verdana,Geneva,sans-serif'>
<p><span style="font-weight: 400; font-family: 'courier new', courier, monospace;">========================================================================</span></p>
<p><span style="font-weight: 400; font-family: 'courier new', courier, monospace;"> PACMPL Issue OOPSLA 2023</span></p>
<p><br /></p>
<p><span style="font-weight: 400; font-family: 'courier new', courier, monospace;"> Call for Papers</span></p>
<p><br /></p>
<p><span style="font-weight: 400; font-family: 'courier new', courier, monospace;"> OOPSLA 2023 will be held as part of</span></p>
<p><span style="font-weight: 400; font-family: 'courier new', courier, monospace;">The ACM Conference on Systems, Programming, Languages, and Applications:</span></p>
<p><span style="font-weight: 400; font-family: 'courier new', courier, monospace;"> Software for Humanity (SPLASH'23)</span></p>
<p><br /></p>
<p><span style="font-weight: 400; font-family: 'courier new', courier, monospace;"> October 22-27, 2023, Cascais, Portugal</span></p>
<p><br /></p>
<p><span style="font-family: 'courier new', courier, monospace;"><span style="font-weight: 400;"> </span><a href="https://urldefense.com/v3/__https://2022.splashcon.org/track/splash-2022-oopsla__;!!IBzWLUs!Sp1iGNEyAUMcjQBj576kTF67DQJ7SymmUnzpyOriYPmYVRIzlFPB_MeFT3oTWPrTGckxftqHRdUD9HPmCkM73BpEidLof0m4zgTTg4E$"><span style="font-weight: 400;">https://2023.splashcon.org/track/splash-2023-oopsla</span></a></span></p>
<p><span style="font-weight: 400; font-family: 'courier new', courier, monospace;">========================================================================</span></p>
<p><br /></p>
<p><span style="font-weight: 400; font-family: 'courier new', courier, monospace;">### Important dates</span></p>
<p><br /></p>
<p><span style="font-weight: 400; font-family: 'courier new', courier, monospace;">ROUND 2:</span></p>
<p><span style="font-weight: 400; font-family: 'courier new', courier, monospace;">Submission Deadline: Fri Apr 14, 2023</span></p>
<p><span style="font-weight: 400; font-family: 'courier new', courier, monospace;">Author Response: Wed Jun 14 - Fri Jun 16</span></p>
<p><span style="font-weight: 400; font-family: 'courier new', courier, monospace;">Author Notification: Fri Jun 30</span></p>
<p><span style="font-weight: 400; font-family: 'courier new', courier, monospace;">Submission of Revisions: Mon Aug 14 - Fri Aug 18</span></p>
<p><br /></p>
<p><span style="font-weight: 400; font-family: 'courier new', courier, monospace;">Camera ready: Thu Aug 31</span></p>
<p><br /></p>
<p><span style="font-weight: 400; font-family: 'courier new', courier, monospace;">Papers accepted will be published in the 2023 volume of PACMPL(OOPSLA) and invited to be presented at the SPLASH conference in October 2023. </span></p>
<p><br /></p>
<p><span style="font-weight: 400; font-family: 'courier new', courier, monospace;">### Scope</span></p>
<p><br /></p>
<p><span style="font-weight: 400; font-family: 'courier new', courier, monospace;">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.</span></p>
<p><br /></p>
<p><span style="font-weight: 400; font-family: 'courier new', courier, monospace;">### Review Process </span></p>
<p><br /></p>
<p><span style="font-weight: 400; font-family: 'courier new', courier, monospace;">PACMPL(OOPSLA) has two _rounds_ of reviewing. The final outcome of each round can be one of Accept, Revise, or Reject.</span></p>
<p><br /></p>
<p><span style="font-weight: 400; font-family: 'courier new', courier, monospace;">*Accept*: Accepted papers will appear at the next PACMPL(OOPSLA).</span></p>
<p><br /></p>
<p><span style="font-weight: 400; font-family: 'courier new', courier, monospace;">*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. Resubmitted papers will retain the same reviewers throughout the process.</span></p>
<p><br /></p>
<p><span style="font-weight: 400; font-family: 'courier new', courier, monospace;">*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).</span></p>
<p><br /></p>
<p><span style="font-weight: 400; font-family: 'courier new', courier, monospace;">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.</span></p>
<p><br /></p>
<p><span style="font-weight: 400; font-family: 'courier new', courier, monospace;">### Submissions</span></p>
<p><br /></p>
<p><span style="font-family: 'courier new', courier, monospace;"><span style="font-weight: 400;">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](</span><a href="https://urldefense.com/v3/__http://www.acm.org/publications/authors/submissions__;!!IBzWLUs!Sp1iGNEyAUMcjQBj576kTF67DQJ7SymmUnzpyOriYPmYVRIzlFPB_MeFT3oTWPrTGckxftqHRdUD9HPmCkM73BpEidLof0m4l8NN74U$"><span style="font-weight: 400;">http://www.acm.org/publications/authors/submissions</span></a><span style="font-weight: 400;">). 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".</span></span></p>
<p><br /></p>
<p><span style="font-weight: 400; font-family: 'courier new', courier, monospace;">PACMPL uses double-blind reviewing. Authors' identities are only revealed if a paper is accepted. Papers must</span></p>
<p><br /></p>
<ol>
<li><span style="font-weight: 400; font-family: 'courier new', courier, monospace;"> omit author names and institutions,</span></li>
<li><span style="font-weight: 400; font-family: 'courier new', courier, monospace;"> use the third person when referencing your work,</span></li>
<li><span style="font-weight: 400; font-family: 'courier new', courier, monospace;"> anonymize supplementary material.</span></li>
</ol>
<p><br /></p>
<p><span style="font-weight: 400; font-family: 'courier new', courier, monospace;">Nothing should be done in the name of anonymity that weakens the submission; see the FAQ on the OOPSLA 2023 website for details. When in doubt, contact the Review Committee Chairs.</span></p>
<p><br /></p>
<p><span style="font-family: 'courier new', courier, monospace;"><span style="font-weight: 400;">Papers must describe unpublished work that is not currently submitted for publication elsewhere as described by [SIGPLAN's Republication Policy](</span><a href="https://urldefense.com/v3/__http://www.sigplan.org/Resources/Policies/Republication__;!!IBzWLUs!Sp1iGNEyAUMcjQBj576kTF67DQJ7SymmUnzpyOriYPmYVRIzlFPB_MeFT3oTWPrTGckxftqHRdUD9HPmCkM73BpEidLof0m4aDnE7S8$"><span style="font-weight: 400;">http://www.sigplan.org/Resources/Policies/Republication</span></a><span style="font-weight: 400;">). Submitters should also be aware of [ACM's Policy and Procedures on Plagiarism](</span><a href="https://urldefense.com/v3/__http://www.acm.org/publications/policies/plagiarism_policy__;!!IBzWLUs!Sp1iGNEyAUMcjQBj576kTF67DQJ7SymmUnzpyOriYPmYVRIzlFPB_MeFT3oTWPrTGckxftqHRdUD9HPmCkM73BpEidLof0m499AZ0_c$"><span style="font-weight: 400;">http://www.acm.org/publications/policies/plagiarism_policy</span></a><span style="font-weight: 400;">). Submissions are expected to comply with the [ACM Policies for Authorship](</span><a href="https://urldefense.com/v3/__https://www.acm.org/publications/authors/information-for-authors__;!!IBzWLUs!Sp1iGNEyAUMcjQBj576kTF67DQJ7SymmUnzpyOriYPmYVRIzlFPB_MeFT3oTWPrTGckxftqHRdUD9HPmCkM73BpEidLof0m4Zd95pFc$"><span style="font-weight: 400;">https://www.acm.org/publications/authors/information-for-authors</span></a><span style="font-weight: 400;">).</span></span></p>
<p><br /></p>
<p><span style="font-weight: 400; font-family: 'courier new', courier, monospace;">### Artifacts</span></p>
<p><br /></p>
<p><span style="font-weight: 400; font-family: 'courier new', courier, monospace;">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.</span></p>
<p><br /></p>
<p><span style="font-weight: 400; font-family: 'courier new', courier, monospace;">### Publication</span></p>
<p><br /></p>
<p><span style="font-weight: 400; font-family: 'courier new', courier, monospace;">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 when the journal is 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.</span></p>
<p><br /></p>
<p><span style="font-weight: 400; font-family: 'courier new', courier, monospace;">### Additional Information</span></p>
<p><br /></p>
<p><span style="font-family: 'courier new', courier, monospace;"><span style="font-weight: 400;">Consult FAQ in Call for Papers at: </span><a href="https://urldefense.com/v3/__https://2022.splashcon.org/track/splash-2022-oopsla__;!!IBzWLUs!Sp1iGNEyAUMcjQBj576kTF67DQJ7SymmUnzpyOriYPmYVRIzlFPB_MeFT3oTWPrTGckxftqHRdUD9HPmCkM73BpEidLof0m4zgTTg4E$"><span style="font-weight: 400;">https://2023.splashcon.org/track/splash-2023-oopsla</span></a></span></p>
<p><br /></p>
<p><span style="font-weight: 400; font-family: 'courier new', courier, monospace;">### Review Committee</span></p>
<p><br /></p>
<p><span style="font-weight: 400; font-family: 'courier new', courier, monospace;">PC Chair: Mira Mezini (TU Darmstadt)</span></p>
<p><br /></p>
<p><span style="font-weight: 400; font-family: 'courier new', courier, monospace;">Derek Dreyer (MPI-SWS, DE)- Associate Chair<br /></span><span style="font-weight: 400; font-family: 'courier new', courier, monospace;">Sophia Drosopolou (Facebook; Imperial College, UK)- Associate Chair<br /></span><span style="font-weight: 400; font-family: 'courier new', courier, monospace;">Patrick Eugster (USI, Switzerland; Purdue U.)- Associate Chair<br /></span><span style="font-weight: 400; font-family: 'courier new', courier, monospace;">Shriram Krishnamurthi (Brown University, USA)- Associate Chair<br /></span><span style="font-weight: 400; font-family: 'courier new', courier, monospace;">Jonathan Aldrich (CMU, USA)<br /></span><span style="font-weight: 400; font-family: 'courier new', courier, monospace;">Karim Ali (U. Alberta, Canada)<br /></span><span style="font-weight: 400; font-family: 'courier new', courier, monospace;">Peter Alvaro (UC Santa Cruz, USA)<br /></span><span style="font-weight: 400; font-family: 'courier new', courier, monospace;">Stefanie Balzer (CMU, USA)<br /></span><span style="font-weight: 400; font-family: 'courier new', courier, monospace;">Osbert Bastani (U. Penn, USA)<br /></span><span style="font-weight: 400; font-family: 'courier new', courier, monospace;">Annette Bieniusa (U. Kaiserslautern, Germany)<br /></span><span style="font-weight: 400; font-family: 'courier new', courier, monospace;">Sebastian Burkhardt (MSR, Switzerland)<br /></span><span style="font-weight: 400; font-family: 'courier new', courier, monospace;">Satish Chandra (Facebook, USA)<br /></span><span style="font-weight: 400; font-family: 'courier new', courier, monospace;">James Cheney (University of Edinburgh; Alan Turing Institute, UK)<br /></span><span style="font-weight: 400; font-family: 'courier new', courier, monospace;">Pavel Chuprikov (USI Lugano, Switzerland)<br /></span><span style="font-weight: 400; font-family: 'courier new', courier, monospace;">Albert Cohen (Google, France)<br /></span><span style="font-weight: 400; font-family: 'courier new', courier, monospace;">Wolfgang De Meuter (VUB, BE)<br /></span><span style="font-weight: 400; font-family: 'courier new', courier, monospace;">Dominique Devriese (KU Leuven, Belgium)<br /></span><span style="font-weight: 400; font-family: 'courier new', courier, monospace;">Dana Drachsler Cohen (Technion, Israel)<br /></span><span style="font-weight: 400; font-family: 'courier new', courier, monospace;">Jana Dunfield (Queen’s University in Kingston, Ontario, CA)<br /></span><span style="font-weight: 400; font-family: 'courier new', courier, monospace;">Sebastian Erdweg (U. Mainz, Germany)<br /></span><span style="font-weight: 400; font-family: 'courier new', courier, monospace;">Matthew Flatt (U. Utah, USA)<br /></span><span style="font-weight: 400; font-family: 'courier new', courier, monospace;">Jeremy Gibbons (U. Oxford, UK)<br /></span><span style="font-weight: 400; font-family: 'courier new', courier, monospace;">Anitha Gollamudi (UMass, USA)<br /></span><span style="font-weight: 400; font-family: 'courier new', courier, monospace;">Elisa Gonzalez Boix (VUB, Belgien)<br /></span><span style="font-weight: 400; font-family: 'courier new', courier, monospace;">Andrew Gordon (MS Research, Edinburgh, UK)<br /></span><span style="font-weight: 400; font-family: 'courier new', courier, monospace;">Dan Grossman (U. Washington, USA)<br /></span><span style="font-weight: 400; font-family: 'courier new', courier, monospace;">Arjun Guha (Northeastern U., USA)<br /></span><span style="font-weight: 400; font-family: 'courier new', courier, monospace;">Philipp Haller (KTH, Sweden)<br /></span><span style="font-weight: 400; font-family: 'courier new', courier, monospace;">Görel Hedin (Lund University, Sweden)<br /></span><span style="font-weight: 400; font-family: 'courier new', courier, monospace;">Steven Holtzen (Northeastern U., USA)<br /></span><span style="font-weight: 400; font-family: 'courier new', courier, monospace;">Justin Hsu (Cornell University, USA)<br /></span><span style="font-weight: 400; font-family: 'courier new', courier, monospace;">Atsushi Igarashi (Kyoto U., Japan)<br /></span><span style="font-weight: 400; font-family: 'courier new', courier, monospace;">Ranjit Jhala (UC San Diego, USA)<br /></span><span style="font-weight: 400; font-family: 'courier new', courier, monospace;">Gowtham Kaki (U. Colorado, USA)<br /></span><span style="font-weight: 400; font-family: 'courier new', courier, monospace;">Neel Krishnaswami (Cambridge, UK)<br /></span><span style="font-weight: 400; font-family: 'courier new', courier, monospace;">Burcu Kulahcioglu Ozkan (Delft University of Technology, The Netherlands)<br /></span><span style="font-weight: 400; font-family: 'courier new', courier, monospace;">Sorin Lerner (UCSD, USA)<br /></span><span style="font-weight: 400; font-family: 'courier new', courier, monospace;">Hongjin Liang (Nanjing University, CN)<br /></span><span style="font-weight: 400; font-family: 'courier new', courier, monospace;">Crista Lopes (UC Irvine, USA)<br /></span><span style="font-family: 'courier new', courier, monospace;"><span style="font-weight: 400;">Kenji Maillard (</span><span style="font-weight: 400;">Inria Nantes & University of Chile</span><span style="font-weight: 400;">)<br /></span></span><span style="font-weight: 400; font-family: 'courier new', courier, monospace;">Hidehiko Masuhara (Tokyo Institute of Technology, Japan)<br /></span><span style="font-family: 'courier new', courier, monospace;"><span style="font-weight: 400;">Ana Milanova (</span><span style="font-weight: 400;">Rensselaer Polytechnic Institute</span><span style="font-weight: 400;">)<br /></span></span><span style="font-weight: 400; font-family: 'courier new', courier, monospace;">Heather Miller (CMU, USA)<br /></span><span style="font-weight: 400; font-family: 'courier new', courier, monospace;">Ragnar Mogk (TU Darmstadt, DE)<br /></span><span style="font-weight: 400; font-family: 'courier new', courier, monospace;">Anders Møller (Aarhus U,, Danemark)<br /></span><span style="font-weight: 400; font-family: 'courier new', courier, monospace;">Fabrizio Montesi (Univ. of Southern Denmark, Denmark)<br /></span><span style="font-weight: 400; font-family: 'courier new', courier, monospace;">Sarah Nadi (U. Alberta, Canada)<br /></span><span style="font-weight: 400; font-family: 'courier new', courier, monospace;">James Noble (U. Wellington, New Zealand)<br /></span><span style="font-weight: 400; font-family: 'courier new', courier, monospace;">Bruno C. d. S. Oliveira (U. Hong Kong, Hong Kong)<br /></span><span style="font-weight: 400; font-family: 'courier new', courier, monospace;">Klaus Ostermann (U. Tübingen, Germany)<br /></span><span style="font-weight: 400; font-family: 'courier new', courier, monospace;">Mangpo Phothilimthana (Google Brain, USA)<br /></span><span style="font-weight: 400; font-family: 'courier new', courier, monospace;">Benjamin Pierce (UPenn, USA)<br /></span><span style="font-weight: 400; font-family: 'courier new', courier, monospace;">Nadia Polikarpova (UC San Diego, USA)<br /></span><span style="font-weight: 400; font-family: 'courier new', courier, monospace;">Michael Pradel (U. Stuttgart, Germany)<br /></span><span style="font-weight: 400; font-family: 'courier new', courier, monospace;">Shaz Qadeer (Facebook, USA)<br /></span><span style="font-weight: 400; font-family: 'courier new', courier, monospace;">Marianna Rapoport (Amazon Web Services, Canada)<br /></span><span style="font-weight: 400; font-family: 'courier new', courier, monospace;">Cindy Rubio-González (UC Davis, USA)<br /></span><span style="font-weight: 400; font-family: 'courier new', courier, monospace;">Sukyoung Ryu (KAIST, Korea)<br /></span><span style="font-weight: 400; font-family: 'courier new', courier, monospace;">Guido Salvaneschi (U. St. Gallen, Switzerland)<br /></span><span style="font-weight: 400; font-family: 'courier new', courier, monospace;">Mark Santolucito (Columbia, USA)<br /></span><span style="font-weight: 400; font-family: 'courier new', courier, monospace;">Ilya Sergey (National University of Singapore, Singapore)<br /></span><span style="font-weight: 400; font-family: 'courier new', courier, monospace;">Armando Solar-Lezama (MIT, USA)<br /></span><span style="font-weight: 400; font-family: 'courier new', courier, monospace;">Manu Sridharan (University of California, USA)<br /></span><span style="font-weight: 400; font-family: 'courier new', courier, monospace;">Charles Sutton (Google, UK)<br /></span><span style="font-weight: 400; font-family: 'courier new', courier, monospace;">Joseph Tassarotti (New York University, USA)<br /></span><span style="font-weight: 400; font-family: 'courier new', courier, monospace;">Ross Tate (Cornell U., USA)<br /></span><span style="font-weight: 400; font-family: 'courier new', courier, monospace;">Peter Thiemann (U. Freiburg, Germany)<br /></span><span style="font-weight: 400; font-family: 'courier new', courier, monospace;">Bernardo Toninho (Universidade Nova de Lisboa, Portugal)<br /></span><span style="font-weight: 400; font-family: 'courier new', courier, monospace;">Viktor Vafeiadis (MPI, Germany)<br /></span><span style="font-family: 'courier new', courier, monospace;"><span style="font-weight: 400;">Tijs van der Storm (</span><span style="font-weight: 400;">CWI; University of Groningen</span><span style="font-weight: 400;">, </span><span style="font-weight: 400;">Netherlands</span><span style="font-weight: 400;">)<br /></span></span><span style="font-weight: 400; font-family: 'courier new', courier, monospace;">Vasco Vasconcelos (U. Lisbon, Portugal)<br /></span><span style="font-weight: 400; font-family: 'courier new', courier, monospace;">Jan Vitek (Northeastern U./Czech Technical University)<br /></span><span style="font-weight: 400; font-family: 'courier new', courier, monospace;">Dimitrios Vytiniotis (DeepMind, UK)<br /></span><span style="font-weight: 400; font-family: 'courier new', courier, monospace;">David Walker (Princeton, USA)<br /></span><span style="font-weight: 400; font-family: 'courier new', courier, monospace;">Conrad Watt (U. Cambridge, UK)<br /></span><span style="font-weight: 400; font-family: 'courier new', courier, monospace;">Pascal Weisenburger (U. St. Gallen, Switzerland)<br /></span><span style="font-weight: 400; font-family: 'courier new', courier, monospace;">Qirun Zhang (Gatech, USA)</span></p>
<p><br /><br /></p>
</body></html>