The Coq mailing list

[Alcides Fonseca <me AT alcidesfonseca.com>]

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


                 Second Combined Call For Contributions


   ACM Conference on Systems, Programming, Languages, and Applications:

                   Software for Humanity (SPLASH'23)


                October 22-27, 2023, Cascais, Portugal


                    https://2023.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.


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 SECOND COMBINED CALL FOR CONTRIBUTIONS:


SPLASH upcoming deadlines:


 * Student Research Competition (deadline: 14 Jul)

 * Doctoral Symposium (deadline: 21 Jul — Extended!)

 * Programming Languages Mentoring Workshop (PLMW) (deadline: 24 Jul)


SPLASH Workshops (submission deadline: 12 Jul):

 * CONFLANG

 * FTSCS

 * HATRA

 * IWACO

 * LIVE

 * PAINT

 * PLF

 * REBELS

 * ST30

* VMIL




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


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.







**** SPLASH-E ****


SPLASH-E is a symposium, started in 2013, 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.
SPLASH-E strives to bring together researchers and those with
educational interests that arise from software ideas or concerns.



Archival Submission Deadline:       27 Jul 2023



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


Abstract Submission Deadline:       21 Jul 2023



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


Application Submission Deadline:       24 Jul 2023



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



**** IWACO ****



Many techniques have been introduced to describe and reason about
stateful programs, and to restrict, analyze, and prevent aliases.
These include various forms of ownership types, capabilities,
separation logic, linear logic, uniqueness, sharing control, escape
analysis, argument independence, read-only references, linear
references, effect systems, and access control mechanisms. These tools
have found their way into type systems, compilers and interpreters,
runtime systems and bug-finding tools. Their immediate practical
relevance is self-evident from the popularity of Rust, a programming
language built around reasoning about aliasing and ownership to enable
static memory management and data race freedom, voted the "most
beloved" language in the annual Stack Overflow Developer Survey seven
times in a row.


IWACO'23 will focus on these techniques, on how they can be used to
reason about stateful (sequential or concurrent) programs, and how
they have been applied to programming languages. In particular, we
will consider papers on: models, type systems and other formal
systems, programming language mechanisms, analysis and design
techniques, patterns and notations for expressing ownership, aliasing,
capabilities, uniqueness, and related topics; empirical studies of
programs or experience reports from programming systems designed with
these techniques in mind; programming logics that deal with aliasing
and/or shared state, or use ownership, capabilities or resourcing;
applications of capabilities, ownership and other similar type systems
in low-level systems such as programming languages runtimes, virtual
machines, or compilers; and optimization techniques, analysis
algorithms, libraries, applications, and novel approaches exploiting
ownership, aliasing, capabilities, uniqueness, and related topics.



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



**** REBELS ****


Reactive programming and event-based programming are two closely
related programming styles that are becoming ever more important with
the advent of advanced HPC technology and the ever increasing
requirement for our applications to run on the web or on collaborating
mobile devices. A number of publications on middleware and language
design — so-called reactive and event-based languages and systems
(REBLS) — have already seen the light, but the field still raises
several questions. For example, the interaction with mainstream
language concepts is poorly understood, implementation technology is
in its infancy and modularity mechanisms are almost totally lacking.
Moreover, large applications are still to be developed and patterns
and tools for developing reactive applications is an area that is
vastly unexplored.


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 define better the field by coming up
with taxonomies and overviews of the existing work.




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


**** 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 in language virtual machines, the intermediate languages
they use, and related issues. The workshop is intended to be welcoming
to a wide range of topics and perspectives, covering all areas
relevant to the workshop’s theme.



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


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 Co-Chair: Bor-Yuh Evan Chang (University of Colorado
Boulder & Amazon)

Sponsoring Co-Chair: Nicolas Wu (Imperial College London)

Student Research Competition Co-Chair: Xujie Si (McGill University, Canada)

Local Organizer Chair: Andreia Mordido (University of Lisbon)

SIGPLAN Conference Manager: Neringa Young