The Coq mailing list

[Andreea Costea <andreeac AT comp.nus.edu.sg>]

======================================================================

                  Combined Call For Contributions

 ACM Conference on Systems, Programming, Languages, and Applications:
                 Software for Humanity (SPLASH'22)

            December 5-10, 2022, Auckland, New Zealand

                   https://2022.splashcon.org

======================================================================

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 2022 aims to 
signify the reopening of the world and being able to meet your 
international colleagues in person.

In case you missed the deadlines for OOPSLA, APLAS, DLS or SAS, worry 
not, SPLASH has many more exciting events with upcoming deadlines you 
may consider submitting to (see the combined call below).

Follow the registration space on the SPLASH website to attend this 
fantastic line-up of events - we aim to open for registration on Aug 
1st; the accommodation information will be filled in by then with 
student options at $65 NZD per night.

======================================================================

### OUTLINE OF THE COMBINED CALL FOR CONTRIBUTIONS:

SPLASH Workshops*:
      - FTSCS
      - HATRA
      - LIVE
      - PAINT
      - REBLS
      - Unsound
      - VMIL
* Submissions due for all workshops: 1st September 2022

SPLASH Co-hosted events with upcoming deadlines:
      - Onward! Papers (submission deadline: 10 Jul)
      - Student Research Competition (submission deadline: 18 Jul)
      - Doctoral Symposium (submission deadline: 1 Aug)
      - GPCE (abstract/paper submission deadline: 8/12 Aug)
      - SLE (2nd round of abstract/paper submission deadline: 8/12 Aug)
      - Posters (submission deadline: 15 Aug)
      - SPLASH-E (submission deadline: 19 Aug)
      - Onward! Essays (submission deadline: 5 Sept)

======================================================================

### Workshops

**** Formal Techniques for Safety-Critical Systems (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. The workshop will provide a 
platform for discussions and the exchange of innovative ideas, so 
submissions on work in progress are encouraged.
Details: https://2022.splashcon.org/home/ftscs-2022

**** Human Aspects of Types and Reasoning Assistants (HATRA) ****

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.
Details: https://2022.splashcon.org/home/hatra-2022

**** Live Programming (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.
Details: https://2022.splashcon.org/home/live-2022


**** Programming Abstractions and Interactive Tools, Notations, and 
Environments (PAINT) ****

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.

Details: https://2022.splashcon.org/home/paint-2022


**** Reactive and Event-Based Languages and Systems (REBLS) ****

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.
Details: https://2022.splashcon.org/home/rebls-2022


**** Sources of Unsoundness in Verification (Unsound) ****

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.
Details: https://2022.splashcon.org/home/unsound-2022


**** Virtual Machines and Language Implementations (VMIL) ****

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.
Details: https://2022.splashcon.org/home/vmil-2022


**** Important Dates for All Workshops

Paper/Abstract Submission Deadline:       1 Sept 2022
Camera-Ready Deadline (where applicable): 24 Oct 2022


======================================================================

### 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: 10th July, 2022 AOE.
Details: https://2022.splashcon.org/track/splash-2022-Onward-papers


**** Student Research Competition ****

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.

Submission deadline: 18th July, 2022.
Details: https://2022.splashcon.org/track/splash-2022-SRC


**** Doctoral Symposium ****

The Doctoral Symposium provides students with useful guidance for 
completing their dissertation research and beginning their research 
careers. The symposium will provide an interactive forum for doctoral 
students who have progressed far enough in their research to have a 
structured proposal, but will not be defending their dissertation in the 
next 12 months.

Submission deadline: 1st August, 2022.
Details: https://2022.splashcon.org/track/splash-2022-Doctoral-Symposium


**** GPE ****

The ACM SIGPLAN International Conference on Generative Programming: 
Concepts & Experiences is a programming languages conference focusing on 
techniques and tools for code generation, language implementation, and 
product-line development. GPCE seeks conceptual, theoretical, empirical, 
and technical contributions to its topics of interest, which include but 
are not limited to: program transformation, staging, macro systems, 
preprocessors, program synthesis, and code-recommendation systems; 
domain-specific languages, language embedding, language design, and 
language workbenches; feature-oriented programming, domain engineering, 
and feature interactions; applications and properties of code 
generation, language implementation, and product-line development.

Abstract submission deadline: 8th August, 2022.
Paper submission deadline: 12th August, 2022.
Details: https://2022.splashcon.org/home/gpce-2022


**** SLE ****

The ACM SIGPLAN International Conference on Software Language 
Engineering is devoted to the principles of software languages: their 
design, their implementation, and their evolution. Software language 
engineering is the discipline of engineering languages and their tools 
required for the creation of software. It abstracts from the differences 
between programming languages, modelling languages, and other software 
languages, and emphasizes the engineering facet of the creation of such 
languages, that is, the establishment of the scientific methods and 
practices that enable the best results. While SLE is certainly driven by 
its metacircular character (software languages are engineered using 
software languages), SLE is not self-satisfying: its scope extends to 
the engineering of languages for all and everything.

2nd Round of abstract submission deadline: 8th August, 2022.
2nd Round of paper submission deadline: 12th August, 2022.
Details: https://2022.splashcon.org/home/sle-2022


**** 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.

Submission deadline: 15th August, 2022.
Details: https://2022.splashcon.org/track/splash-2022-Posters


**** 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.

Submission deadline: 19th August, 2022.
Details: https://2022.splashcon.org/track/splash-2022-SPLASH-E


**** 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: 5th September, 2022.
Details: https://2022.splashcon.org/track/splash-2022-Onward-Essays


======================================================================

Be part of these awesome events!

======================================================================

### Organizing Committee

General Chair: Alex Potanin (Australian National University)
OOPSLA Review Committee Chair: Amal Ahmed (Northeastern University)
OOPSLA Review Committee Co-Chair: Jan Vitek (Northeastern University; 
Czech Technical University)
OOPSLA Artifact Evaluation Co-Chair: Benjamin Greenman (Brown 
University)
OOPSLA Artifact Evaluation Co-Chair: Ana Milanova (Rensselaer 
Polytechnic Institute)
APLAS Chair: Ilya Sergey (National University of Singapore)
DLS PC Co-Chair: Wolfgang De Meuter (Vrije Universiteit Brussel)
DLS PC Co-Chair: Arjun Guha (Northeastern University)
GPCE General Chair: Bernhard Scholz (University of Sydney)
GPCE PC Chair: Yukiyoshi Kameyama (University of Tsukuba)
SAS Co-Chair: Caterina Urban (INRIA & École Normale Supérieure | 
Université PSL)
SAS Co-Chair: Gagandeep Singh (University of Illinois at 
Urbana-Champaign; VMware)
SLE Chair: Bernd Fischer (Stellenbosch University)
SLE PC Co-Chair: Lola Burgueño (Open University of Catalonia)
SLE PC Co-Chair: Walter Cazzola (Università degli Studi di Milano)
Onward! Papers Chair: David Tolpin (PUB+)
Onward! Essays Chair: Jeremy Singer (University of Glasgow)
SPLASH-E Co-Chair: Martin Henz (National University Of Singapore)
SPLASH-E Co-Chair: Benjamin Lerner (Northeastern University)
Workshops Co-Chair: Mehdi Bagherzadeh (Oakland University)
Workshops Co-Chair: Raffi Khatchadourian (City University of New York 
(CUNY) Hunter College)
Comfy Chair: Tony Hosking (Australian National University)
Hybridisation Co-Chair: Jonathan Aldrich (Carnegie Mellon University)
Hybridisation Co-Chair: Youyou Cong (Tokyo Institute of Technology)
Diversity and Inclusion Chair, Local Organizing Chair: Kelly Blincoe 
(University of Auckland)
Video Co-Chair: Zixian Cai (Australian National University)
Video Co-Chair: Benjamin Chung (Northeastern University)
Sponsorship Co-Chair: Bor-Yuh Evan Chang (University of Colorado Boulder 
& Amazon)
Publicity Chair, Web Co-Chair: Andreea Costea (National University Of 
Singapore)
Budget and Finance Chair: Michael Homer (Victoria University of 
Wellington)
Student Volunteer Co-Chair: Yao Li (University of Pennsylvania)
Student Volunteer Co-Chair: Julian Mackay (Victoria University of 
Wellington)
Student Research Competition Co-Chair: Xujie Si (McGill University, 
Canada)
Student Research Competition Co-Chair: Caterina Urban (INRIA & École 
Normale Supérieure | Université PSL)
Symposium Chair: Fabian Muehlboeck (IST Austria)
PLMW Co-Chair: Lukasz Ziarek (University at Buffalo)
PLMW Co-Chair: Molly Feldman (Oberlin College)