The Coq mailing list

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

-------------------------------------------------------------------------------
GPCE 2022:
21st International Conference on Generative Programming: Concepts & Experiences

December 5-10, 2022 (co-located with SPLASH)
Auckland, New Zealand, or hybrid

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

---------------------------
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, and code-recommendation systems,
- domain-specific languages, language embedding, language design, and language
  workbenches,
- feature-oriented programming, domain engineering, and feature interactions,
- applications and properties of code generation, language implementation, and
  product-line development.

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

---------------------------
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 2022 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     8 August (Mon)
- Paper submission    12 August (Fri)
- Review notification    28 September (Wed)
- Author response period  28 September (Wed) - 30 September (Fri)
- Final notification    10 October (Mon)
- Camera-ready            24 October (Mon)
- Conference              two days in 5 December (Mon) - 10 December (Sat)

All times are in AoE (Anywhere on Earth).

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

Papers must be submitted using HotCRP: https://gpce2022.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 2022 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 Scholz (University of Sydney)
- Program Chair:   Yukiyoshi Kameyama (University of Tsukuba)
- 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: kameyama at acm.org

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

Baris Aktemur - Intel
Walter Binder - Università della Svizzera italiana
Nicolas Biri - Luxembourg Institute of Science and Technology
Elisa Gonzalez Boix - Vrije Universiteit Brussel
Sheng Chen - UL Lafayette
Shigeru Chiba - The University of Tokyo
Youyou Cong - Tokyo Institute of Technology
Coen De Roover - Vrije Universiteit Brussel
Robert Glück - University of Copenhagen
Jeff Gray - University of Alabama
Atsushi Igarashi - Kyoto University
Yukiyoshi Kameyama - University of Tsukuba, Chair
Raffi Khatchadourian - City University of New York (CUNY) Hunter College
Julia Lawall - Inria
Geoffrey Mainland - Drexel University
Bruno C. d. S. Oliveira - The University of Hong Kong
Klaus Ostermann - University of Tübingen
Max Schaefer - GitHub
Ulrik Pagh Schultz - University of Southern Denmark
Sibylle Schupp - Hamburg University of Technology
Amir Shaikhha - University of Edinburgh
Artjoms Sinkarovs - Heriot-Watt University
Daniel Strüber - Chalmers University of Gothenburg, Radboud University Nijmegen
Nicolas Stucki - EPFL
Eli Tilevich - Virginia Tech
Tijs van der Storm - CWI & University of Groningen
Jeremy Yallop - University of Cambridge