[Agda] ARRAY 2025: Call for contributions

[Artem Shinkarov]

Dear all

We are organising ARRAY'25 which is co-located with PLDI'25.
This workshop is dedicated to array programming, which is interpreted
very liberally.  We are interested in classical array programming
a la APL, array theories, semantics, verification, type systems,
compiler optimisations, parallel execution including GPUs and hardware
accelerators, high performance and many more. We will try to do our best
in allocating the best reviewers for your work, and as you can see from
the PC below, we have a good mix of theoreticians and practitioners.

Two kinds of submissions are accepted: full papers and extended abstracts.
Full papers will be published in the ACM proceedings and abstracts will go
through a light reviewing and the authors of accepted abstracts will be
invited to give a talk at the workshop.

The deadline for both submissions: 1st of April, AoE.
The workshop date: June 17th, Seoul, South Korea

We can be rather flexible with the deadline for abstracts,
but paper deadlines are bound by the ACM rules.

Further details can be found here: https://pldi25.sigplan.org/home/ARRAY-2025

Program committee:

  * Artjoms Šinkarovs, University of Southamptom, UK
  * Sven-Bodo Scholz, Radboud University, Netherlands
  * Martin Elsman, University of Copenhagen, Denmark
  * Magne Haveraaen, University of Bergen, Norway
  * Raghav Malik, Purdue University, USA
  * John Reppy, University of Chicago, USA
  * Anmol Sahoo, Purdue University, USA
  * Olin Shivers, Northeastern University, USA
  * Anxhelo Xhebraj, NVIDIA, USA



Best regards,
Artjoms Sinkarovs and Sven-Bodo Scholz