<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'>
<div class="pre" style="margin: 0; padding: 0; font-family: monospace"><span style="font-family: 'courier new', courier, monospace;">====================================================================== </span></div>
<div class="pre" style="margin: 0; padding: 0; font-family: monospace"><span style="font-family: 'courier new', courier, monospace;"> Combined Call For Workshop Papers</span><br /><br /><span style="font-family: 'courier new', courier, monospace;"> ACM Conference on Systems, Programming, Languages, and Applications:</span><br /><span style="font-family: 'courier new', courier, monospace;"> Software for Humanity (SPLASH '22)</span><br /><br /><span style="font-family: 'courier new', courier, monospace;"> December 5-10, 2022, Auckland, New Zealand</span><br /><br /><span style="font-family: 'courier new', courier, monospace;"> <a href="https://urldefense.com/v3/__https://2022.splashcon.org/track/splash-2022-Workshops__;!!IBzWLUs!SbbBxw0FscbFaTQEsLvSXTwvEJM6oKS8VGCNeWtggXxZiOX4K5ArBo6KehO8AMYXs16oNBaTXW0Zx_kXQbqrKS_yiss-G8oKmWSaGTk$" target="_blank" rel="noopener noreferrer">https://2022.splashcon.org/track/splash-2022-Workshops</a></span><br /><span style="font-family: 'courier new', courier, monospace;">====================================================================== </span><br /><span style="font-family: 'courier new', courier, monospace;">OUTLINE OF THE COMBINED CALL FOR CONTRIBUTIONS:</span><br /><br /><span style="font-family: 'courier new', courier, monospace;">Workshops:</span><br /><span style="font-family: 'courier new', courier, monospace;"> - FTSCS</span><br /><span style="font-family: 'courier new', courier, monospace;"> - HATRA</span><br /><span style="font-family: 'courier new', courier, monospace;"> - LIVE</span><br /><span style="font-family: 'courier new', courier, monospace;"> - PAINT</span><br /><span style="font-family: 'courier new', courier, monospace;"> - REBLS</span><br /><span style="font-family: 'courier new', courier, monospace;"> - Unsound</span><br /><span style="font-family: 'courier new', courier, monospace;"> - VMIL</span><br /><br /><span style="font-family: 'courier new', courier, monospace;">Submissions due for all workshops: 1st September 2022</span><br /><br /><span style="font-family: 'courier new', courier, monospace;">====================================================================== </span><br /><br /><span style="font-family: 'courier new', courier, monospace;">SPLASH - The ACM SIGPLAN conference on Systems, Programming, Languages, and Applications: Software for Humanity embraces all aspects of software construction and delivery, to make it the premier conference on the applications of programming languages - at the intersection of programming languages and software engineering.</span><br /><span style="font-family: 'courier new', courier, monospace;">SPLASH 2022 aims to signify the reopening of the world and being able to meet your international colleagues in person. We are looking forward to seeing you in Australasia.</span><br /><br /><br /><span style="font-family: 'courier new', courier, monospace;">** Workshops **</span><br /><br /><span style="font-family: 'courier new', courier, monospace;">**** Formal Techniques for Safety-Critical Systems (FTSCS) ****</span><br /><br /><span style="font-family: 'courier new', courier, monospace;">The aim of this workshop is to bring together researchers and engineers who are interested in the application of formal and semi-formal methods to improve the quality of safety-critical computer systems. FTSCS strives to promote research and development of formal methods and tools for industrial applications, and is particularly interested in industrial applications of formal methods. The workshop will provide a platform for discussions and the exchange of innovative ideas, so submissions on work in progress are encouraged.</span><br /><span style="font-family: 'courier new', courier, monospace;"> </span><br /><span style="font-family: 'courier new', courier, monospace;">Details: <a href="https://urldefense.com/v3/__https://2022.splashcon.org/home/ftscs-2022__;!!IBzWLUs!SbbBxw0FscbFaTQEsLvSXTwvEJM6oKS8VGCNeWtggXxZiOX4K5ArBo6KehO8AMYXs16oNBaTXW0Zx_kXQbqrKS_yiss-G8oKNKShn1M$" target="_blank" rel="noopener noreferrer">https://2022.splashcon.org/home/ftscs-2022</a> </span><br /><br /><span style="font-family: 'courier new', courier, monospace;">**** Human Aspects of Types and Reasoning Assistants (HATRA)****</span><br /><br /><span style="font-family: 'courier new', courier, monospace;">This workshop brings together programming languages, software engineering, security, and human-computer interaction researchers to investigate methods for making languages that provide stronger safety properties more effective for programmers and software engineers. HATRA is interested in two different kinds of contributions. First, extended abstracts that summarize an existing body of work that is relevant to the workshop’s topic. Second, research papers that describe a new idea, approach, or hypothesis in the space and are presented as an opportunity for the authors to receive community feedback and for the community to seek inspiration from others.</span><br /><br /><span style="font-family: 'courier new', courier, monospace;">Details: <a href="https://urldefense.com/v3/__https://2022.splashcon.org/home/hatra-2022__;!!IBzWLUs!SbbBxw0FscbFaTQEsLvSXTwvEJM6oKS8VGCNeWtggXxZiOX4K5ArBo6KehO8AMYXs16oNBaTXW0Zx_kXQbqrKS_yiss-G8oK0snJkTA$" target="_blank" rel="noopener noreferrer">https://2022.splashcon.org/home/hatra-2022</a> </span><br /><br /><span style="font-family: 'courier new', courier, monospace;">**** Live Programming (LIVE)****</span><br /><br /><span style="font-family: 'courier new', courier, monospace;">Programming is cognitively demanding, and too difficult. LIVE is a workshop exploring new user interfaces that improve the immediacy, usability, and learnability of programming. Whereas PL research traditionally focuses on programs, LIVE focuses more on the activity of programming. Our goal is to provide a supportive venue where early-stage work receives constructive criticism. Whether graduate students or tenured faculty, researchers need a forum to discuss new ideas and get helpful feedback from their peers. Towards that end, we will allot about ten minutes for discussion after every presentation.</span><br /><br /><span style="font-family: 'courier new', courier, monospace;">Details: <a href="https://urldefense.com/v3/__https://2022.splashcon.org/home/live-2022__;!!IBzWLUs!SbbBxw0FscbFaTQEsLvSXTwvEJM6oKS8VGCNeWtggXxZiOX4K5ArBo6KehO8AMYXs16oNBaTXW0Zx_kXQbqrKS_yiss-G8oK74tMDzE$" target="_blank" rel="noopener noreferrer">https://2022.splashcon.org/home/live-2022</a> </span><br /><br /><span style="font-family: 'courier new', courier, monospace;">**** Programming Abstractions and Interactive Tools, Notations, and Environments (PAINT)****</span><br /><br /><span style="font-family: 'courier new', courier, monospace;">In this workshop, we want to discuss programming environments that support users in working with and creating domain-specific abstractions and notations. Topics of interest include the composition and integration of domain-specific abstractions and tools inside general-purpose programming languages and environments, the implementation and evaluation of editing ergonomics and UX concerns, or tool support for creating domain-specific abstractions and tools. Environments that typically exhibit such properties include meta tools or tool creation frameworks, language workbenches, block-based editors and other visual programming approaches or projectional editors.</span><br /><br /><span style="font-family: 'courier new', courier, monospace;">Details: <a href="https://urldefense.com/v3/__https://2022.splashcon.org/home/paint-2022__;!!IBzWLUs!SbbBxw0FscbFaTQEsLvSXTwvEJM6oKS8VGCNeWtggXxZiOX4K5ArBo6KehO8AMYXs16oNBaTXW0Zx_kXQbqrKS_yiss-G8oK4-yCx_Y$" target="_blank" rel="noopener noreferrer">https://2022.splashcon.org/home/paint-2022</a> </span><br /><br /><br /><span style="font-family: 'courier new', courier, monospace;">**** Reactive and Event-Based Languages and Systems (REBLS) ****</span><br /><br /><span style="font-family: 'courier new', courier, monospace;">This workshop will gather researchers in reactive and event-based languages and systems. The goal of the workshop is to exchange new technical research results and to better define the field by coming up with taxonomies and overviews of the existing work.</span><br /><br /><span style="font-family: 'courier new', courier, monospace;">Details: <a href="https://urldefense.com/v3/__https://2022.splashcon.org/home/rebls-2022__;!!IBzWLUs!SbbBxw0FscbFaTQEsLvSXTwvEJM6oKS8VGCNeWtggXxZiOX4K5ArBo6KehO8AMYXs16oNBaTXW0Zx_kXQbqrKS_yiss-G8oKw1_oN2U$" target="_blank" rel="noopener noreferrer">https://2022.splashcon.org/home/rebls-2022</a> </span><br /><br /><br /><span style="font-family: 'courier new', courier, monospace;">**** Sources of Unsoundness in Verification (Unsound) ****</span><br /><br /><span style="font-family: 'courier new', courier, monospace;">Participants to Unsound will be able to share their experience and exploits on how different verification tools can either be broken or expose confusing behavior, likely to be unexpected by users. We are particularly interested in sources of unsoundness that are accidentally shared by many different unrelated research lines, and to develop an understanding on why this is the case. The workshop is meant to be welcoming for both people with strong theoretical skills, as well as people who just like hacking things. We do not expect fully polished submissions and we will not have formal proceedings.</span><br /><br /><span style="font-family: 'courier new', courier, monospace;">Details: <a href="https://urldefense.com/v3/__https://2022.splashcon.org/home/unsound-2022__;!!IBzWLUs!SbbBxw0FscbFaTQEsLvSXTwvEJM6oKS8VGCNeWtggXxZiOX4K5ArBo6KehO8AMYXs16oNBaTXW0Zx_kXQbqrKS_yiss-G8oKPSaS618$" target="_blank" rel="noopener noreferrer">https://2022.splashcon.org/home/unsound-2022</a> </span><br /><br /><br /><span style="font-family: 'courier new', courier, monospace;">**** Virtual Machines and Language Implementations (VMIL) ****</span><br /><br /><span style="font-family: 'courier new', courier, monospace;">The concept of Virtual Machines is pervasive in the design and implementation of programming systems. Virtual Machines and the languages they implement are crucial in the specification, implementation and/or user-facing deployment of most programming technologies. The VMIL workshop is a forum for researchers and cutting-edge practitioners working on language virtual machines to discuss the various related engineering and research issues.</span><br /><br /><span style="font-family: 'courier new', courier, monospace;">Details: <a href="https://urldefense.com/v3/__https://2022.splashcon.org/home/vmil-2022__;!!IBzWLUs!SbbBxw0FscbFaTQEsLvSXTwvEJM6oKS8VGCNeWtggXxZiOX4K5ArBo6KehO8AMYXs16oNBaTXW0Zx_kXQbqrKS_yiss-G8oK_clkWEY$" target="_blank" rel="noopener noreferrer">https://2022.splashcon.org/home/vmil-2022</a> </span><br /><br /><br /><span style="font-family: 'courier new', courier, monospace;">====================================================================== </span><br /><br /><span style="font-family: 'courier new', courier, monospace;">Important Dates for All Workshops</span><br /><br /><span style="font-family: 'courier new', courier, monospace;">Paper/Abstract Submission Deadline: 1 Sept 2022</span><br /><span style="font-family: 'courier new', courier, monospace;">Camera-Ready Deadline (where applicable): 24 Oct 2022</span><br /><br /><span style="font-family: 'courier new', courier, monospace;">======================================================================</span><br /><br /><span style="font-family: 'courier new', courier, monospace;">Organizing Committee </span><br /><br /><br /><span style="font-family: 'courier new', courier, monospace;">General Chair: Alex Potanin (Australian National University)</span><br /><span style="font-family: 'courier new', courier, monospace;">OOPSLA Review Committee Chair: Amal Ahmed (Northeastern University)</span><br /><span style="font-family: 'courier new', courier, monospace;">OOPSLA Review Committee Co-Chair: Jan Vitek (Northeastern University; Czech Technical University)</span><br /><span style="font-family: 'courier new', courier, monospace;">OOPSLA Artifact Evaluation Co-Chair: Benjamin Greenman (Brown University)</span><br /><span style="font-family: 'courier new', courier, monospace;">OOPSLA Artifact Evaluation Co-Chair: Ana Milanova (Rensselaer Polytechnic Institute)</span><br /><span style="font-family: 'courier new', courier, monospace;">APLAS Chair: Ilya Sergey (National University of Singapore)</span><br /><span style="font-family: 'courier new', courier, monospace;">DLS PC Co-Chair: Wolfgang De Meuter (Vrije Universiteit Brussel)</span><br /><span style="font-family: 'courier new', courier, monospace;">DLS PC Co-Chair: Arjun Guha (Northeastern University)</span><br /><span style="font-family: 'courier new', courier, monospace;">GPCE General Chair: Bernhard Scholz (University of Sydney)</span><br /><span style="font-family: 'courier new', courier, monospace;">GPCE PC Chair: Yukiyoshi Kameyama (University of Tsukuba)</span><br /><span style="font-family: 'courier new', courier, monospace;">SAS Co-Chair: Caterina Urban (INRIA & École Normale Supérieure | Université PSL)</span><br /><span style="font-family: 'courier new', courier, monospace;">SAS Co-Chair: Gagandeep Singh (University of Illinois at Urbana-Champaign; VMware)</span><br /><span style="font-family: 'courier new', courier, monospace;">SLE Chair: Bernd Fischer (Stellenbosch University)</span><br /><span style="font-family: 'courier new', courier, monospace;">SLE PC Co-Chair: Lola Burgueño (Open University of Catalonia)</span><br /><span style="font-family: 'courier new', courier, monospace;">SLE PC Co-Chair: Walter Cazzola (Università degli Studi di Milano)</span><br /><span style="font-family: 'courier new', courier, monospace;">Onward! Papers Chair: Christophe Scholliers (Universiteit Gent)</span><br /><span style="font-family: 'courier new', courier, monospace;">Onward! Essays Chair: Jeremy Singer (University of Glasgow)</span><br /><span style="font-family: 'courier new', courier, monospace;">SPLASH-E Co-Chair: Martin Henz (National University Of Singapore)</span><br /><span style="font-family: 'courier new', courier, monospace;">SPLASH-E Co-Chair: Benjamin Lerner (Northeastern University)</span><br /><span style="font-family: 'courier new', courier, monospace;">Workshops Co-Chair: Mehdi Bagherzadeh (Oakland University)</span><br /><span style="font-family: 'courier new', courier, monospace;">Workshops Co-Chair: Raffi Khatchadourian (City University of New York (CUNY) Hunter College)</span><br /><span style="font-family: 'courier new', courier, monospace;">Comfy Chair: Tony Hosking (Australian National University)</span><br /><span style="font-family: 'courier new', courier, monospace;">Hybridisation Co-Chair: Jonathan Aldrich (Carnegie Mellon University)</span><br /><span style="font-family: 'courier new', courier, monospace;">Hybridisation Co-Chair: Youyou Cong (Tokyo Institute of Technology)</span><br /><span style="font-family: 'courier new', courier, monospace;">Diversity and Inclusion Chair, Local Organising Chair: Kelly Blincoe (University of Auckland)</span><br /><span style="font-family: 'courier new', courier, monospace;">Video Co-Chair: Zixian Cai (Australian National University)</span><br /><span style="font-family: 'courier new', courier, monospace;">Video Co-Chair: Benjamin Chung (Northeastern University)</span><br /><span style="font-family: 'courier new', courier, monospace;">Sponsorship Co-Chair: Bor-Yuh Evan Chang (University of Colorado Boulder & Amazon)</span><br /><span style="font-family: 'courier new', courier, monospace;">Publicity Chair, Web Co-Chair: Andreea Costea (National University Of Singapore)</span><br /><span style="font-family: 'courier new', courier, monospace;">PLMW Co-Chair: Molly Feldman (Oberlin College)</span><br /><span style="font-family: 'courier new', courier, monospace;">Budget and Finance Chair: Michael Homer (Victoria University of Wellington)</span><br /><span style="font-family: 'courier new', courier, monospace;">Student Volunteer Co-Chair: Yao Li (University of Pennsylvania)</span><br /><span style="font-family: 'courier new', courier, monospace;">Student Volunteer Co-Chair: Julian Mackay (Victoria University of Wellington)</span><br /><span style="font-family: 'courier new', courier, monospace;">Student Research Competition Co-Chair: Xujie Si (McGill University, Canada)</span><br /><span style="font-family: 'courier new', courier, monospace;">Student Research Competition Co-Chair: Caterina Urban (INRIA & École Normale Supérieure | Université PSL)</span><br /><span style="font-family: 'courier new', courier, monospace;">Symposium Chair: Fabian Muehlboeck (IST Austria)</span><br /><span style="font-family: 'courier new', courier, monospace;">PLMW Co-Chair: Lukasz Ziarek (University at Buffalo)</span><br /><br /><br /></div>
</body></html>