[ The Types Forum (announcements only),
http://lists.seas.upenn.edu/mailman/listinfo/types-announce ]
======================================================================
Combined Call For Contributions
ACM Conference on Systems, Programming, Languages, and Applications:
Software for Humanity (SPLASH'23)
October 22-27, 2023, Cascais, Portugal
https://urldefense.com/v3/__https://2023.splashcon.org__;!!IBzWLUs!R9Wi_IDhfpxEy856JN3I0HHbFqwQM7yKHaFf4yzOpEDy7SEWIr3mrFfod_ErDJTg_o5Bqs6EgEeYpmMXCsW4tAeEiO15svdFILN9S10$
======================================================================
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.
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.
======================================================================
OUTLINE OF THE COMBINED CALL FOR CONTRIBUTIONS:
SPLASH upcoming deadlines:
* OOPSLA (R2 submission deadline: 14 Apr)
* Onward! Essays (submission deadline: 28 Apr)
* Onward! Papers (submission deadline: 28 Apr)
* Doctoral Symposium (submission deadline: 19 Jun, tentative)
* Posters (deadline: TBA)
* Student Research Competition (deadline: TBA
SPLASH Workshops (submission deadline: 12 Jul):
* CONFLANG
* FTSCS
* HATRA
* LIVE
* PAINT
* PLF
* ST30
SPLASH Co-located Events:
* DLS (Deadline: 28 Jun)
* GPCE (Deadline: 7 July)
* LOPSTR (Deadlines: 19 May Abstract, 26 May Paper)
* MPLR (Deadline: 26 Jun)
* PPDP (Deadlines: 15 May Abstract, 22 May Paper)
* SAS (Deadline: 24 Apr)
* SLE (Deadline: 7 Abr)
======================================================================
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.
SPLASH 2023 aims to signify the reopening of the world and being able to
meet your international colleagues in person.
** Co-located Events **
**** Dynamic Languages Symposium (DLS) ****
The Dynamic Languages Symposium (DLS) is the premier forum for
researchers and practitioners to share research and experience on all
aspects of dynamic languages.
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.
Paper Submission Deadline: 28 Jun 2023
Details: https://urldefense.com/v3/__https://2023.splashcon.org/home/dls-2023__;!!IBzWLUs!R9Wi_IDhfpxEy856JN3I0HHbFqwQM7yKHaFf4yzOpEDy7SEWIr3mrFfod_ErDJTg_o5Bqs6EgEeYpmMXCsW4tAeEiO15svdFnU-A5vw$
**** Generative Programming: Concepts & Experiences (GPCE)****
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.
Abstract Submission Deadline: 3 Jul 2023
Paper Submission Deadline: 7 Jul 2023
Details: https://urldefense.com/v3/__https://2023.splashcon.org/home/gpce-2023__;!!IBzWLUs!R9Wi_IDhfpxEy856JN3I0HHbFqwQM7yKHaFf4yzOpEDy7SEWIr3mrFfod_ErDJTg_o5Bqs6EgEeYpmMXCsW4tAeEiO15svdF5igEXPU$
**** Logic-Based Program Synthesis and Transformation (LOPSTR)****
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.
Abstract Submission Deadline: 19 May 2023
Paper Submission Deadline: 26 May 2023
Details: https://urldefense.com/v3/__https://lopstr.github.io/2023/__;!!IBzWLUs!R9Wi_IDhfpxEy856JN3I0HHbFqwQM7yKHaFf4yzOpEDy7SEWIr3mrFfod_ErDJTg_o5Bqs6EgEeYpmMXCsW4tAeEiO15svdFJISihow$
**** Managed Programming Languages & Runtimes (MPLR)****
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).
Paper/Abstract Submission Deadline: 26 Jun 2023
Details: https://urldefense.com/v3/__https://2023.splashcon.org/home/mplr-2023__;!!IBzWLUs!R9Wi_IDhfpxEy856JN3I0HHbFqwQM7yKHaFf4yzOpEDy7SEWIr3mrFfod_ErDJTg_o5Bqs6EgEeYpmMXCsW4tAeEiO15svdFYKC-gDU$
**** Principles and Practice of Declarative Programming (PPDP) ****
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.
Abstract Submission Deadline: 15 May 2023
Paper Submission Deadline: 22 May 2023
Details: https://urldefense.com/v3/__https://ppdp2023.webs.upv.es/__;!!IBzWLUs!R9Wi_IDhfpxEy856JN3I0HHbFqwQM7yKHaFf4yzOpEDy7SEWIr3mrFfod_ErDJTg_o5Bqs6EgEeYpmMXCsW4tAeEiO15svdFRG6fibE$
**** Static Analysis (SAS) ****
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.
Paper/Abstract Submission Deadline: 24 Apr 2023
Artifact Submission Deadline: 29 Apr 2023
Details: https://urldefense.com/v3/__https://conf.researchr.org/track/sas-2023/sas-2023-papers__;!!IBzWLUs!R9Wi_IDhfpxEy856JN3I0HHbFqwQM7yKHaFf4yzOpEDy7SEWIr3mrFfod_ErDJTg_o5Bqs6EgEeYpmMXCsW4tAeEiO15svdFDcWEcGA$
**** Software Language Engineering (SLE) ****
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.
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.
R2 Submission Deadline: 30 Jun 2023
Details: https://urldefense.com/v3/__https://2023.splashcon.org/home/sle-2023*About__;Iw!!IBzWLUs!R9Wi_IDhfpxEy856JN3I0HHbFqwQM7yKHaFf4yzOpEDy7SEWIr3mrFfod_ErDJTg_o5Bqs6EgEeYpmMXCsW4tAeEiO15svdFE1w4epI$
======================================================================
** SPLASH Co-hosted conferences, symposiums and events with upcoming
deadlines **
**** Onward! Papers ****
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.
Submission deadline: 28 Apr 2023
Details: https://urldefense.com/v3/__https://2023.splashcon.org/track/splash-2023-Onward-papers__;!!IBzWLUs!R9Wi_IDhfpxEy856JN3I0HHbFqwQM7yKHaFf4yzOpEDy7SEWIr3mrFfod_ErDJTg_o5Bqs6EgEeYpmMXCsW4tAeEiO15svdFEbabhnc$
**** Onward! Essays ****
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.
Submission deadline: 28 Apr 2023
Details: https://urldefense.com/v3/__https://2023.splashcon.org/track/splash-2023-Onward-Essays__;!!IBzWLUs!R9Wi_IDhfpxEy856JN3I0HHbFqwQM7yKHaFf4yzOpEDy7SEWIr3mrFfod_ErDJTg_o5Bqs6EgEeYpmMXCsW4tAeEiO15svdFLTPMIFE$
**** Posters ****
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.
**** SPLASH-E ****
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.
** Student Research Competition (SRC) **
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.
** Programming Languages Mentoring Workshop (PLMW) **
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.
** Workshops **
**** CONFLANG ****
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.
**** FTSCS ****
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.
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.
The workshop will provide a platform for discussions and the exchange of
innovative ideas, so submissions on work in progress are encouraged.
**** HATRA ****
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.
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.
**** LIVE ****
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.
**** PAINT ****
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.
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?
**** PLF ****
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.
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.
**** ST30 ****
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.
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.
======================================================================
Be part of these fantastic events!
======================================================================
Organizing Committee
General Chair: Vasco T. Vasconcelos (University of Lisbon)
OOPSLA Review Committee Chair: Mira Mezini (TU Darmstadt)
OOPSLA Publications Co-Chair: Ragnar Mogk (TU Darmstadt)
OOPSLA Artifact Evaluation Co-Chair: Benjamin Greenman (Brown
University)
OOPSLA Artifact Evaluation Co-Chair: Guillaume Baudart (INRIA)
DLS General Chair: Stefan Marr (University of Kent)
GPCE General Chair: Bernhard Rumpe (RWTH Aachen University)
GPCE PC Chair: Amir Shaikhha (University of Edinburgh)
LOPSTR PC Chair: Robert Glück (University of Copenhagen, Denmark)
LOPSTR PC Chair: Bishoksan Kafle (IMDEA)
MPLR General Chair: Rodrigo Bruno (University of Lisbon)
MPLR PC Chair: Elliot Moss (University of Massachusetts Amherst)
PPDP PC Chair: Santiago Escobar (Universitat Politècnica de València )
SAS Co-Chair: Manuel Hermenegildo (Technical University of Madrid &
IMDEA)
SAS Co-Chair: José Morales (IMDEA)
SAS Artifact Evaluation Chair: Marc Chevalier (Snyk)
SLE Chair: João Saraiva (University of Minho)
SLE PC Co-Chair: Thomas Degueule (CNRS, LaBRI)
SLE PC Co-Chair: Elizabeth Scott (Royal Holloway University of London)
Onward! Papers Chair: Tijs van der Storm (CWI & University of Groningen)
Onward! Essays Chair: Robert Hirschfeld (University of Potsdam; Hasso
Plattner Institute)
SPLASH-E Co-Chair: Molly Feldman (Oberlin College)
Posters Co-Chair: Xujie Si (University of Toronto)
Workshops Co-Chair: Mehdi Bagherzadeh (Oakland University)
Workshops Co-Chair: Amin Alipour (University of Houston)
Hybridisation Co-Chair: Youyou Cong (Tokyo Institute of Technology)
Hybridisation Co-Chair: Jonathan Immanuel Brachthäuser (University of
Tübingen)
Video Co-Chair: Guilherme Espada (University of Lisbon)
Video Co-Chair: Apoorv Ingle (University of Iowa)
Publicity Chair, Web Co-Chair: Andreea Costea (National University Of
Singapore)
Publicity Chair, Web Co-Chair: Alcides Fonseca (University of Lisbon)
PLMW Co-Chair: Molly Feldman (Oberlin College)
PLMW Co-Chair: Youyou Cong (Tokyo Institute of Technology)
PLMW Co-Chair: João Ferreira (University of Lisbon)
Sponsoring Chair: Bor-Yuh Evan Chang (University of Colorado Boulder &
Amazon)
Student Research Competition Co-Chair: Xujie Si (McGill University,
Canada)
Local Organizer Chair: Andreia Mordido (University of Lisbon)
SIGPLAN Conference Manager: Neringa Young
