Announce

_announce/2024-03-15-oopsla_2024.txt

@@ -0,0 +1,321 @@
+---
+title: "Call for Papers -- Object-oriented Programming, Systems, Languages, and Applications 2024"
+timestamp: "3/15/2024 19:27:38"
+deadline: "4/5/2024"
+---
+========================================================================
+                       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 2:
+Submission Deadline:                Fri Apr 5, 2024
+Author Response:                    Mon Jun 3 - Wed Jun 5, 2024
+Author Notification:                Fri Jun 21, 2024
+Artifact Submission:                Fri Jul 5, 2024
+Artifact kick-tires:                Sat Jul 6 - Fri Jul 19, 2024
+Submission of Revisions:            Sun Aug 4, 2024
+Author Notification of Revisions:   Sun Aug 18, 2024
+Artifact Notification:              Fri Aug 23, 2024
+Camera Ready:                       Sun Sep 1, 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. Assuming 
+you meet the listed requirements, after further review by the same 
+reviewers, your paper will very likely  be accepted. This process 
+*has to be completed within two months of the initial decision* for the 
+paper to be accepted, so we encourage timely turnaround in case 
+revisions take more than one cycle to be accepted.
+
+*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. When you resubmit, you should 
+clearly explain how the revisions address the comments of the 
+reviewers, by including a document describing the changes and "if 
+possible" a diff of the PDF as supplementary material. This process 
+*has to be completed within two months of the initial decision* for the 
+paper to be accepted in the current round, so we encourage timely 
+turnaround in case revisions take more than one cycle to be accepted.
+
+*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. When you resubmit, you should clearly explain how the 
+revisions address the comments of the reviewers, by including a 
+document describing the changes and "if possible" a diff of the PDF as 
+supplementary material. The revised paper will be re-evaluated in the 
+next round. Resubmitted papers will retain the same reviewers 
+throughout the process to the extent possible.
+
+*Reject*: Rejected papers will not be included in the upcoming volume 
+of PACMPL(OOPSLA). Papers in this category are not guaranteed a review 
+if resubmitted less than one year from the date of the original 
+submission. A paper will be judged to be a resubmission if it is 
+substantially similar to the original submission. The Chairs will 
+decide whether or not a paper is a resubmission of the same work.
+
+### 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. 
+Please note that the artifact submission deadline will be following 
+closely the paper submission deadline so make sure you check the 
+Artifact Call as soon as you submit your paper to PACMPL(OOPSLA).
+
+##### Data-Availability Statement
+
+To help readers find data and software, OOPSLA recommends adding a 
+section just before the references titled Data-Availability Statement. 
+If the paper has an artifact, cite it here. If there is no artifact, 
+this section can explain how to obtain relevant code. The statement 
+does not count toward the OOPSLA 2024 page limit. It may be included 
+in the submitted paper; in fact we encourage this, even if the DOI is 
+not ready yet.
+
+Example:
+
+\section{Conclusion}
+....
+
+\section*{Data-Availability Statement}
+The software that supports~\cref{s:design,s:evaluation}
+is available on Software Heritage~\cite{artifact-swh}
+and Zenodo~\cite{artifact-doi}.
+
+\begin{acks}
+....
+
+#### Expert PC Members
+
+During the submission, we will ask you to list up to 3 non-conflicted 
+PC members who you think are experts on the topic of this submission, 
+starting with the most expert. This list will not be used as an input 
+during the paper assignment and it will not be visible to the PC. It 
+may be used by the PC Chair and Associate Chairs for advice on 
+external experts if the paper lacks expert reviews. 
+
+### 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 USD), but payment is not required. The 
+official publication date is the date 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. 
+The official publication date affects the deadline for any patent 
+filings related to published work.
+
+By submitting your article to an ACM Publication, you are 
+acknowledging that you and your co-authors are subject to all [ACM 
+Publications Policies](https://www.acm.org/publications/policies), 
+including ACM’s [new Publications Policy on Research Involving Human 
+Participants and Subjects](https://www.acm.org/publications/policies/research-involving-human-participants-and-subjects). 
+Alleged violations of this policy or an ACM Publications Policy will 
+be investigated by ACM and may result in a full retraction of your 
+paper, in addition to other potential penalties, as per ACM 
+Publications Policy.
+
+Please ensure that you and your co-authors obtain [an ORCID ID](https://orcid.org/register), 
+so you can complete the publishing process for your accepted paper. 
+ACM has been involved in ORCID from the start and we have recently 
+made a [commitment to collect ORCID IDs from all of our published 
+authors](https://authors.acm.org/author-resources/orcid-faqs). 
+We are committed to improving author discoverability, ensuring proper 
+attribution and contributing to ongoing community efforts around name 
+normalization; your ORCID ID will help in these efforts.
+
+The ACM Publications Board has recently updated the ACM Authorship 
+Policy in several ways:
+
+- Addressing the use of generative AI systems in the publications 
+process
+- Clarifying criteria for authorship and the responsibilities of 
+authors
+- Defining prohibited behaviour, such as gift, ghost, or purchased 
+authorship
+- Providing a linked FAQ explaining the rationale for the policy and 
+providing additional details
+
+You can find the updated policy here:
+
+[https://www.acm.org/publications/policies/new-acm-policy-on-authorship](https://www.acm.org/publications/policies/new-acm-policy-on-authorship)
+
+##### Review Committee
+
+Review Committee Chairs:
+
+Alex Potanin, Australian National University, Australia
+Bor-Yuh Evan Chang, University of Colorado Boulder, USA
+
+Review Committee Associate Chairs:
+
+Anders Møller, Aarhus University, Denmark
+Lingming Zhang, UIUC, USA
+
+Review Committee:
+
+Aleksandar Nanevski, IMDEA Software Institute, Spain
+Alex Summers, University of British Columbia, Canada
+Alexandra Bugariu, ETH Zurich, Switzerland
+Ana Milanova, Rensselaer Polytechnic Institute, USA
+Andreas Zeller, CISPA Helmholtz Center for Information Security, Germany
+Anitha Gollamudi, UMass, USA
+Ankush Desai, AWS, USA
+Ashish Tiwari, Microsoft Research, USA
+Ben Hermann, TU Dortmund, Germany
+Ben Titzer, CMU, USA
+Benjamin Delaware, Purdue University, USA
+Bernardo Toninho, Universidade Nova de Lisboa, Portugal
+Bruno C. d. S. Oliveira, U. Hong Kong, Hong Kong
+Burcu Kulahcioglu Ozkan, Delft University of Technology, The Netherlands
+Casper Bach Poulsen, Delft University of Technology, Netherlands
+Colin Gordon, Drexel University, USA
+Corina Pasarenau, NASA, USA
+Cyrus Omar, University of Michigan, USA
+Damien Zufferey, Sonar Source, Switzerland
+Dana Drachsler Cohen, Technion, Israel
+David Darais, Galois, USA
+David Pearce, ConsenSys, New Zealand
+Di Wang, Peking University, China
+Emma Söderberg, Lund University, Sweden
+Emma Tosch, Northeastern University, USA
+Fabian Muehlboeck, Australian National University, Australia
+Fei He, Tsinghua University, China
+Filip Niksic, Google, USA
+Fredrik Kjolstad, Stanford University, USA
+Guido Salvaneschi, University of St. Gallen, Switzerland
+Hila Peleg, Technion, Israel
+Jiasi Shen, The Hong Kong University of Science and Technology, China (Hong Kong)
+Jonathan Bell, Northeastern University, USA
+Jonathan Brachthäuser, University of Tübingen, Germany
+Joseph Tassarotti, New York University, USA
+Justin Hsu, Cornell University, USA
+Karine Even-Mendoza, King's College London, UK
+Kenji Maillard, Inria Rennes, France
+Matthew Flatt, U. Utah, USA
+Matthew Parkinson, Microsoft, UK
+Max Schaefer, GitHub, UK
+Michael Coblenz, UCSD, USA
+Milos Gligoric, UT Austin, USA
+Minseok Jeon, Korea University, Korea
+Mohamed Faouzi Atig, Uppsala University, Sweden
+Owolabi Legunsen, Cornell University, USA
+Pamela Zave, AT&T Laboratories, USA
+Pavel Panchekha, University of Utah, USA
+Rahul Gopinath, University of Sydney, Australia
+Rajiv Gupta, UC Riverside, USA
+Saman Amarasinghe, MIT, USA
+Santosh Pande, Georgia Institute of Technology, USA
+Sean Treichler, NVIDIA, USA
+Shachar Itzhaky, Technion, Israel
+Shaz Qadeer, Facebook, USA
+Sheng Chen, University of Louisiana at Lafayette, USA
+Shigeru Chiba, University of Tokyo, Japan
+Shriram Krishnamurthi, Brown University, USA
+Sreepathi Pai, University of Rochester, USA
+Stefan Brunthaler, University of the Federal Armed Forces in Munchen, Germany
+Steve Blackburn, Google, Australia
+Subhajit Roy, IIT Kanpur, India
+Sukyoung Ryu, KAIST, Korea
+Swarnendu Biswas, IIT Kanpur, India
+Thanh Vu Nguyen, George Mason University, USA
+Tiark Rompf, Purdue, USA
+Tien Nguyen, University of Texas at Dallas, USA
+Tomas Petricek, Charles University, Czech Republic
+Umut Acar, CMU, USA
+Wei Le, Iowa State, USA
+Wei Zhang , Meta, USA
+Xiaokang Qiu, Purdue University, USA
+Yingfei Xiong, Peking University, China
+Yizhou Zhang, University of Waterloo, Canada
+Youyou Cong, Tokyo Institute of Technology, Japan
+Yu David Liu, Binghamton, USA
+Yu Feng, UCSB, USA
+Yuepeng Wang, Simon Fraser University, Canada
+
+##### Artifact Evaluation Committee
+
+Artifact Evaluation Committee Chairs:
+
+Guillaume Baudart, Inria - École normale supérieure, France
+Sankha Narayan Guria, University of Kansas, USA

_announce/2024-03-17-smt_2024.txt

@@ -0,0 +1,46 @@
+---
+title: "Call for Papers, SMT 2024"
+timestamp: "3/17/2024 10:49:42"
+deadline: "4/17/2024"
+---
+========================================================
+SMT 2024: 22nd International Workshop on Satisfiability Modulo Theories
+Montreal, Canada, July 22-23, 2024
+========================================================
+
+Paper Submission: April 28, 2024 11.59 pm AoE (Anywhere on Earth)
+Notification: June 1, 2024
+Conference website   http://smt-workshop.cs.uiowa.edu/2024/
+Submission link      https://easychair.org/conferences/?conf=smt2024
+
+== Overview
+The aim of the workshop is to bring together researchers and users of SMT tools and techniques. Relevant topics include but are not limited to:
+- Decision procedures and theories of interest
+- Combinations of decision procedures
+- Novel implementation techniques
+- Applications and case studies
+- Benchmarks and evaluation methodologies
+- Theoretical results
+
+== Paper submission and Proceedings
+
+Three categories of submissions are invited:
+
+1. Extended abstracts : given the informal style of the workshop, we strongly encourage the submission of preliminary reports of work in progress. They may range in length from very short (a couple of pages) to the full 10 pages and they will be judged based on the expected level of interest for the SMT community. They will be included in the informal proceedings.
+
+2. Original papers: contain original research (simultaneous submissions are not allowed) and sufficient detail to assess the merits and relevance of the submission. For papers reporting experimental results, authors are strongly encouraged to make their data available.
+
+3. Presentation-only papers: describe work recently published or submitted and will not be included in the proceedings. We see this as a way to provide additional access to important developments that SMT Workshop attendees may be unaware of.
+
+Papers in all three categories will be peer-reviewed. Extended abstracts and original papers should not exceed 10 pages. All papers should be in standard-conforming PDF. Technical details may be included in an appendix to be read at the reviewers' discretion. Final versions should be prepared in LaTeX using the easychair.cls class file. (The 10 page limit does not include references.). Presentation-only papers may be submitted as originally published, if published elsewhere, and should not exceed 10 pages otherwise.
+
+== Invited Speakers
+TBD
+
+== Program Chairs
+Giles Reger - Amazon Web Services
+Yoni Zohar - Bar-Ilan University
+
+== Program Committee
+TBD
+