<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><br /><br /><span style="font-family: 'courier new', courier, monospace;"> Combined Call For Contributions</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'23)</span><br /><br /><span style="font-family: 'courier new', courier, monospace;"> October 22-27, 2023, Cascais, Portugal</span><br /><br /><span style="font-family: 'courier new', courier, monospace;"> <a href="https://urldefense.com/v3/__https://2023.splashcon.org__;!!IBzWLUs!R9Wi_IDhfpxEy856JN3I0HHbFqwQM7yKHaFf4yzOpEDy7SEWIr3mrFfod_ErDJTg_o5Bqs6EgEeYpmMXCsW4tAeEiO15svdFILN9S10$" target="_blank" rel="noopener noreferrer">https://2023.splashcon.org</a></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 /><br /><span style="font-family: 'courier new', courier, monospace;">Follow the registration space on the SPLASH website to attend this fantastic line-up of events - we aim to open for registration on July 20. </span><br /><br /><span style="font-family: 'courier new', courier, monospace;">======================================================================</span><br /><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;">SPLASH upcoming deadlines:</span><br /><span style="font-family: 'courier new', courier, monospace;"> * OOPSLA (R2 submission deadline: 14 Apr)</span><br /><span style="font-family: 'courier new', courier, monospace;"> * Onward! Essays (submission deadline: 28 Apr)</span><br /><span style="font-family: 'courier new', courier, monospace;"> * Onward! Papers (submission deadline: 28 Apr)</span><br /><span style="font-family: 'courier new', courier, monospace;"> * Doctoral Symposium (submission deadline: 19 Jun, tentative)</span><br /><span style="font-family: 'courier new', courier, monospace;"> * Posters (deadline: TBA)</span><br /><span style="font-family: 'courier new', courier, monospace;"> * Student Research Competition (deadline: TBA</span><br /><br /><span style="font-family: 'courier new', courier, monospace;">SPLASH Workshops (submission deadline: 12 Jul): </span><br /><span style="font-family: 'courier new', courier, monospace;"> * CONFLANG</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;"> * PLF</span><br /><span style="font-family: 'courier new', courier, monospace;"> * ST30</span><br /><br /><span style="font-family: 'courier new', courier, monospace;">SPLASH Co-located Events:</span><br /><span style="font-family: 'courier new', courier, monospace;"> * DLS (Deadline: 28 Jun)</span><br /><span style="font-family: 'courier new', courier, monospace;"> * GPCE (Deadline: 7 July)</span><br /><span style="font-family: 'courier new', courier, monospace;"> * LOPSTR (Deadlines: 19 May Abstract, 26 May Paper)</span><br /><span style="font-family: 'courier new', courier, monospace;"> * MPLR (Deadline: 26 Jun)</span><br /><span style="font-family: 'courier new', courier, monospace;"> * PPDP (Deadlines: 15 May Abstract, 22 May Paper)</span><br /><span style="font-family: 'courier new', courier, monospace;"> * SAS (Deadline: 24 Apr)</span><br /><span style="font-family: 'courier new', courier, monospace;"> * SLE (Deadline: 7 Abr)</span><br /><br /><span style="font-family: 'courier new', courier, monospace;"> </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 /><br /><span style="font-family: 'courier new', courier, monospace;">SPLASH 2023 aims to signify the reopening of the world and being able to meet your international colleagues in person. </span><br /><br /><br /><br /><span style="font-family: 'courier new', courier, monospace;">** Co-located Events **</span><br /><br /><span style="font-family: 'courier new', courier, monospace;">**** Dynamic Languages Symposium (DLS) ****</span><br /><br /><span style="font-family: 'courier new', courier, monospace;">The Dynamic Languages Symposium (DLS) is the premier forum for researchers and practitioners to share research and experience on all aspects of dynamic languages.</span><br /><br /><span style="font-family: 'courier new', courier, monospace;">After two decades of dynamic language research and DLS, it is time to reflect and look forward to what the next two decades will bring. This year's DLS will therefore be a special DLS focusing on the Future of Dynamic Languages. To do the notion of "symposium" justice, we will actively invite speakers to present their opinions on where Dynamic Languages might be, will be, or should be going in the next twenty years.</span><br /><br /><span style="font-family: 'courier new', courier, monospace;">Paper Submission Deadline: 28 Jun 2023</span><br /><span style="font-family: 'courier new', courier, monospace;">Details: <a href="https://urldefense.com/v3/__https://2023.splashcon.org/home/dls-2023__;!!IBzWLUs!R9Wi_IDhfpxEy856JN3I0HHbFqwQM7yKHaFf4yzOpEDy7SEWIr3mrFfod_ErDJTg_o5Bqs6EgEeYpmMXCsW4tAeEiO15svdFnU-A5vw$" target="_blank" rel="noopener noreferrer">https://2023.splashcon.org/home/dls-2023</a></span><br /><br /><br /><br /><span style="font-family: 'courier new', courier, monospace;">**** Generative Programming: Concepts & Experiences (GPCE)****</span><br /><br /><span style="font-family: 'courier new', courier, monospace;">ACM SIGPLAN International Conference on Generative Programming: Concepts & Experiences (GPCE) is a venue for researchers and practitioners interested in techniques that use program generation, domain-specific languages, and component deployment to increase programmer productivity, improve software quality, and shorten the time-to-market of software products. In addition to exploring cutting-edge techniques of generative software, our goal is to foster further cross-fertilization between the software engineering and the programming languages research communities.</span><br /><br /><span style="font-family: 'courier new', courier, monospace;">Abstract Submission Deadline: 3 Jul 2023</span><br /><span style="font-family: 'courier new', courier, monospace;">Paper Submission Deadline: 7 Jul 2023</span><br /><br /><span style="font-family: 'courier new', courier, monospace;">Details: <a href="https://urldefense.com/v3/__https://2023.splashcon.org/home/gpce-2023__;!!IBzWLUs!R9Wi_IDhfpxEy856JN3I0HHbFqwQM7yKHaFf4yzOpEDy7SEWIr3mrFfod_ErDJTg_o5Bqs6EgEeYpmMXCsW4tAeEiO15svdF5igEXPU$" target="_blank" rel="noopener noreferrer">https://2023.splashcon.org/home/gpce-2023</a> </span><br /><br /><br /><br /><span style="font-family: 'courier new', courier, monospace;">**** Logic-Based Program Synthesis and Transformation (LOPSTR)****</span><br /><br /><span style="font-family: 'courier new', courier, monospace;">The aim of the LOPSTR series is to stimulate and promote international research and collaboration on logic-based program development. LOPSTR is open to contributions in logic-based program development in any language paradigm. LOPSTR has a reputation for being a lively, friendly forum for presenting and discussing work in progress.</span><br /><br /><span style="font-family: 'courier new', courier, monospace;">Abstract Submission Deadline: 19 May 2023</span><br /><span style="font-family: 'courier new', courier, monospace;">Paper Submission Deadline: 26 May 2023</span><br /><br /><span style="font-family: 'courier new', courier, monospace;">Details: <a href="https://urldefense.com/v3/__https://lopstr.github.io/2023/__;!!IBzWLUs!R9Wi_IDhfpxEy856JN3I0HHbFqwQM7yKHaFf4yzOpEDy7SEWIr3mrFfod_ErDJTg_o5Bqs6EgEeYpmMXCsW4tAeEiO15svdFJISihow$" target="_blank" rel="noopener noreferrer">https://lopstr.github.io/2023/</a> </span><br /><br /><br /><br /><span style="font-family: 'courier new', courier, monospace;">**** Managed Programming Languages & Runtimes (MPLR)****</span><br /><br /><span style="font-family: 'courier new', courier, monospace;">The 20th International Conference on Managed Programming Languages & Runtimes (MPLR'23, formerly ManLang, originally PPPJ) is a premier forum for presenting and discussing novel results in all aspects of managed programming languages and runtime systems, which serve as building blocks for some of the most important computing systems around, ranging from small-scale (embedded and real-time systems) to large-scale (cloud-computing and big-data platforms) and anything in between (mobile, IoT, and wearable applications).</span><br /><br /><span style="font-family: 'courier new', courier, monospace;">Paper/Abstract Submission Deadline: 26 Jun 2023</span><br /><br /><span style="font-family: 'courier new', courier, monospace;">Details: <a href="https://urldefense.com/v3/__https://2023.splashcon.org/home/mplr-2023__;!!IBzWLUs!R9Wi_IDhfpxEy856JN3I0HHbFqwQM7yKHaFf4yzOpEDy7SEWIr3mrFfod_ErDJTg_o5Bqs6EgEeYpmMXCsW4tAeEiO15svdFYKC-gDU$" target="_blank" rel="noopener noreferrer">https://2023.splashcon.org/home/mplr-2023</a> </span><br /><br /><br /><br /><br /><span style="font-family: 'courier new', courier, monospace;">**** Principles and Practice of Declarative Programming (PPDP) ****</span><br /><br /><span style="font-family: 'courier new', courier, monospace;">PPDP aims to provide a forum that brings together researchers from the declarative programming communities, including those working in the logic, constraint and functional programming paradigms, but also embracing a variety of other paradigms such as visual programming, executable specification languages, database languages, AI languages and knowledge representation languages used, for example, in the semantic web.</span><br /><br /><span style="font-family: 'courier new', courier, monospace;">Abstract Submission Deadline: 15 May 2023</span><br /><span style="font-family: 'courier new', courier, monospace;">Paper Submission Deadline: 22 May 2023</span><br /><br /><span style="font-family: 'courier new', courier, monospace;">Details: <a href="https://urldefense.com/v3/__https://ppdp2023.webs.upv.es/__;!!IBzWLUs!R9Wi_IDhfpxEy856JN3I0HHbFqwQM7yKHaFf4yzOpEDy7SEWIr3mrFfod_ErDJTg_o5Bqs6EgEeYpmMXCsW4tAeEiO15svdFRG6fibE$" target="_blank" rel="noopener noreferrer">https://ppdp2023.webs.upv.es/</a> </span><br /><br /><br /><br /><br /><span style="font-family: 'courier new', courier, monospace;">**** Static Analysis (SAS) ****</span><br /><br /><span style="font-family: 'courier new', courier, monospace;">Static Analysis is widely recognized as a fundamental tool for program verification, bug detection, compiler optimization, program understanding, and software maintenance. The series of Static Analysis Symposia has served as the primary venue for the presentation of theoretical, practical, and application advances in the area.</span><br /><br /><br /><br /><span style="font-family: 'courier new', courier, monospace;">Paper/Abstract Submission Deadline: 24 Apr 2023</span><br /><span style="font-family: 'courier new', courier, monospace;">Artifact Submission Deadline: 29 Apr 2023</span><br /><br /><span style="font-family: 'courier new', courier, monospace;">Details: <a href="https://urldefense.com/v3/__https://conf.researchr.org/track/sas-2023/sas-2023-papers__;!!IBzWLUs!R9Wi_IDhfpxEy856JN3I0HHbFqwQM7yKHaFf4yzOpEDy7SEWIr3mrFfod_ErDJTg_o5Bqs6EgEeYpmMXCsW4tAeEiO15svdFDcWEcGA$" target="_blank" rel="noopener noreferrer">https://conf.researchr.org/track/sas-2023/sas-2023-papers</a></span><br /><br /><br /><br /><br /><span style="font-family: 'courier new', courier, monospace;">**** Software Language Engineering (SLE) ****</span><br /><br /><span style="font-family: 'courier new', courier, monospace;">The ACM SIGPLAN International Conference on Software Language Engineering (SLE) is devoted to the principles of software languages: their design, their implementation, and their evolution.</span><br /><br /><span style="font-family: 'courier new', courier, monospace;">Like its predecessors, the 16th edition of the SLE conference, SLE 2023, will bring together researchers from different areas united by their common interest in the creation, capture, and tooling of software languages. It overlaps with traditional conferences on the design and implementation of programming languages, model-driven engineering, and compiler construction, and emphasizes the fusion of their communities. To foster the latter, SLE traditionally fills a two-day program with a single track, with the only temporal overlap occurring between co-located events.</span><br /><br /><span style="font-family: 'courier new', courier, monospace;">R2 Submission Deadline: 30 Jun 2023</span><br /><span style="font-family: 'courier new', courier, monospace;">Details: <a href="https://urldefense.com/v3/__https://2023.splashcon.org/home/sle-2023*About__;Iw!!IBzWLUs!R9Wi_IDhfpxEy856JN3I0HHbFqwQM7yKHaFf4yzOpEDy7SEWIr3mrFfod_ErDJTg_o5Bqs6EgEeYpmMXCsW4tAeEiO15svdFE1w4epI$" target="_blank" rel="noopener noreferrer">https://2023.splashcon.org/home/sle-2023#About</a> </span><br /><br /><br /><span style="font-family: 'courier new', courier, monospace;">======================================================================</span><br /><br /><br /><br /><span style="font-family: 'courier new', courier, monospace;">** SPLASH Co-hosted conferences, symposiums and events with upcoming deadlines **</span><br /><br /><br /><br /><span style="font-family: 'courier new', courier, monospace;">**** Onward! Papers ****</span><br /><br /><span style="font-family: 'courier new', courier, monospace;">Onward! is a premier multidisciplinary conference focused on everything to do with programming and software: including processes, methods, languages, communities and applications. Onward! is more radical, more visionary and more open than other conferences to ideas that are well-argued but not yet proven. We welcome different ways of thinking about, approaching and reporting on programming language and software engineering research. Onward! Papers is looking for grand visions and new paradigms that could make a big difference in how we will one day build software.</span><br /><br /><span style="font-family: 'courier new', courier, monospace;">Submission deadline: 28 Apr 2023</span><br /><br /><span style="font-family: 'courier new', courier, monospace;">Details: <a href="https://urldefense.com/v3/__https://2023.splashcon.org/track/splash-2023-Onward-papers__;!!IBzWLUs!R9Wi_IDhfpxEy856JN3I0HHbFqwQM7yKHaFf4yzOpEDy7SEWIr3mrFfod_ErDJTg_o5Bqs6EgEeYpmMXCsW4tAeEiO15svdFEbabhnc$" target="_blank" rel="noopener noreferrer">https://2023.splashcon.org/track/splash-2023-Onward-papers</a></span><br /><br /><br /><br /><br /><span style="font-family: 'courier new', courier, monospace;">**** Onward! Essays **** </span><br /><br /><span style="font-family: 'courier new', courier, monospace;">Onward! Essays track is looking for clear and compelling pieces of writing about topics important to the software community. An essay may be an exploration of the topic and its impact, or a story about the circumstances of its creation; it may present a personal view of what is, explore a terrain, or lead the reader in an act of discovery; it may be a philosophical digression or a deep analysis. The subject area—software, programming, and programming languages—should be interpreted broadly and can include the relationship of software to human endeavors, or its philosophical, sociological, psychological, historical, or anthropological underpinnings.</span><br /><br /><br /><br /><span style="font-family: 'courier new', courier, monospace;">Submission deadline: 28 Apr 2023</span><br /><br /><span style="font-family: 'courier new', courier, monospace;">Details: <a href="https://urldefense.com/v3/__https://2023.splashcon.org/track/splash-2023-Onward-Essays__;!!IBzWLUs!R9Wi_IDhfpxEy856JN3I0HHbFqwQM7yKHaFf4yzOpEDy7SEWIr3mrFfod_ErDJTg_o5Bqs6EgEeYpmMXCsW4tAeEiO15svdFLTPMIFE$" target="_blank" rel="noopener noreferrer">https://2023.splashcon.org/track/splash-2023-Onward-Essays</a></span><br /><br /><br /><br /><span style="font-family: 'courier new', courier, monospace;">**** Posters **** </span><br /><br /><span style="font-family: 'courier new', courier, monospace;">The SPLASH Posters track provides an excellent forum for authors to present their recent or ongoing projects in an interactive setting, and receive feedback from the community. We invite submissions covering any aspect of programming, systems, languages and applications. The goal of the poster session is to encourage and facilitate small groups of individuals interested in a technical area to gather and interact.</span><br /><br /><br /><br /><br /><span style="font-family: 'courier new', courier, monospace;">**** SPLASH-E **** </span><br /><br /><span style="font-family: 'courier new', courier, monospace;">SPLASH-E is a symposium for software and languages (SE/PL) researchers with activities and interests around computing education. Some build pedagogically-oriented languages or tools; some think about pedagogic challenges around SE/PL courses; some bring computing to non-CS communities; some pursue human studies and educational research. At SPLASH-E, we share our educational ideas and challenges centered in software/languages, as well as our best ideas for advancing such work. </span><br /><br /><br /><br /><span style="font-family: 'courier new', courier, monospace;">** Student Research Competition (SRC) **</span><br /><br /><span style="font-family: 'courier new', courier, monospace;">The ACM Student Research Competition (SRC) offers a unique opportunity for undergraduate and graduate students to present their research to a panel of judges and conference attendees at SPLASH. The SRC provides visibility and exposes up-and-coming researchers to computer science research and the research community. This competition also gives students an opportunity to discuss their research with experts in their field, get feedback, and sharpen their communication and networking skills.</span><br /><br /><br /><br /><span style="font-family: 'courier new', courier, monospace;">** Programming Languages Mentoring Workshop (PLMW) **</span><br /><br /><span style="font-family: 'courier new', courier, monospace;">The SPLASH Programming Languages Mentoring Workshop encourages graduate students (PhD and MSc) and senior undergraduate students to pursue research in programming languages. This workshop will provide mentoring sessions on how to prepare for and thrive in graduate school and in a research career, focusing both on cutting-edge research topics and practical advice. The workshop brings together leading researchers and junior students in an inclusive environment in order to help welcome newcomers to our field of programming languages research. The workshop will show students the many paths that they might take to enter and contribute to our research community.</span><br /><br /><br /><br /><br /><span style="font-family: 'courier new', courier, monospace;">** Workshops **</span><br /><br /><span style="font-family: 'courier new', courier, monospace;">**** CONFLANG ****</span><br /><br /><span style="font-family: 'courier new', courier, monospace;">CONFLANG is a workshop on the design, the theory, the practice and the future evolution of configuration languages. It aims to gather the emerging community in this area in order to engage in fruitful interactions, to share ideas, results, opinions, and experiences on languages for configuration. Correct configuration is an actual industrial problem, and would greatly benefit from existing and ongoing academic research. Dually, this is a space with new challenges to overcome and new directions to explore, which is a great opportunity to confront new ideas with large-scale production.</span><br /><br /><span style="font-family: 'courier new', courier, monospace;">**** 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.</span><br /><br /><span style="font-family: 'courier new', courier, monospace;">Specific topics include, but are not limited to: case studies and experience reports on the use of formal methods for analyzing safety-critical systems, including avionics, automotive, medical, railway, and other kinds of safety-critical and QoS-critical systems; methods, techniques and tools to support automated analysis, certification, debugging, etc., of safety/QoS-critical systems; analysis methods that address the limitations of formal methods in industry (usability, scalability, etc.); formal analysis support for modeling languages used in industry, such as AADL, Ptolemy, SysML, SCADE, Modelica, etc.; code generation from validated models.</span><br /><br /><span style="font-family: 'courier new', courier, monospace;">The workshop will provide a platform for discussions and the exchange of innovative ideas, so submissions on work in progress are encouraged.</span><br /><br /><span style="font-family: 'courier new', courier, monospace;">**** HATRA ****</span><br /><br /><span style="font-family: 'courier new', courier, monospace;">Programming language designers seek to provide strong tools to help developers reason about their programs. For example, the formal methods community seeks to enable developers to prove correctness properties of their code, and type system designers seek to exclude classes of undesirable behavior from programs. The security community creates tools to help developers achieve their security goals. In order to make these approaches as effective as possible for developers, recent work has integrated approaches from human-computer interaction research into programming language design. 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.</span><br /><br /><span style="font-family: 'courier new', courier, monospace;">We have two goals: (1) to provide a venue for discussion and feedback on early-stage approaches that might enable people to be more effective at achieving stronger safety properties in their programs; (2) to facilitate discussion about relevant topics of participant interest.</span><br /><br /><span style="font-family: 'courier new', courier, monospace;">**** 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.</span><br /><br /><span style="font-family: 'courier new', courier, monospace;">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;">**** PAINT **** </span><br /><br /><span style="font-family: 'courier new', courier, monospace;">Programming environments that integrate tools, notations, and abstractions into a holistic user experience can provide programmers with better support for what they want to achieve. These programming environments can create an engaging place to do new forms of informational work - resulting in enjoyable, creative, and productive experiences with programming.</span><br /><br /><span style="font-family: 'courier new', courier, monospace;">In the workshop on Programming Abstractions and Interactive Notations, Tools, and Environments (PAINT), we want to discuss programming environments that support users in working with and creating notations and abstractions that matter to them. We are interested in the relationship between people centric notations and general-purpose programming languages and environments. How do we reflect the various experiences, needs, and priorities of the many people involved in programming — whether they call it that or not?</span><br /><br /><span style="font-family: 'courier new', courier, monospace;">**** PLF **** </span><br /><br /><span style="font-family: 'courier new', courier, monospace;">Applications supporting multi-device are ubiquitous. While most of the distributed applications that we see nowadays are cloud-based, avoiding the cloud can lead to privacy and performance benefits for users and operational and cost benefits for companies and developers. Following this idea, Local-First Software runs and stores its data locally while still allowing collaboration, thus retaining the benefits of existing collaborative applications without depending on the cloud. Many specific solutions already exist: operational transformation, client-side databases with eventually consistent replication based on CRDTs, and even synchronization as a service provided by commercial offerings, and a vast selection of UI design libraries.</span><br /><br /><span style="font-family: 'courier new', courier, monospace;">However, these solutions are not integrated with the programming languages that applications are developed in. Language based solutions related to distribution such as type systems describing protocols, reliable actor runtimes, data processing, machine learning, etc., are designed and optimized for the cloud not for a loosely connected set of cooperating devices. This workshop aims at bringing the issue to the attention of the PL community, and accelerating the development of suitable solutions for this area.</span><br /><br /><span style="font-family: 'courier new', courier, monospace;">**** ST30 ****</span><br /><br /><span style="font-family: 'courier new', courier, monospace;">Session types are a type-theoretic approach to specifying communication protocols so that they can be verified by type-checking. This year marks 30 years since the first paper on session types, by Kohei Honda at CONCUR 1993. Since then the topic has attracted increasing interest, and a substantial community and literature have developed. Google Scholar lists almost 400 articles with "session types" in the title, and most programming language conferences now include several papers on session types each year. In terms of the technical focus, there have been continuing theoretical developments (notably the generalisation from two-party to multi-party session types by Honda, Yoshida and Carbone in 2008, and the development of a Curry-Howard correspondence with linear logic by Caires and Pfenning in 2010) and a variety of implementations of session types as programming language extensions or libraries, covering (among others) Haskell, OCaml, Java, Scala, Rust, Python, C#, Go.</span><br /><br /><span style="font-family: 'courier new', courier, monospace;">ST30 is a workshop to celebrate the 30th anniversary of session types by bringing together the community for a day of talks and technical discussion.</span><br /><br /><span style="font-family: 'courier new', courier, monospace;">======================================================================</span><br /><br /><span style="font-family: 'courier new', courier, monospace;">Be part of these fantastic events! </span><br /><br /><span style="font-family: 'courier new', courier, monospace;">======================================================================</span><br /><br /><br /><br /><span style="font-family: 'courier new', courier, monospace;">Organizing Committee </span><br /><br /><span style="font-family: 'courier new', courier, monospace;"> </span><br /><br /><span style="font-family: 'courier new', courier, monospace;">General Chair: Vasco T. Vasconcelos (University of Lisbon)</span><br /><br /><span style="font-family: 'courier new', courier, monospace;">OOPSLA Review Committee Chair: Mira Mezini (TU Darmstadt)</span><br /><br /><span style="font-family: 'courier new', courier, monospace;">OOPSLA Publications Co-Chair: Ragnar Mogk (TU Darmstadt)</span><br /><br /><span style="font-family: 'courier new', courier, monospace;">OOPSLA Artifact Evaluation Co-Chair: Benjamin Greenman (Brown University)</span><br /><br /><span style="font-family: 'courier new', courier, monospace;">OOPSLA Artifact Evaluation Co-Chair: Guillaume Baudart (INRIA)</span><br /><br /><span style="font-family: 'courier new', courier, monospace;">DLS General Chair: Stefan Marr (University of Kent)</span><br /><br /><span style="font-family: 'courier new', courier, monospace;">GPCE General Chair: Bernhard Rumpe (RWTH Aachen University)</span><br /><br /><span style="font-family: 'courier new', courier, monospace;">GPCE PC Chair: Amir Shaikhha (University of Edinburgh)</span><br /><br /><span style="font-family: 'courier new', courier, monospace;">LOPSTR PC Chair: Robert Glück (University of Copenhagen, Denmark)</span><br /><br /><span style="font-family: 'courier new', courier, monospace;">LOPSTR PC Chair: Bishoksan Kafle (IMDEA)</span><br /><br /><span style="font-family: 'courier new', courier, monospace;">MPLR General Chair: Rodrigo Bruno (University of Lisbon)</span><br /><br /><span style="font-family: 'courier new', courier, monospace;">MPLR PC Chair: Elliot Moss (University of Massachusetts Amherst)</span><br /><br /><span style="font-family: 'courier new', courier, monospace;">PPDP PC Chair: Santiago Escobar (Universitat Politècnica de València )</span><br /><br /><span style="font-family: 'courier new', courier, monospace;">SAS Co-Chair: Manuel Hermenegildo (Technical University of Madrid & IMDEA)</span><br /><br /><span style="font-family: 'courier new', courier, monospace;">SAS Co-Chair: José Morales (IMDEA)</span><br /><br /><span style="font-family: 'courier new', courier, monospace;">SAS Artifact Evaluation Chair: Marc Chevalier (Snyk)</span><br /><br /><span style="font-family: 'courier new', courier, monospace;">SLE Chair: João Saraiva (University of Minho)</span><br /><br /><span style="font-family: 'courier new', courier, monospace;">SLE PC Co-Chair: Thomas Degueule (CNRS, LaBRI)</span><br /><br /><span style="font-family: 'courier new', courier, monospace;">SLE PC Co-Chair: Elizabeth Scott (Royal Holloway University of London)</span><br /><br /><span style="font-family: 'courier new', courier, monospace;">Onward! Papers Chair: Tijs van der Storm (CWI & University of Groningen)</span><br /><br /><span style="font-family: 'courier new', courier, monospace;">Onward! Essays Chair: Robert Hirschfeld (University of Potsdam; Hasso Plattner Institute)</span><br /><br /><span style="font-family: 'courier new', courier, monospace;">SPLASH-E Co-Chair: Molly Feldman (Oberlin College)</span><br /><br /><span style="font-family: 'courier new', courier, monospace;">Posters Co-Chair: Xujie Si (University of Toronto)</span><br /><br /><span style="font-family: 'courier new', courier, monospace;">Workshops Co-Chair: Mehdi Bagherzadeh (Oakland University)</span><br /><br /><span style="font-family: 'courier new', courier, monospace;">Workshops Co-Chair: Amin Alipour (University of Houston)</span><br /><br /><span style="font-family: 'courier new', courier, monospace;">Hybridisation Co-Chair: Youyou Cong (Tokyo Institute of Technology)</span><br /><br /><span style="font-family: 'courier new', courier, monospace;">Hybridisation Co-Chair: Jonathan Immanuel Brachthäuser (University of Tübingen)</span><br /><br /><span style="font-family: 'courier new', courier, monospace;">Video Co-Chair: Guilherme Espada (University of Lisbon)</span><br /><br /><span style="font-family: 'courier new', courier, monospace;">Video Co-Chair: Apoorv Ingle (University of Iowa)</span><br /><br /><span style="font-family: 'courier new', courier, monospace;">Publicity Chair, Web Co-Chair: Andreea Costea (National University Of Singapore)</span><br /><br /><span style="font-family: 'courier new', courier, monospace;">Publicity Chair, Web Co-Chair: Alcides Fonseca (University of Lisbon)</span><br /><br /><span style="font-family: 'courier new', courier, monospace;">PLMW Co-Chair: Molly Feldman (Oberlin College)</span><br /><br /><span style="font-family: 'courier new', courier, monospace;">PLMW Co-Chair: Youyou Cong (Tokyo Institute of Technology)</span><br /><br /><span style="font-family: 'courier new', courier, monospace;">PLMW Co-Chair: João Ferreira (University of Lisbon)</span><br /><br /><span style="font-family: 'courier new', courier, monospace;">Sponsoring Chair: Bor-Yuh Evan Chang (University of Colorado Boulder & Amazon)</span><br /><br /><span style="font-family: 'courier new', courier, monospace;">Student Research Competition Co-Chair: Xujie Si (McGill University, Canada)</span><br /><br /><span style="font-family: 'courier new', courier, monospace;">Local Organizer Chair: Andreia Mordido (University of Lisbon)</span><br /><br /><span style="font-family: 'courier new', courier, monospace;">SIGPLAN Conference Manager: Neringa Young</span></div>
</body></html>