The Coq mailing list

[Youyou Cong <cong AT c.titech.ac.jp>]

Apologies for the incomplete committee information in the previous post.  Below you will find the full list of committee members.

-------------------------------------------------------------------------------
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)

- Steering Committee Chair: Sebastian Erdweg (JGU Mainz)

For additional information, clarification, or answers to questions,
contact the program chair: amir dot shaikhha at ed dot ac dot uk

---------------------------
PROGRAM COMMITTEE
---------------------------

Aleksandar Dimovski - Mother Teresa University, Skopje
Coen De Roover - Vrije Universiteit Brussel
Daniel Strüber - Chalmers | University of Gothenburg
Elena Zucca - University of Genova
Eli Tilevich - Virginia Tech
Geoffrey Mainland - Drexel University
Jeremy Gibbons - Oxford University
Jeremy Yallop - University of Cambridge
Julia Lawall - Inria
Lionel Parreaux - The Hong Kong University of Science and Technology
Márcio Ribeiro - Federal University of Alagoas
Martin Erwig - Oregon State University
Michael O'Boyle - University of Edinburgh
Philip Wadler - University of Edinburgh
Raffi Khatchadourian - City University of New York (CUNY) Hunter College
Ruby Tahboub - University of Illinois Urbana-Champaign
Sandro Stucki - Amazon Prime Video
Sebastian Erdweg - JGU Mainz
Sheng Chen - UL Lafayette
Shigeru Chiba - University of Tokyo
Shoaib Kamil - Adobe
Sibylle Schupp - Hamburg University of Technology
Simon Fowler - University of Glasgow
Vojin Jovanovic - Oracle Labs
Walter Binder - Università della Svizzera italiana (USI)
Youyou Cong - Tokyo Institute of Technology
Yukiyoshi Kameyama - University of Tsukuba