[Haskell] ARRAY 2023 Call for Papers - please help disseminate

[Troels Henriksen]

# ARRAY 2023 - co-located with PLDI 2023 - call for papers

* Submission deadline: 31st of March
* Notification:        21st of April
* Workshop date:       17th of June
* Submission: https://array23.hotcrp.com/

Array programming is at home in many communities, including language
design, library development, optimization, scientific computing, and
across many existing language communities. The ARRAY Workshop series
is intended to bring together researchers from many different
practical and theoretical communities, including language designers,
library developers, type theorists, compiler researchers, and
practitioners.  These communities can exchange ideas on the
construction of computational tools for manipulating arrays and
fundamental principles of array programming. Submissions are welcome
in two categories: full papers and extended abstracts. All submissions
should be formatted in conformance with the ACM SIGPLAN proceedings
style. Accepted submissions in either category will be presented at
the workshop. The ARRAY series of workshops explores:

- formal semantics and design issues of array-oriented languages and libraries;

- correctness of array programs, including type-theoretic issues,
  formal verification, array models, static analysis;

- productivity and performance in compute-intensive application areas
  of array programming;

- systematic notation for array programming, including axis- and
  index-based approaches;

- intermediate languages, virtual machines, and program-transformation
  techniques for array programs;

- representation of and automated reasoning about mathematical
  structure, such as static and dynamic sparsity, low-rank patterns,
  and hierarchies of these, with connections to applications such as
  graph processing, HPC, tensor computation and deep learning;

- interfaces between array- and non-array code, including approaches
  for embedding array programs in general-purpose programming
  languages; and

- efficient mapping of array programs, through compilers, libraries,
  and code generators, onto execution platforms, targeting
  multi-cores, SIMD devices, GPUs, distributed systems, and FPGA
  hardware, by fully automatic and user-assisted means.

All submissions must be in PDF format, printable in black and white on
US Letter sized paper. Papers must adhere to the standard SIGPLAN
conference format: two columns, ten-point font.

Full papers may be up to 12 papes, on any topic related to the focus
of the workshop. They will be thoroughly reviewed according to the
usual criteria of relevance, soundness, novelty, and significance;
accepted submissions will be published in the ACM Digital Library as
part of the workshop proceedings.

Extended abstracts may be up to 2 pages; they may describe work in
progress, tool demonstrations, and summaries of work published in full
elsewhere. The focus of the extended abstract should be to explain why
the proposed presentation will be of interest to the ARRAY
audience. Submissions will be lightly reviewed only for relevance to
the workshop, and will not published in the Digital Library.