[Agda] GPCE 2023 Call for Papers

[Youyou Cong]

-------------------------------------------------------------------------------
GPCE 2023:
22nd International Conference on Generative Programming: Concepts &
Experiences

GPCE 2023 will be co-located with SPLASH, SAS, and SLE.
The conference will be hosted in Lisbon, Portugal.

https://conf.researchr.org/home/gpce-2023/
-------------------------------------------------------------------------------

New in GPCE 2023:

This year, GPCE considers the following additional topics of interest:

* AI/ML techniques for generating code, and
* low code / no code approaches.

Also, GPCE solicits an additional paper category:

* Generative Pearl: is an elegant essay about generative programming.
Examples include but are not limited to an interesting application of
generative programming and an elegant presentation of a (new or old) data
structure using generative programming (similar to Functional Pearl in ICFP
and Pearl in ECOOP).

---------------------------
CALL FOR PAPERS
---------------------------

The ACM SIGPLAN International Conference on Generative Programming:
Concepts & Experiences (GPCE) 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,
* code-recommendation systems,
* domain-specific languages,
* generative language workbenches,
* language embedding, language design,
* feature-oriented programming,
* domain engineering,
* feature interactions,
* applications and properties of code generation,
* language implementation,
* product-line development,
* (NEW!) AI/ML techniques for generating code, and
* (NEW!) low code / no code approaches.

GPCE promotes cross-fertilization between programming languages and
software development and among different styles of generative programming
in its broadest sense.

Authors are welcome to check with the PC chair whether their planned papers
are in scope.

---------------------------
PAPER CATEGORIES
---------------------------

GPCE solicits four kinds of submissions:

* Full Papers: reporting original and unpublished results of research that
contribute to scientific knowledge for any GPCE topics. Full paper
submissions must not exceed 12 pages excluding the bibliography.

* Short Papers: presenting unconventional ideas or new visions in any GPCE
topics. Short papers do not always contain complete results as in the case
of full papers, but can introduce new ideas to the community and get early
feedback. Note that short papers are not intended to be position
statements. Accepted short papers are included in the proceedings and will
be presented at the conference. Short paper submissions must not exceed 6
pages excluding the bibliography, and must have the text “(Short Paper)”
appended to their titles.

* Tool Demonstrations: presenting tools for any GPCE topics. Tools must be
available for use and must not be purely commercial. Submissions must
provide a tool description not exceeding 6 pages excluding bibliography and
a separate demonstration outline including screenshots also not exceeding 6
pages. Tool demonstration submissions must have the text “(Tool
Demonstration)” appended to their titles. If they are accepted, tool
descriptions will be included in the proceedings. The demonstration outline
will only be used for evaluating the submission.

* (NEW!) Generative Pearl: is an elegant essay about generative
programming. Examples include but are not limited to an interesting
application of generative programming and an elegant presentation of a (new
or old) data structure using generative programming (similar to Functional
Pearl in ICFP and Pearl in ECOOP). Accepted Generative Pearl papers are
included in the proceedings and will be presented at the conference.
Generative Pearl submissions must not exceed 12 pages excluding the
bibliography (but may be shorter), and must have the text “(Generative
Pearl)” appended to their titles.

---------------------------
PAPER SELECTION
---------------------------

The GPCE program committee will evaluate each submission according to the
following selection criteria:

* Novelty. Papers must present new ideas or evidence and place them
appropriately within the context established by previous research in the
field.
* Significance. The results in the paper must have the potential to add to
the state of the art or practice in significant ways.
* Evidence. The paper must present evidence supporting its claims. Examples
of evidence include formalizations and proofs, implemented systems,
experimental results, statistical analyses, and case studies.
* Clarity. The paper must present its contributions and results clearly.

---------------------------
BEST PAPER AWARD
---------------------------

Following the tradition, the GPCE 2023 program committee will select the
best paper among accepted papers.  The authors of the best paper will be
given the best paper award at the conference.

---------------------------
IMPORTANT DATES
---------------------------

-  Abstract submission:   July   3rd (Monday)
-  Paper submission:      July   7th (Friday)
-  Review notification:   August 23rd (Wednesday)
-  Author response:       August 25th (Friday)
-  Final notification:    September 3rd (Sunday)
-  Camera-ready due:      September 10th (Sunday)
-  SPLASH 2023:           October   22nd - 27th

All times are in AoE (Anywhere on Earth).

---------------------------
PAPER SUBMISSION
---------------------------

Papers must be submitted using HotCRP: https://gpce2023.hotcrp.com/

All submissions must use the ACM SIGPLAN Conference Format "acmart". Be
sure to use the latest LaTeX templates and class files, the SIGPLAN
sub-format, and 10-point font. Consult the sample-sigplan.tex template and
use the document-class \documentclass[sigplan,anonymous,review]{acmart}.

To increase fairness in reviewing, GPCE 2023 uses the double-blind review
process which has become standard across SIGPLAN conferences:

- Author names, institutions, and acknowledgments should be omitted from
  submitted papers, and
- references to the authors' own work should be in the third person.

No other changes are necessary, and authors will not be penalized if
reviewers are able to infer authors' identities in implicit ways.

For additional information, clarification, or answers to questions,
contact the program chair.

The official publication date is the date the proceedings are made available
in the ACM Digital Library. Papers must describe work not currently
submitted for publication elsewhere as described by the SIGPLAN
Republication Policy (
http://www.sigplan.org/Resources/Policies/Republication/).

---------------------------
ORGANIZATION
---------------------------

- General Chair:           Bernhard Rumpe (RWTH Aachen University)
- Program Chair:           Amir Shaikhha (University of Edinburgh)
- Publicity Chair:         Youyou Cong (Tokyo Institute of Technology)
-------------- next part --------------
An HTML attachment was scrubbed...
URL: <http://lists.chalmers.se/pipermail/agda/attachments/20230523/4f437b19/attachment.html>